The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for fixpoints with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1987 (15) 1988-1990 (15) 1991-1994 (21) 1995-1996 (15) 1997-2000 (17) 2001-2003 (27) 2004-2006 (21) 2007-2008 (18) 2009-2011 (15) 2012-2015 (17) 2016-2020 (15) 2021-2024 (14)
Publication types (Num. hits)
article(58) inproceedings(149) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(15) CSL(9) CAV(6) FICS(5) ICALP(5) CONCUR(4) ESOP(4) POPL(4) Proc. ACM Program. Lang.(4) Theor. Comput. Sci.(4) AMAST(3) IJCAI(3) JELIA(3) MFCS(3) PODS(3) VMCAI(3) More (+10 of total 124)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 99 occurrences of 77 keywords

Results
Found 210 publication records. Showing 210 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
77Horatiu Cirstea, Luigi Liquori, Benjamin Wack Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
70Abhay Vardhan, Mahesh Viswanathan 0001 Learning to verify branching time properties. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Verification, Learning, CTL
56Yifeng Chen A Fixpoint Theory for Non-monotonic Parallelism. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Joseph M. Morris, Malcolm Tyrrell Dual unbounded nondeterminacy, recursion, and fixpoints. Search on Bibsonomy Acta Informatica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Francesco Buccafurri, Georg Gottlob Multiagent Compromises, Joint Fixpoints, and Stable Models. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Joachim Lambek Fixpoints Revisited. Search on Bibsonomy Logic at Botik The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
51E. Allen Emerson, Edmund M. Clarke Characterizing Correctness Properties of Parallel Programs Using Fixpoints. Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
45Stephan Kreutzer, Martin Lange A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order. Search on Bibsonomy FICS The full citation details ... 2009 DBLP  BibTeX  RDF
42Martin Hofmann 0001 Proof-Theoretic Approach to Description-Logic. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Neng-Fa Zhou, Taisuke Sato Efficient fixpoint computation in linear tabling. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF linear tabling, prolog, recursion, tabling, optimization techniques, memoization
40Daniel Leivant Propositional Dynamic Logic for Recursive Procedures. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic
40Héctor Ruíz Barradas, Didier Bert A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
40Kewen Wang 0001, Lizhu Zhou, Fangzhen Lin Alternating Fixpoint Theory for Logic Programs with Priority. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF alternating fixpoints, Logic programs, priority, answer sets, well-founded model
37Helmut Seidl, Andreas Neumann 0001 On Guarding Nested Fixpoints. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Ingbert Kupka Unique Fixpoints in Complete Lattices with Applications to Formal Languages and Semantics. Search on Bibsonomy Foundations of Computer Science: Potential - Theory - Cognition The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
37Li-Ling Chen, Williams Ludwell Harrison III An efficient approach to computing fixpoints for complex program analysis. Search on Bibsonomy International Conference on Supercomputing The full citation details ... 1994 DBLP  DOI  BibTeX  RDF fixpoint computation, program analysis, abstract interpretation, optimizing compilers
37Li-Yan Yuan On Semantics, Syntactics and Fixpoints of General Programs. Search on Bibsonomy ICCI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
37Robert F. Stärk On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle. Search on Bibsonomy CSL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
28Rajeev Alur, Aditya Kanade, Gera Weiss Ranking Automata and Games for Prioritized Requirements. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Jouni Järvinen Lattice Theory for Rough Sets. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Abhay Vardhan, Mahesh Viswanathan 0001 Learning to verify branching time properties. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CTL, computational learning theory, infinite state systems
28Hai Zhou 0001 Timing analysis with crosstalk is a fixpoint on a complete lattice. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Nikolay V. Shilov 0002, Natalya Olegovna Garanina Polynomial Approximations for Model Checking. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, complexity, Calculus
28Alan M. Frisch, Daniel Sheridan, Toby Walsh A Fixpoint Based Encoding for Bounded Model Checking. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Roderick Bloem, Kavita Ravi, Fabio Somenzi Symbolic guided search for CTL model checking. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Louiqa Raschid, Jorge Lobo 0001 Semantics for Update Rule Programs and Implementations in a Relational Database Management System. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF constant maintenance, deductive database, rule-based systems, fixpoint semantics, update rules, stable model semantics
28Arend Rensink A Complete Theory of Deterministic Event Structures. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28José Meseguer 0001 Relating Models of Polymorphism. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
28Jan Chomicki, Tomasz Imielinski Relational Specifications of Infinite Query Answers. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF DATALOG
28Joost N. Kok Denotational Semantics of Nets with Nondeterminism. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
28Peter K. Rathmann The Cost of Locking. Search on Bibsonomy ICDT The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
26Gaëlle Fontaine Continuous Fragment of the mu-Calculus. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Scott continuity, constructive fixpoints, preservation results, automata, mu-calculus
26Huimin Lin Predicate µ-Calculus for Mobile Ambients. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, mu-calculus, fixpoints, spatial logic, mobile ambients
26Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle Causality analysis of synchronous programs with delayed actions. Search on Bibsonomy CASES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF causality, synchronous languages, ternary logic, fixpoints
26Allen Van Gelder, Kenneth A. Ross, John S. Schlipf The Well-Founded Semantics for General Logic Programs. Search on Bibsonomy J. ACM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF unfounded sets, three-valued logic, stable models, fixpoints, well-founded models, negation as failure
23Mattias Granberg Olsson, Graham E. Leigh Revisiting the conservativity of fixpoints over intuitionistic arithmetic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Barbara König 0001 Approximating Fixpoints of Approximated Functions (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Joachim Breitner More Fixpoints! (Functional Pearl). Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Spencer Killen, Jia-Huai You Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Denis Hirn, Torsten Grust A Fix for the Fixation on Fixpoints. Search on Bibsonomy CIDR The full citation details ... 2023 DBLP  BibTeX  RDF
23Farzad Jafarrahmani Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek). Search on Bibsonomy 2023   RDF
23Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan Model-guided synthesis of inductive lemmas for FOL with least fixpoints. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Anton Golov, Sebastiaan A. Terwijn Fixpoints and relative precompleteness. Search on Bibsonomy Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini Universal Algorithms for Parity Games and Nested Fixpoints. Search on Bibsonomy Principles of Systems Design The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Piero A. Bonatti, Luigi Sauro Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. Search on Bibsonomy KR The full citation details ... 2022 DBLP  BibTeX  RDF
23Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem Automata and fixpoints for asynchronous hyperproperties. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Anton Golov, Sebastiaan A. Terwijn Fixpoints and relative precompleteness. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Florian Bruse, Marco Sälzer, Martin Lange Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures. Search on Bibsonomy MFCS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Daniel Hausmann 0001, Lutz Schröder Quasipolynomial Computation of Nested Fixpoints. Search on Bibsonomy TACAS (1) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Magnus Madsen, Ondrej Lhoták Fixpoints for the masses: programming with first-class Datalog constraints. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem Automata and Fixpoints for Asynchronous Hyperproperties. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
23Robin Richter, Duy Hoang Thai, Stephan F. Huckemann Generalized Intersection Algorithms with Fixpoints for Image Decomposition Learning. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
23Florian Bruse Extremal fixpoints for higher-order modal logic. Search on Bibsonomy 2020   RDF
23Lê Thành Dung Nguyên, Paolo Pistone, Thomas Seiller, Lorenzo Tortora de Falco Finite semantics of polymorphism, complexity and the power of type fixpoints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
23Daniel Hausmann 0001, Lutz Schröder Computing Nested Fixpoints in Quasipolynomial Time. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
23Radim Belohlávek, Jan Konecny 0001 A reduction theorem to compute fixpoints of fuzzy closure operators. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Walter Guttmann Connecting Fixpoints of Computations with Strict Progress. Search on Bibsonomy UTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
23Kálmán Palágyi, Gábor Németh Fixpoints of Iterated Reductions with Equivalent Deletion Rules. Search on Bibsonomy IWCIA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Radim Belohlávek, Jan Konecny 0001 Fixpoints of fuzzy closure operators via ordinary algorithms. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Stefan Milius, Lutz Schröder, Thorsten Wißmann Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
23Luís Cruz-Filipe Grounded Fixpoints and Active Integrity Constraints. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
23Luís Cruz-Filipe Grounded Fixpoints and Active Integrity Constraints. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
23Simon Andrews A 'Best-of-Breed' approach for designing a fast algorithm for computing fixpoints of Galois Connections. Search on Bibsonomy Inf. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Grounded fixpoints and their applications in knowledge representation. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Anita Abildgaard Sillasen Subdigraphs of almost Moore digraphs induced by fixpoints of an automorphism. Search on Bibsonomy Electron. J. Graph Theory Appl. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Frédéric Blanqui A point on fixpoints in posets. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
23Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Grounded Fixpoints. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Alexander Kurz 0001, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. Search on Bibsonomy CALCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Partial Grounded Fixpoints. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
23Mathys Rennela Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras. Search on Bibsonomy MFPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Kaustuv Chaudhuri, Nicolas Guenot Equality and fixpoints in the calculus of structures. Search on Bibsonomy CSL-LICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Nathalie Bertrand 0001, Philippe Schnoebelen Computable fixpoints in well-structured symbolic model checking. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Pierre Clairambault Strong functors and interleaving fixpoints in game semantics. Search on Bibsonomy RAIRO Theor. Informatics Appl. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Patrick Koopmann, Renate A. Schmidt Uniform Interpolation of -Ontologies Using Fixpoints. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Jan Outrata, Vilém Vychodil Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data. Search on Bibsonomy Inf. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Thomas Brihaye, Laurent Doyen 0001, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell 0001 Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
23Aloïs Brunel, Antoine Madet Indexed realizability for bounded-time programming with references and type fixpoints Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
23Aloïs Brunel, Antoine Madet Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints. Search on Bibsonomy APLAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Davide Grossi Fixpoints and Iterated Updates in Abstract Argumentation. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
23Walter Guttmann Fixpoints for general correctness. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Enrico Franconi, David Toman 0001 Fixpoints in Temporal Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Petr Krajca, Jan Outrata, Vilém Vychodil Parallel algorithm for computing fixpoints of Galois connections. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Pierre Clairambault Least and greatest fixpoints in game semantics Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
23Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil Computing the Lattice of All Fixpoints of a Fuzzy Closure Operator. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Carsten Lutz, Robert Piro, Frank Wolter Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  BibTeX  RDF
23Carsten Lutz, Robert Piro, Frank Wolter EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. Search on Bibsonomy Description Logics The full citation details ... 2010 DBLP  BibTeX  RDF
23Marek Czarnecki How Fast Can the Fixpoints in Modal mu-Calculus Be Reached? Search on Bibsonomy FICS The full citation details ... 2010 DBLP  BibTeX  RDF
23Thomas Gawlitza, Helmut Seidl Games through Nested Fixpoints. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Pierre Clairambault Least and Greatest Fixpoints in Game Semantics. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Pierre Clairambault Least and Greatest Fixpoints in Game Semantics. Search on Bibsonomy FICS The full citation details ... 2009 DBLP  BibTeX  RDF
23Martin Hofmann 0001, Dulma Rodriguez Membership Checking in Greatest Fixpoints Revisited. Search on Bibsonomy FICS The full citation details ... 2009 DBLP  BibTeX  RDF
23Natarajan Shankar Fixpoints and Search in PVS. Search on Bibsonomy LASER Summer School The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Élodie-Jane Sims Extending separation logic with fixpoints and postponed substitution. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
23Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Vahan Margaryan Some Existence and Preservation Results for Optimal Fixpoints. Search on Bibsonomy FCS The full citation details ... 2006 DBLP  BibTeX  RDF
23Farn Wang Under-approximation of the Greatest Fixpoints in Real-Time System Verification Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
23Igor Walukiewicz How to Fix It: Using Fixpoints in Different Contexts. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 210 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license