Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Maarten H. van Emden, Robert A. Kowalski |
The Semantics of Predicate Logic as a Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 23(4), pp. 733-742, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
18 | Florian Beier, Robert Beinert |
Tangential Fixpoint Iterations for Gromov-Wasserstein Barycenters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.08612, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Asynchronous unfold/fold transformation for fixpoint logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 231, pp. 103014, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Hausmann 0001, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger |
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI (1) ![In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I, pp. 171-185, 2024, Springer, 978-3-031-50523-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Richard Eggert |
Fixpoint Checks and Computations for Behavioural Metrics and Games. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2024 |
RDF |
|
18 | Mark Niklas Müller, Marc Fischer 0002, Robin Staab, Martin T. Vechev |
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(PLDI), pp. 786-810, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Hiroshi Unno 0001, Tachio Terauchi, Yu Gu 0022, Eric Koskinen |
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 2111-2140, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Sven Keidel, Sebastian Erdweg, Tobias Hombücher |
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(ICFP), pp. 955-981, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Neele, Jaco van de Pol |
Operations on Fixpoint Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.07162, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Oliver Görlitz, Daniel Hausmann 0001, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder |
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.11015, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani |
Fixpoint constructions in focused orthogonality models of linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023, 2023, EpiSciences. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Paolo Baldan, Richard Eggert, Barbara König 0001, Timo Matt, Tommaso Padoan |
A Monoidal View on Fixpoint Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.02957, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Zeinab Galal |
Fixpoint operators for 2-categorical structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.03440, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Hausmann 0001, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger |
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.01315, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Paolo Baldan, Richard Eggert, Barbara König 0001, Tommaso Padoan |
Fixpoint Theory - Upside Down. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Zeinab Galal |
Fixpoint operators for 2-categorical structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jesse Heyninck |
Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023., pp. 74-83, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Oliver Görlitz, Daniel Hausmann 0001, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder |
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 234-247, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Angelos Charalambidis, Panos Rondogiannis |
Categorical Approximation Fixpoint Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, pp. 515-530, 2023, Springer, 978-3-031-43618-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Stanly Samuel, Deepak D'Souza, Raghavan Komondoor |
Symbolic Fixpoint Algorithms for Logical LTL Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 698-709, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Paolo Baldan, Richard Eggert, Barbara König 0001, Timo Matt, Tommaso Padoan |
A Monoidal View on Fixpoint Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 3-21, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Marco Alberti 0001, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma |
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Technical Communications / Doctoral Consortium ![In: Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022., pp. 65-78, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Spencer Killen, Jia-Huai You |
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Technical Communications / Doctoral Consortium ![In: Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022., pp. 51-64, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jesse Heyninck, Ofer Arieli, Bart Bogaerts 0001 |
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.17262, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Fangfang Liu, Jia-Huai You |
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 22(2), pp. 305-334, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Linde Vanbesien, Maurice Bruynooghe, Marc Denecker |
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 22(4), pp. 523-537, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer |
Local higher-order fixpoint iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 289(Part), pp. 104963, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ian A. Kash, Zhongkai Wen, Lenore D. Zuck |
Dynamic relocation in ridesharing via fixpoint construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, 1-5 August 2022, Eindhoven, The Netherlands., pp. 980-989, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
18 | Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Asynchronous Unfold/Fold Transformation for Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 39-56, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Florian Bruse, Martin Lange, Étienne Lozes |
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 178(1-2), pp. 1-30, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Bart Bogaerts 0001, Luís Cruz-Filipe |
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 22(1), pp. 6:1-6:19, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Linde Vanbesien, Maurice Bruynooghe, Marc Denecker |
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.14789, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Paolo Baldan, Richard Eggert, Barbara König 0001, Tommaso Padoan |
Fixpoint Theory - Upside Down. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.08184, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Fangfang Liu, Jia-Huai You |
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.11071, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Bart Bogaerts 0001, Maxime Jakubowski |
Fixpoint Semantics for Recursive SHACL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Technical Communications ![In: Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021., pp. 41-47, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Eric Alsmann, Florian Bruse, Martin Lange |
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021., pp. 10-26, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Yo Mitani, Naoki Kobayashi 0001, Takeshi Tsukada |
A Probabilistic Higher-order Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(4), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
LNL-FPC: The Linear/Non-linear Fixpoint Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(2), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Paolo Baldan, Richard Eggert, Barbara König 0001, Tommaso Padoan |
Fixpoint Theory - Upside Down. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, pp. 62-81, 2021, Springer, 978-3-030-71994-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Spencer Killen, Jia-Huai You |
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshops ![In: Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Florian Bruse, Martin Lange |
A Decidable Non-Regular Modal Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference., pp. 23:1-23:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-203-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Jesse Heyninck, Ofer Arieli |
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 334-344, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Simon Marynissen, Bart Bogaerts 0001, Marc Denecker |
On the Relation Between Approximation Fixpoint Theory and Justification Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021., pp. 1973-1980, 2021, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
Deterministic parallel fixpoint computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(POPL), pp. 14:1-14:33, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Xiaohong Chen 0002, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu |
Towards a unified proof framework for automated fixpoint reasoning using matching logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 161:1-161:29, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer |
Local Higher-Order Fixpoint Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 97-113, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Paolo Baldan, Barbara König 0001, Tommaso Padoan |
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.08877, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Yo Mitani, Naoki Kobayashi 0001, Takeshi Tsukada |
A Probabilistic Higher-order Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.14303, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
Memory-Efficient Fixpoint Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.05865, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Yo Mitani, Naoki Kobayashi 0001, Takeshi Tsukada |
A Probabilistic Higher-Order Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 19:1-19:22, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
Memory-Efficient Fixpoint Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, pp. 35-64, 2020, Springer, 978-3-030-65473-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Jesse Heyninck, Ofer Arieli |
Argumentative Reflections of Approximation Fixpoint Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020., pp. 215-226, 2020, IOS Press, 978-1-64368-106-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Naoki Kobayashi 0001, Grigory Fedyukovich, Aarti Gupta |
Fold/Unfold Transformations for Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, pp. 195-214, 2020, Springer, 978-3-030-45236-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Paolo Baldan, Barbara König 0001, Tommaso Padoan |
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., pp. 25:1-25:20, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-160-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Paolo Baldan, Barbara König 0001, Christina Mika-Michalski, Tommaso Padoan |
Fixpoint games on continuous lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(POPL), pp. 26:1-26:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Dominik Adolf, Grigor Sargsyan |
Derived Models of mice below the least Fixpoint of the Solovay sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 84(1), pp. 27-53, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Frank M. V. Feys, Helle Hvid Hansen |
Arrow's Theorem Through a Fixpoint Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 175-188, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Tom van Dijk, Bob Rubbens |
Simple Fixpoint Iteration To Solve Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 123-139, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
Deterministic Parallel Fixpoint Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.05951, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom |
Definability and Interpolation within Decidable Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(3), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Martin Lange |
Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 42-51, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Thorsten Blaß, Michael Philippsen |
GPU-accelerated fixpoint algorithms for faster compiler analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 28th International Conference on Compiler Construction, CC 2019, Washington, DC, USA, February 16-17, 2019, pp. 122-134, 2019, ACM, 978-1-4503-6277-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Bart Bogaerts 0001 |
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019., pp. 2686-2693, 2019, AAAI Press, 978-1-57735-809-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Lawton Nichols, Mehmet Emre, Ben Hardekopf |
Fixpoint reuse for incremental JavaScript analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA, June 22, 2019., pp. 2-7, 2019, ACM, 978-1-4503-6720-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Naoki Kobayashi 0001, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno 0001 |
Temporal Verification of Programs via First-Order Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 413-436, 2019, Springer, 978-3-030-32303-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Fangfang Liu, Jia-Huai You |
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings, pp. 113-127, 2019, Springer, 978-3-030-31094-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Patrick Cousot |
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers, pp. 3-18, 2019, Springer, 978-3-030-45259-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Lutz Schröder, Yde Venema |
Completeness of Flat Coalgebraic Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 19(1), pp. 4:1-4:34, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Bart Bogaerts 0001, Luís Cruz-Filipe |
Fixpoint semantics for active integrity constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 255, pp. 43-70, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou |
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.08335, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Paolo Baldan, Barbara König 0001, Tommaso Padoan, Christina Mika-Michalski |
Fixpoint Games on Continuous Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.11404, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Sebastian Enqvist |
Flat modal fixpoint logics with the converse modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(6), pp. 1065-1097, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Julian Gutierrez 0001 |
On fixpoint logics and equivalences for processes with restricted nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(4), pp. 779-807, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou |
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 18(3-4), pp. 421-437, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Yoji Nanjo, Hiroshi Unno 0001, Eric Koskinen, Tachio Terauchi |
A Fixpoint Logic and Dependent Effects for Temporal Property Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 759-768, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Enqvist |
Flat modal fixpoint logics with the converse modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.04628, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom |
Characterizing Definability in Decidable Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.01823, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie |
Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.05681, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari |
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(1), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Carlo Zaniolo, Mohan Yang, Ariyam Das, Alexander Shkapsky, Tyson Condie, Matteo Interlandi |
Fixpoint semantics and optimization of recursive Datalog programs with aggregates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 17(5-6), pp. 1048-1065, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Naoki Kobayashi 0001, Étienne Lozes, Florian Bruse |
On the relationship between higher-order recursion schemes and higher-order fixpoint logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 246-259, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom |
Characterizing Definability in Decidable Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 107:1-107:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Marco Alberti 0001, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese |
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS/CILC ![In: Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017., pp. 248-261, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Florian Bruse, Martin Lange, Étienne Lozes |
Space-Efficient Fragments of Higher-Order Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings, pp. 26-41, 2017, Springer, 978-3-319-67088-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho |
On Solving Nominal Fixpoint Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 209-226, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Bart Bogaerts 0001, Luís Cruz-Filipe |
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 866-872, 2017, ijcai.org, 978-0-9992411-0-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Wojciech Jamroga, Michal Knapik, Damian Kurpiewski |
Fixpoint Approximation of Strategic Abilities under Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pp. 1241-1249, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Sylvain Salvati, Igor Walukiewicz |
Simply typed fixpoint calculus and collapsible pushdown automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 26(7), pp. 1304-1350, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Nick Bezhanishvili, Clemens Kupke |
Games for Topological Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016., pp. 46-60, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Florian Bruse |
Alternation Is Strict For Higher-Order Modal Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016., pp. 105-119, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom |
A Step Up in Expressiveness of Decidable Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pp. 817-826, 2016, ACM, 978-1-4503-4391-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Milius, Dirk Pattinson, Thorsten Wißmann |
A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 107-125, 2016, Springer, 978-3-662-49629-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng 0002 |
Flexible Approximators for Approximating Fixpoint Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence - 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings, pp. 224-236, 2016, Springer, 978-3-319-34110-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
Completeness for Coalgebraic Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 7:1-7:19, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Tuba Yavuz |
Combining Predicate Abstraction with Fixpoint Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 104-120, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Maximilian Schlund |
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
18 | Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse |
Abstraction in Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 16(4), pp. 29:1-29:39, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Hannes Strass, Johannes Peter Wallner |
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 226, pp. 34-74, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Johannes Marti, Fatemeh Seifan, Yde Venema |
Uniform Interpolation for Coalgebraic Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.02319, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Bart Bogaerts 0001, Guy Van den Broeck |
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.06554, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|