Search results for "FICS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Karoliina Lehtinen	Disjunctive form and the modal μ alternation hierarchy.	FICS	2015	DBLP DOI BibTeX RDF
1	Étienne Lozes	A Type-Directed Negation Elimination.	FICS	2015	DBLP DOI BibTeX RDF
1	Paolo Torrini, Tom Schrijvers	Reasoning about modular datatypes with Mendler induction.	FICS	2015	DBLP DOI BibTeX RDF
1	Dilian Gurov, Minko Markov	Self-Correlation and Maximum Independence in Finite Relations.	FICS	2015	DBLP DOI BibTeX RDF
1	Naohi Eguchi	Formalizing Termination Proofs under Polynomial Quasi-interpretations.	FICS	2015	DBLP DOI BibTeX RDF
1	Makoto Hamana	Iteration Algebras for UnQL Graphs and Completeness for Bisimulation.	FICS	2015	DBLP DOI BibTeX RDF
1	Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou	Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs.	FICS	2015	DBLP DOI BibTeX RDF
1	Martin Lange	The Arity Hierarchy in the Polyadic μ-Calculus.	FICS	2015	DBLP DOI BibTeX RDF
1	Henning Basold	Dependent Inductive and Coinductive Types are Fibrational Dialgebras.	FICS	2015	DBLP DOI BibTeX RDF
1	Helle Hvid Hansen, Clemens Kupke	Weak Completeness of Coalgebraic Dynamic Logics.	FICS	2015	DBLP DOI BibTeX RDF
1	Zoltán Ésik, Uli Fahrenberg, Axel Legay	*-Continuous Kleene ω-Algebras for Energy Problems.	FICS	2015	DBLP DOI BibTeX RDF
1	Ralph Matthes, Matteo Mio (eds.)	Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015.	FICS	2015	DBLP DOI BibTeX RDF
1	Eleftherios Matsikoudis, Edward A. Lee	The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices.	FICS	2013	DBLP DOI BibTeX RDF
1	Corina Cîrstea	From Branching to Linear Time, Coalgebraically.	FICS	2013	DBLP DOI BibTeX RDF
1	Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen	Infinitary Axiomatization of the Equational Theory of Context-Free Languages.	FICS	2013	DBLP DOI BibTeX RDF
1	David Baelde, Arnaud Carayol (eds.)	Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013.	FICS	2013	DBLP DOI BibTeX RDF
1	Stefan Milius, Tadeusz Litak	Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion.	FICS	2013	DBLP DOI BibTeX RDF
1	José Espírito Santo, Ralph Matthes, Luís Pinto 0001	A Coinductive Approach to Proof Search.	FICS	2013	DBLP DOI BibTeX RDF
1	Stefano Berardi, Ugo de'Liguoro	Non-monotonic Pre-fixed Points and Learning.	FICS	2013	DBLP DOI BibTeX RDF
1	Matteo Mio, Alex Simpson	Łukasiewicz mu-Calculus.	FICS	2013	DBLP DOI BibTeX RDF
1	Tarmo Uustalu	Structured general corecursion and coinductive graphs [extended abstract]	FICS	2012	DBLP DOI BibTeX RDF
1	Luca Aceto, Anna Ingólfsdóttir	Characteristic Formulae for Relations with Nested Fixed Points	FICS	2012	DBLP DOI BibTeX RDF
1	Andreas Abel 0001	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types	FICS	2012	DBLP DOI BibTeX RDF
1	Dale Miller 0001, Zoltán Ésik (eds.)	Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012.	FICS	2012	DBLP DOI BibTeX RDF
1	Axel Haddad	IO vs OI in Higher-Order Recursion Schemes	FICS	2012	DBLP DOI BibTeX RDF
1	André Hirschowitz, Marco Maggesi	Initial Semantics for Strengthened Signatures	FICS	2012	DBLP DOI BibTeX RDF
1	Martin Lange, Étienne Lozes	Model-Checking the Higher-Dimensional Modal mu-Calculus	FICS	2012	DBLP DOI BibTeX RDF
1	Grigori Mints, Thomas Studer	Cut-elimination for the mu-calculus with one variable	FICS	2012	DBLP DOI BibTeX RDF
1	Matteo Mio	The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus.	FICS	2010	DBLP BibTeX RDF
1	Tarmo Uustalu	A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators.	FICS	2010	DBLP BibTeX RDF
1	Lars Birkedal, Jan Schwinghammer, Kristian Støvring	A Metric Model of Lambda Calculus with Guarded Recursion.	FICS	2010	DBLP BibTeX RDF
1	Arnaud Carayol	Structures Defined by Higher-Order Recursion Schemes.	FICS	2010	DBLP BibTeX RDF
1	Pawel Waszkiewicz	Common Patterns for Metric and Ordered Fixed Point Theorems.	FICS	2010	DBLP BibTeX RDF
1	Dale Miller 0001	Fixed Points and Proof Theory: An Extended Abstract.	FICS	2010	DBLP BibTeX RDF
1	Keiko Nakata 0001	Denotational Semantics for Lazy Initialization of letrec.	FICS	2010	DBLP BibTeX RDF
1	Paul Blain Levy	Characterizing Recursive Programs up to Bisimilarity.	FICS	2010	DBLP BibTeX RDF
1	Lars Birkedal, Jan Schwinghammer, Kristian Støvring	A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces.	FICS	2010	DBLP BibTeX RDF
1	Panos Rondogiannis	Fixed-Point Semantics for Non-Monotonic Formalisms.	FICS	2010	DBLP BibTeX RDF
1	Marek Czarnecki	How Fast Can the Fixpoints in Modal mu-Calculus Be Reached?	FICS	2010	DBLP BibTeX RDF
1	Hervé Grall	Proving Fixed Points.	FICS	2010	DBLP BibTeX RDF
1	Andrei E. Romashchenko	Fixed Point Argument and Tilings without Long Range Order.	FICS	2010	DBLP BibTeX RDF
1	Luigi Santocanale (eds.)	7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010.	FICS	2010	DBLP BibTeX RDF
1	Pierre Clairambault	Least and Greatest Fixpoints in Game Semantics.	FICS	2009	DBLP BibTeX RDF
1	Daniel Stamate	A Bilattice Based Fixed Point Semantics for Integrating Imperfect Information.	FICS	2009	DBLP BibTeX RDF
1	Balder ten Cate, Gaëlle Fontaine	An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees.	FICS	2009	DBLP BibTeX RDF
1	Robert S. R. Myers	Coalgebraic Expressions.	FICS	2009	DBLP BibTeX RDF
1	Ralph Matthes, Tarmo Uustalu (eds.)	6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009.	FICS	2009	DBLP BibTeX RDF
1	Kohtaro Tadaki	Fixed Points on Partial Randomness.	FICS	2009	DBLP BibTeX RDF
1	Martin Hofmann 0001, Dulma Rodriguez	Membership Checking in Greatest Fixpoints Revisited.	FICS	2009	DBLP BibTeX RDF
1	Yde Venema	Fixpoint Logics and Automata: A Coalgebraic Approach.	FICS	2009	DBLP BibTeX RDF
1	Stephen L. Bloom, Zoltán Ésik	Scattered Algebraic Linear Orderings.	FICS	2009	DBLP BibTeX RDF
1	Omer Landry Nguena-Timo, Pierre-Alain Reynier	On Characteristic Formulae for Event-Recording Automata.	FICS	2009	DBLP BibTeX RDF
1	Loredana Afanasiev, Balder ten Cate	On Core XPath with Inflationary Fixed Points.	FICS	2009	DBLP BibTeX RDF
1	Stephan Kreutzer, Martin Lange	A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order.	FICS	2009	DBLP BibTeX RDF
1	Lionel Vaux	A Non-uniform Finitary Relational Semantics of System T.	FICS	2009	DBLP BibTeX RDF
1	Pawel Parys	Lower Bound for Evaluation of mu-nu Fixpoint.	FICS	2009	DBLP BibTeX RDF
1	Yoshinori Tanabe, Masami Hagiya	Fixed-Point Computations over Functions on Integers with Operations min, max and plus.	FICS	2009	DBLP BibTeX RDF
1	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Solutions of Generalized Recursive Metric-Space Equations.	FICS	2009	DBLP BibTeX RDF
1	Milad Niqui, Jan Rutten	Coinductive Predicates as Final Coalgebras.	FICS	2009	DBLP BibTeX RDF
1	Michael J. Burrell, J. Robin B. Cockett, Brian F. Redmond	Pola: A Language for PTIME Programming.	FICS	2009	DBLP BibTeX RDF
1	Javier Esparza, Stefan Kiefer, Michael Luttenberger	Solving Fixed-Point Equations on omega-Continuous Semirings.	FICS	2009	DBLP BibTeX RDF
1	John V. E. Ridgway, Jack C. Wileden	Reasoning About Multi-Lingual Exception Handling Using RIPLS.	FICS	2008	DBLP DOI BibTeX RDF
1	Christopher Lynch, Yuefeng Tang	Rewriting Interpolants.	FICS	2008	DBLP DOI BibTeX RDF
1	Ti Zhou, Mengjun Li, Zhoujun Li 0001, Huowang Chen	Modeling and Verifying Time Sensitive Security Protocols with Constraints.	FICS	2008	DBLP DOI BibTeX RDF
1	Tao Xue, Qichao Xuan	Proof Search and Counter Model of Positive Minimal Predicate Logic.	FICS	2008	DBLP DOI BibTeX RDF
1	Haiyan Chen	Decidability of Weak Bisimilarity for a Subset of BPA.	FICS	2008	DBLP DOI BibTeX RDF
1	H. K. Dai 0001, Kyu-Young Whang, Hung-Chi Su	Locality of Corner Transformation for Multidimensional Spatial Access Methods.	FICS	2008	DBLP DOI BibTeX RDF
1	Chenguang Luo, Shengchao Qin	Separation Logic for Multiple Inheritance.	FICS	2008	DBLP DOI BibTeX RDF
1	Luoshan Xu, Xuxin Mao	Various Constructions of Continuous Information Systems.	FICS	2008	DBLP DOI BibTeX RDF
1	Pierre Ille, Paul Ruet	Cyclic Extensions of Order Varieties.	FICS	2008	DBLP DOI BibTeX RDF
1	Zhoujun Li, Hua Guo, Xiyong Zhang	fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol.	FICS	2008	DBLP DOI BibTeX RDF
1	Yixiang Chen, Guo-Qiang Zhang 0001, Prakash Panangaden	Preface.	FICS	2008	DBLP DOI BibTeX RDF
1	David Pichardie	Building Certified Static Analysers by Modular Construction of Well-founded Lattices.	FICS	2008	DBLP DOI BibTeX RDF
1	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.	FICS	2008	DBLP DOI BibTeX RDF
1	Ernst-Erich Doberkat	Bisimilarity of Distributionally Equivalent Markov Transition Systems.	FICS	2008	DBLP DOI BibTeX RDF
1	Fangping Huang, Manfred Droste, Guo-Qiang Zhang 0001	A Monoidal Category of Bifinite Chu Spaces.	FICS	2008	DBLP DOI BibTeX RDF
1	Taolue Chen, Jian Lu	Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.	FICS	2008	DBLP DOI BibTeX RDF
1	Lunjin Lu	Checking Emptiness of Non-Deterministic Regular Types with Set Operators.	FICS	2008	DBLP DOI BibTeX RDF
1	Tony Hoare, Peter W. O'Hearn	Separation Logic Semantics for Communicating Processes.	FICS	2008	DBLP DOI BibTeX RDF
1	Mingren Chai, Nan Qu, Ying Jiang	Tree Process Calculus.	FICS	2008	DBLP DOI BibTeX RDF
1	Mengjun Li, Zhoujun Li 0001, Huowang Chen, Ti Zhou	A Novel Derivation Framework For Definite Logic Program.	FICS	2008	DBLP DOI BibTeX RDF
1	Meng Sun	Services and Contracts: Coalgebraically.	FICS	2008	DBLP DOI BibTeX RDF
1	Yixiang Chen, Guo-Qiang Zhang 0001, Prakash Panangaden (eds.)	Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008	FICS	2008	DBLP BibTeX RDF
1	Luís Dominguez	A Bisimilarity Logical Relation for the Object Calculus S.	FICS	2003	DBLP BibTeX RDF
1	Tarmo Uustalu, Varmo Vene	An Alternative Characterization of Complete Iterativeness (Extended Abstract).	FICS	2003	DBLP BibTeX RDF
1	Vincent Danos, Josée Desharnais	A Fixpoint Logic for Labeled Markov Processes.	FICS	2003	DBLP BibTeX RDF
1	Erich Grädel	Inflationary and Deflationary Fixed Points (Invited Talk).	FICS	2003	DBLP BibTeX RDF
1	Damian Niwinski	Hierarchies in mu-Calculus (Invited Talk).	FICS	2003	DBLP BibTeX RDF
1	André Arnold, Luigi Santocanale	On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages.	FICS	2003	DBLP BibTeX RDF
1	Andreas Abel 0001, Ralph Matthes	Primitive Recursion for Rank-2 Inductive Types.	FICS	2003	DBLP BibTeX RDF
1	Martin Grohe	Monadic Datalog on Trees (Invited Talk).	FICS	2003	DBLP BibTeX RDF
1	Zoltán Ésik, Igor Walukiewicz (eds.)	FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003.	FICS	2003	DBLP BibTeX RDF
1	Claus Jürgensen	Monadic Fusion of Functional Programs.	FICS	2003	DBLP BibTeX RDF
1	Eugenio Moggi, Amr Sabry	An Abstract Monadic Semantics for Value Recursion.	FICS	2003	DBLP BibTeX RDF
1	Neil Ghani, Tarmo Uustalu	Coproducts of Ideal Monads (Extended Abstract).	FICS	2003	DBLP BibTeX RDF
1	Jirí Adámek, Stefan Milius, Jirí Velebil	Parametric corecursion and completely iterative monads.	FICS	2002	DBLP BibTeX RDF
1	Margarita V. Korovina	Fixed points on abstract structures without the equality test.	FICS	2002	DBLP BibTeX RDF
1	Tarmo Uustalu	Generalizing substitution.	FICS	2002	DBLP BibTeX RDF
1	Christoph Sprenger 0001, Mads Dam	A note on global induction in a mu-calculus with explicit approximations.	FICS	2002	DBLP BibTeX RDF
1	Glynn Winskel	Calculus for categories.	FICS	2002	DBLP BibTeX RDF

Publications at "FICS"( http://dblp.L3S.de/Venues/FICS )