FICS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 63 from 63

2010

Denotational Semantics for Lazy Initialization of letrecKeiko Nakata 0001. fics 2010: 61-67 [doi]

A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric SpacesLars Birkedal, Jan Schwinghammer, Kristian Støvring. fics 2010: 27-33 [doi]

A Metric Model of Lambda Calculus with Guarded RecursionLars Birkedal, Jan Schwinghammer, Kristian Støvring. fics 2010: 19-25 [doi]

Structures Defined by Higher-Order Recursion SchemesArnaud Carayol. fics 2010: 7 [doi]

How Fast Can the Fixpoints in Modal mu-Calculus Be Reached?Marek Czarnecki. fics 2010: 35-39 [doi]

Proving Fixed PointsHervé Grall. fics 2010: 41-46 [doi]

Characterizing Recursive Programs up to BisimilarityPaul Blain Levy. fics 2010: 47-52 [doi]

Fixed Points and Proof Theory: An Extended AbstractDale Miller. fics 2010: 9-16 [doi]

The Equivalence of Game and Denotational Semantics for the Probabilistic mu-CalculusMatteo Mio. fics 2010: 53-59 [doi]

Fixed Point Argument and Tilings without Long Range OrderAndrei E. Romashchenko. fics 2010: 69-75 [doi]

Fixed-Point Semantics for Non-Monotonic FormalismsPanos Rondogiannis. fics 2010: 17 [doi]

7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010Luigi Santocanale, editor, Laboratoire d'Informatique Fondamentale de Marseille, 2010. [doi]

A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint OperatorsTarmo Uustalu. fics 2010: 77-82 [doi]

Common Patterns for Metric and Ordered Fixed Point TheoremsPawel Waszkiewicz. fics 2010: 83-87 [doi]

2009

Membership Checking in Greatest Fixpoints RevisitedMartin Hofmann 0001, Dulma Rodriguez. fics 2009: 46-53 [doi]

On Core XPath with Inflationary Fixed PointsLoredana Afanasiev, Balder ten Cate. fics 2009: 11-17 [doi]

Solutions of Generalized Recursive Metric-Space EquationsLars Birkedal, Kristian Støvring, Jacob Thamsborg. fics 2009: 18-24 [doi]

Scattered Algebraic Linear OrderingsStephen L. Bloom, Zoltán Ésik. fics 2009: 25-29 [doi]

Pola: A Language for PTIME ProgrammingMichael J. Burrell, J. Robin B. Cockett, Brian F. Redmond. fics 2009: 7-8 [doi]

Least and Greatest Fixpoints in Game SemanticsPierre Clairambault. fics 2009: 39-45 [doi]

Solving Fixed-Point Equations on omega-Continuous SemiringsJavier Esparza, Stefan Kiefer, Michael Luttenberger. fics 2009: 9 [doi]

A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher OrderStephan Kreutzer, Martin Lange 0001. fics 2009: 54-60 [doi]

6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009Ralph Matthes, Tarmo Uustalu, editors, Institute of Cybernetics, 2009. [doi]

Coalgebraic ExpressionsRobert S. R. Myers. fics 2009: 61-69 [doi]

On Characteristic Formulae for Event-Recording AutomataOmer Landry Nguena-Timo, Pierre-Alain Reynier. fics 2009: 70-78 [doi]

Coinductive Predicates as Final CoalgebrasMilad Niqui, Jan Rutten. fics 2009: 79-85 [doi]

Lower Bound for Evaluation of mu-nu FixpointPawel Parys. fics 2009: 86-92 [doi]

A Bilattice Based Fixed Point Semantics for Integrating Imperfect InformationDaniel Stamate. fics 2009: 93-99 [doi]

Fixed Points on Partial RandomnessKohtaro Tadaki. fics 2009: 100-107 [doi]

Fixed-Point Computations over Functions on Integers with Operations min, max and plusYoshinori Tanabe, Masami Hagiya. fics 2009: 108-115 [doi]

An Easy Completeness Proof for the Modal mu-Calculus on Finite TreesBalder ten Cate, Gaëlle Fontaine. fics 2009: 30-38 [doi]

A Non-uniform Finitary Relational Semantics of System TLionel Vaux. fics 2009: 116-123 [doi]

Fixpoint Logics and Automata: A Coalgebraic ApproachYde Venema. fics 2009: 10 [doi]

2003

Primitive Recursion for Rank-2 Inductive TypesAndreas Abel 0001, Ralph Matthes. fics 2003: 1-3 [doi]

On Ambiguous Classes in the mu-Calculus Hierarchy of Tree LanguagesAndré Arnold, Luigi Santocanale. fics 2003: 4-13 [doi]

A Fixpoint Logic for Labeled Markov ProcessesVincent Danos, Josée Desharnais. fics 2003: 14-18 [doi]

A Bisimilarity Logical Relation for the Object Calculus SLuís Dominguez. fics 2003: 19-31 [doi]

Coproducts of Ideal Monads (Extended Abstract)Neil Ghani, Tarmo Uustalu. fics 2003: 32-36 [doi]

Monadic Datalog on Trees (Invited Talk)Martin Grohe. fics 2003: 42-43 [doi]

Inflationary and Deflationary Fixed Points (Invited Talk)Erich Grädel. fics 2003: 37-41 [doi]

Monadic Fusion of Functional ProgramsClaus Jürgensen. fics 2003: 44-63 [doi]

An Abstract Monadic Semantics for Value RecursionEugenio Moggi, Amr Sabry. fics 2003: 64-79 [doi]

Hierarchies in mu-Calculus (Invited Talk)Damian Niwinski. fics 2003: 80 [doi]

An Alternative Characterization of Complete Iterativeness (Extended Abstract)Tarmo Uustalu, Varmo Vene. fics 2003: 81-83 [doi]

FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003Zoltán Ésik, Igor Walukiewicz, editors, University of Warsaw, 2003. [doi]

2002

Kleene through the process algebraic glassLuca Aceto. fics 2002: 20-21

Parametric corecursion and completely iterative monadsJirí Adámek, Stefan Milius, Jiri Velebil. fics 2002: 2-5

Traced pre-monoidal categoriesNick Benton, Martin Hyland. fics 2002: 12-19

Recursion in the call-by-value lambda-calculusGérard Boudol, Pascal Zimmer. fics 2002: 61-66

Strong next-time operators for multiple-valued mu-calculusBenet Devereux. fics 2002: 40-43

Coalgebraic approaches to algebraic termsNeil Ghani, Christoph Lüth, Federico De Marchi. fics 2002: 6-8

Iteration schemes for fixed point calculationThomas P. Jensen, Florimond Ployette, Olivier Ridoux. fics 2002: 69-76

Fixed points on abstract structures without the equality testMargarita V. Korovina. fics 2002: 58-60

On two letters versus threeDexter Kozen. fics 2002: 44-50

Kleene s (unary) star in nondeterministic contextAnna Labella. fics 2002: 67-68

Kleenean semimodules and linear languagesHans Leiß. fics 2002: 51-53

Congruences of modal µ-algebrasLuigi Santocanale. fics 2002: 77-81

Model checking knowledge and fixpointsNikolay V. Shilov, Natalya Olegovna Garanina. fics 2002: 25-39

A note on global induction in a mu-calculus with explicit approximationsChristoph Sprenger, Mads Dam. fics 2002: 22-24

Generalizing substitutionTarmo Uustalu. fics 2002: 9-11

Calculus for categoriesGlynn Winskel. fics 2002: 1

Decidable fragments of domain mu-calculus: an automata-theoretic perspectiveGuo-Qiang Zhang. fics 2002: 54-57

Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary ProceedingsZoltán Ésik, Anna Ingólfsdóttir, editors, Volume NS-02-2 of BRICS Notes Series, University of Aarhus, 2002.

Sign in or sign up to see more results.

runs on WebDSL