Search results for "fixpoint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Ulrich Grude, Peter Padawitz	Initial and Fixpoint Semantics of Algebraic Specifications.	ADT	1983	DBLP BibTeX RDF
18	Michael A. Arbib, Ernest G. Manes	The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions.	J. ACM	1982	DBLP DOI BibTeX RDF
18	Edward A. Ashcroft, Faith E. Fich	A Generalized Setting for Fixpoint Theory.	Theor. Comput. Sci.	1979	DBLP DOI BibTeX RDF
18	Daniel J. Lehmann	Categories for Fixpoint-Semantics	FOCS	1976	DBLP DOI BibTeX RDF
18	Daniel J. Lehmann	Categories for fixpoint semantics.		1976	RDF
18	Zohar Manna, Jean Vuillemin	Fixpoint Approach to the Theory of Computation.	ICALP	1972	DBLP BibTeX RDF
9	Alban Galland, Serge Abiteboul, Amélie Marian, Pierre Senellart	Corroborating information from disagreeing views.	WSDM	2010	DBLP DOI BibTeX RDF	corroboration, probabilistic model, view, fix-point, confidence, contradiction
9	Wenfei Fan, Jeffrey Xu Yu, Jianzhong Li, Bolin Ding, Lu Qin 0001	Query translation from XPath to SQL in the presence of recursive DTDs.	VLDB J.	2009	DBLP DOI BibTeX RDF	Recursive DTD, SQL, XPath, XML database, Query translation
9	Andrey Rybalchenko, Rishabh Singh	Subsumer-First: Steering Symbolic Reachability Analysis.	SPIN	2009	DBLP DOI BibTeX RDF
9	Yang Zhao 0011, Gianfranco Ciardo	Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.	ATVA	2009	DBLP DOI BibTeX RDF
9	Emad Saad	Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics.	SUM	2009	DBLP DOI BibTeX RDF
9	Hui Wan 0001, Michael Kifer	Query Answering in Belief Logic Programming.	SUM	2009	DBLP DOI BibTeX RDF
9	Natthapong Jungteerapanich	A Tableau System for the Modal µ-Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
9	Olivier Bouissou	Proving the Correctness of the Implementation of a Control-Command Algorithm.	SAS	2009	DBLP DOI BibTeX RDF
9	Fang Yu 0001, Tevfik Bultan, Oscar H. Ibarra	Symbolic String Verification: Combining String Analysis and Size Analysis.	TACAS	2009	DBLP DOI BibTeX RDF
9	Amélie Gheerbrant, Balder ten Cate	Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees.	LFCS	2009	DBLP DOI BibTeX RDF	Fragments of MSO, Henkin semantics, Ehrenfeucht-Fraïssé games, Feferman-Vaught theorems, Trees, Axiomatizations
9	Ross Duncan, Simon Perdrix	Graph States and the Necessity of Euler Decomposition.	CiE	2009	DBLP DOI BibTeX RDF	graphical calculi, quantum computation, monoidal categories
9	John Case, Samuel E. Moelius	Program Self-reference in Constructive Scott Subdomains.	CiE	2009	DBLP DOI BibTeX RDF	Scott domains, self-reproducing programs, self-reference, recursion theorems, numberings
9	Corina Cîrstea, Clemens Kupke, Dirk Pattinson	EXPTIME Tableaux for the Coalgebraic µ-Calculus.	CSL	2009	DBLP DOI BibTeX RDF
9	Samir Genaim, Andy King	Inferring non-suspension conditions for logic programs with dynamic scheduling.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	concurrency, logic programming, debugging, Abstract interpretation
9	Roman Gershman, Maya Koifman, Ofer Strichman	An approach for extracting a small unsatisfiable core.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Unsatisfiable core, SAT, Resolution
9	Victor R. L. Shen, Tong-Ying Tony Juang	Verification of Knowledge-Based Systems Using Predicate/Transition Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
9	Jens Brandt 0001, Klaus Schneider 0001	Formal Reasoning About Causality Analysis.	TPHOLs	2008	DBLP DOI BibTeX RDF
9	Yungbum Jung, Kwangkeun Yi	Practical memory leak detector based on parameterized procedural summaries.	ISMM	2008	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, memory management, error detection, shape analysis, memory leaks
9	Fang Yu 0001, Tevfik Bultan, Marco Cova, Oscar H. Ibarra	Symbolic String Verification: An Automata-Based Approach.	SPIN	2008	DBLP DOI BibTeX RDF
9	Krishnendu Chatterjee, Thomas A. Henzinger	Value Iteration.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
9	Arie Gurfinkel, Ou Wei, Marsha Chechik	Model Checking Recursive Programs with Exact Predicate Abstraction.	ATVA	2008	DBLP DOI BibTeX RDF
9	Fang Yu 0001, Chao Wang 0001, Aarti Gupta, Tevfik Bultan	Modular verification of web services using efficient symbolic encoding and summarization.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	BPEL, summarization, modular verification
9	Van Hung Le 0001, Fei Liu 0003, Dinh Khang Tran	Fuzzy Linguistic Logic Programming.	ICIC (2)	2008	DBLP DOI BibTeX RDF	hedge algebra, linguistic value, fuzzy logic programming, linguistic hedge
9	Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez	Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.	FLOPS	2008	DBLP DOI BibTeX RDF
9	Peter Lammich, Markus Müller-Olm	Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.	SAS	2008	DBLP DOI BibTeX RDF
9	Pietro Ferrara 0001	Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.	TAP	2008	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
9	Wojciech Jamroga	A Temporal Logic for Stochastic Multi-Agent Systems.	PRIMA	2008	DBLP DOI BibTeX RDF	multi-agent system, Temporal logic, Markov decision process
9	Erwin Engeler	Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets.	AB	2008	DBLP DOI BibTeX RDF	combinatory algebra, functional structures, models of consciousness, Neural nets, emergent properties
9	Novak Novakovic	A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes.	JELIA	2008	DBLP DOI BibTeX RDF
9	Gaëlle Fontaine	Continuous Fragment of the mu-Calculus.	CSL	2008	DBLP DOI BibTeX RDF	Scott continuity, constructive fixpoints, preservation results, automata, mu-calculus
9	Andreas Billig	A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts.	RR	2008	DBLP DOI BibTeX RDF
9	Nicoletta De Francesco, Luca Martini	Instruction-level security typing by abstract interpretation.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Abstract interpretation, Information flow, Language based security
9	Paolo Liberatore	Consistency Defaults.	Stud Logica	2007	DBLP DOI BibTeX RDF	artificial intelligence, knowledge representation, nonmonotonic reasoning, default logic
9	Piotr Zielinski	Automatic Verification and Discovery of Byzantine Consensus Protocols.	DSN	2007	DBLP DOI BibTeX RDF
9	Sasidhar Sunkari, Supratik Chakraborty, Vivekananda M. Vedula, Kailasnath Maneparambil	A Scalable Symbolic Simulator for Verilog RTL.	MTV	2007	DBLP DOI BibTeX RDF
9	Wataru Makiguchi, Hajime Sawamura	A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part II).	ArgMAS	2007	DBLP DOI BibTeX RDF
9	Gergely Varró, Ákos Horváth 0001, Dániel Varró	Recursive Graph Pattern Matching.	AGTIVE	2007	DBLP DOI BibTeX RDF
9	Koen Maes, Bernard De Baets	Advances in the Geometrical Study of Rotation-Invariant T-Norms.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Rotation-invariant t-norm, contour line, companion, associativity, zoom
9	Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Semantics of static pointcuts in aspectJ.	POPL	2007	DBLP DOI BibTeX RDF	logic programming, aspect-oriented programming, datalog, term rewriting, pointcuts
9	Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin	Minimum-Time Reachability in Timed Games.	ICALP	2007	DBLP DOI BibTeX RDF
9	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Small Witnesses for Abstract Interpretation-Based Proofs.	ESOP	2007	DBLP DOI BibTeX RDF
9	Philippe Chapdelaine, Miki Hermann, Ilka Schnoor	Complexity of Default Logic on Generalized Conjunctive Queries.	LPNMR	2007	DBLP DOI BibTeX RDF
9	Krzysztof R. Apt	Epistemic analysis of strategic games with arbitrary strategy sets.	TARK	2007	DBLP DOI BibTeX RDF
9	Pierre Genevès, Nabil Layaïda, Alan Schmitt	Efficient static analysis of XML paths and types.	PLDI	2007	DBLP DOI BibTeX RDF	satisfiability, modal logic, XPath, type checking
9	Mani Swaminathan, Martin Fränzle	A Symbolic Decision Procedure for Robust Safety of Timed Systems.	TIME	2007	DBLP DOI BibTeX RDF
9	Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont	Filtering for Subgraph Isomorphism.	CP	2007	DBLP DOI BibTeX RDF
9	Christophe Lecoutre, Stéphane Cardon, Julien Vion	Path Consistency by Dual Consistency.	CP	2007	DBLP DOI BibTeX RDF
9	Manfred Schmidt-Schauß	Correctness of Copy in Calculi with Letrec.	RTA	2007	DBLP DOI BibTeX RDF
9	Matthias Knorr 0001, José Júlio Alferes, Pascal Hitzler	Towards Tractable Local Closed World Reasoning for the Semantic Web.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
9	Joseph M. Morris	Plug-and-Play Nondeterminacy.	B	2007	DBLP DOI BibTeX RDF
9	Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison	Satisfiability of a Spatial Logic with Tree Variables.	CSL	2007	DBLP DOI BibTeX RDF
9	François Bry, Michael Eckert	Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics.	RR	2007	DBLP DOI BibTeX RDF
9	Debjit Sinha, Hai Zhou 0001	Gate-size optimization under timing constraints for coupling-noise reduction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
9	Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert	NETRA: : seeing through access control.	FMSE	2006	DBLP DOI BibTeX RDF	privilege escalation, vulnerability reports, static analysis
9	Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe	Representation of Partial Knowledge and Query Answering in Locally Complete Databases.	LPAR	2006	DBLP DOI BibTeX RDF
9	Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio	Higher-Order Termination: From Kruskal to Computability.	LPAR	2006	DBLP DOI BibTeX RDF
9	Roman Gershman, Maya Koifman, Ofer Strichman	Deriving Small Unsatisfiable Cores with Dominators.	CAV	2006	DBLP DOI BibTeX RDF
9	Steven Obua	Partizan Games in Isabelle/HOLZF.	ICTAC	2006	DBLP DOI BibTeX RDF
9	Farn Wang	REDLIB for the Formal Verification of Embedded Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
9	Naijun Zhan	Connecting Algebraic and Logical Descriptions of Concurrent Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
9	Zaiyue Zhang, Yuefei Sui, Cungen Cao 0001	A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.	TAMC	2006	DBLP DOI BibTeX RDF	double priority, tree method, logic programs
9	Patrick Cousot, Radhia Cousot	Grammar Analysis and Parsing by Abstract Interpretation.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
9	Abbas Edalat, Dirk Pattinson	Denotational Semantics of Hybrid Automata.	FoSSaCS	2006	DBLP DOI BibTeX RDF
9	Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe	Predicate Introduction Under Stable and Well-Founded Semantics.	ICLP	2006	DBLP DOI BibTeX RDF
9	Maarten H. van Emden	Compositional Semantics for the Procedural Interpretation of Logic.	ICLP	2006	DBLP DOI BibTeX RDF
9	Peter G. Harrison, Catalina M. Lladó, Ramón Puigjaner	A general performance model interchange format.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
9	Tony Lambert, Carlos Castro 0001, Éric Monfroy, Frédéric Saubion	Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation.	ICAISC	2006	DBLP DOI BibTeX RDF	hybrid resolution, genetic algorithms, CSP, constraint propagation
9	Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu	Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.	FLOPS	2006	DBLP DOI BibTeX RDF
9	Laure Gonnord, Nicolas Halbwachs	Combining Widening and Acceleration in Linear Relation Analysis.	SAS	2006	DBLP DOI BibTeX RDF
9	Bhargav S. Gulavani, Sriram K. Rajamani	Counterexample Driven Refinement for Abstract Interpretation.	TACAS	2006	DBLP DOI BibTeX RDF
9	Paul-André Melliès	Functorial Boxes in String Diagrams.	CSL	2006	DBLP DOI BibTeX RDF
9	Deling Ren, Martin Erwig	A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.	Haskell	2006	DBLP DOI BibTeX RDF	traversal strategy, generic programming
9	Huimin Lin	Predicate µ-Calculus for Mobile Ambients.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	model checking, mu-calculus, fixpoints, spatial logic, mobile ambients
9	Karsten Weicker	Analysis of local operators applied to discrete tracking problems.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Mutation pdf, Offspring population size, (1,)-Strategy, Step size, Non-stationary environments, Directed mutation
9	Emad Saad, Enrico Pontelli	Towards a More Practical Hybrid Probabilistic Logic Programming Framework.	PADL	2005	DBLP DOI BibTeX RDF
9	Ewa Orlowska, Andrzej Szalas	Quantifier Elimination in Elementary Set Theory.	RelMiCS	2005	DBLP DOI BibTeX RDF
9	Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan	Action Language Verifier, Extended.	CAV	2005	DBLP DOI BibTeX RDF
9	John Harrison 0001	A HOL Theory of Euclidean Space.	TPHOLs	2005	DBLP DOI BibTeX RDF
9	Tony Lambert, Éric Monfroy, Frédéric Saubion	Solving strategies using a hybridization model for local search and constraint propagation.	SAC	2005	DBLP DOI BibTeX RDF	hybrid resolution, local search, CSP, constraint propagation
9	Linh Anh Nguyen	An SLD-Resolution Calculus for Basic Serial Multimodal Logics.	ICTAC	2005	DBLP DOI BibTeX RDF
9	Debjit Sinha, Hai Zhou 0001	Yield driven gate sizing for coupling-noise reduction under uncertainty.	ASP-DAC	2005	DBLP DOI BibTeX RDF
9	Sébastien Bardin, Alain Finkel, Jérôme Leroux, Philippe Schnoebelen	Flat Acceleration in Symbolic Model Checking.	ATVA	2005	DBLP DOI BibTeX RDF	verification of infinite-state systems, acceleration, symbolic model checking
9	Venkatesh Mysore, Carla Piazza, Bud Mishra	Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.	ATVA	2005	DBLP DOI BibTeX RDF
9	Damien Sereni, Neil D. Jones	Termination Analysis of Higher-Order Functional Programs.	APLAS	2005	DBLP DOI BibTeX RDF
9	Andreas Podelski, Ina Schaefer, Silke Wagner	Summaries for While Programs with Recursion.	ESOP	2005	DBLP DOI BibTeX RDF
9	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	A Generic Framework for the Analysis and Specialization of Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
9	Kun Yue, Weiyi Liu, Xiaoling Wang, Aoying Zhou	Modeling Web Services Based on the Bayesian Network.	ASIAN	2005	DBLP DOI BibTeX RDF
9	E. Allen Emerson, Thomas Wahl	Dynamic Symmetry Reduction.	TACAS	2005	DBLP DOI BibTeX RDF
9	Nicole Bidoit, Matthieu Objois	Temporal Query Languages Expressive Power: µTL versus T-WHILE.	TIME	2005	DBLP DOI BibTeX RDF
9	Jos C. M. Baeten, Mario Bravetti	A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.	CONCUR	2005	DBLP DOI BibTeX RDF
9	Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov	A uniform deductive approach for parameterized protocol safety.	ASE	2005	DBLP DOI BibTeX RDF	generalized substitutions, safety, assertion, symbolic model checking, reachability
9	Herman Ruge Jervell	Finite Trees as Ordinals.	CiE	2005	DBLP DOI BibTeX RDF
9	Linh Anh Nguyen	Reasoning About Epistemic States of Agents by Modal Logic Programming.	CLIMA	2005	DBLP DOI BibTeX RDF
9	Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky	Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.	SCAM	2005	DBLP DOI BibTeX RDF