Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daniel R. Licata, Guillaume Brunerie |
A Cubical Approach to Synthetic Homotopy Theory. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Brunet, Damien Pous |
Petri Automata for Kleene Allegories. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux, Sylvain Schmitz |
Demystifying Reachability in Vector Addition Systems. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
Nested Weighted Automata. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Munch-Maccagnoni, Gabriel Scherer |
Polarised Intermediate Representation of Lambda Calculus with Sums. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Alain Finkel, Stefan Göller, Christoph Haase, Pierre McKenzie |
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter W. O'Hearn |
From Categorical Logic to Facebook Engineering. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Gogacz, Jerzy Marcinkowski |
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer |
Improved Algorithms for One-Pair and k-Pair Streett Objectives. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Borja Balle, Prakash Panangaden, Doina Precup |
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Lechner, Joël Ouaknine, James Worrell 0001 |
On the Complexity of Linear Arithmetic with Divisibility. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira, Leonid Libkin |
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrià Gascón, Ashish Tiwari 0001, Manfred Schmidt-Schauß |
One Context Unification Problems Solvable in Polynomial Time. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Stefan Göller, Stefan Kiefer, Andrzej S. Murawski |
Bisimilarity of Pushdown Automata is Nonelementary. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera 0001 |
Trading Performance for Stability in Markov Decision Processes. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli |
Compressing Polarized Boxes. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Évariste Dagand, Conor McBride |
A Categorical Treatment of Ornaments. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Facchini, Yde Venema, Fabio Zanasi |
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
Pumping by Typing. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
Stone Duality for Markov Processes. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | James Hales |
Arbitrary Action Model Logic and Action Model Synthesis. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi 0001 |
From Monadic Second-Order Definable String Transformations to Transducers. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer |
Fibred Data Types. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Gogacz, Jerzy Marcinkowski |
Converging to the Chase - A Tool for Finite Controllability. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Otto 0001 |
Groupoids, Hypergraphs, and Symmetries in Finite Models. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter, Joël Ouaknine, James Worrell 0001 |
Expressive Completeness for Metric Temporal Logic. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gaëlle Fontaine |
Why is it Hard to Obtain a Dichotomy for Consistent Query Answering? |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais |
From Two-Way to One-Way Finite State Transducers. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore, Makoto Hamana |
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux |
Presburger Vector Addition Systems. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Panangaden |
Duality in Logic and Computation. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chuck C. Liang, Dale Miller 0001 |
Unifying Classical and Intuitionistic Logics for Computational Control. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan 0001 |
Regular Functions and Cost Register Automata. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt |
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Hofman, Richard Mayr, Patrick Totzke |
Decidability of Weak Simulation on One-Counter Nets. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Measurable Spaces and Their Effect Logic. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Diego Figueira, M. Praveen |
Reasoning about Data Repetitions with Counter Systems. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anudhyan Boral, Sylvain Schmitz |
Model-Checking Parse Trees. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Colin Riba |
Forcing MSO on Infinite Words in Weak MSO. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ori Lahav 0001 |
From Frame Properties to Hypersequent Rules in Modal Logics. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sam Staton |
Instances of Computational Effects: An Algebraic Perspective. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kord Eickmeyer, Ken-ichi Kawarabayashi, Stephan Kreutzer |
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti, Jean-Jacques Lévy |
The Cost of Usage in the Lambda-Calculus. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Dietrich Kuske, Roy Mennicke |
The Complexity of Model Checking Multi-stack Systems. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Olle Fredriksson, Dan R. Ghica |
Abstract Machines for Game Semantics, Revisited. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Nain, Moshe Y. Vardi |
Solving Partial-Information Stochastic Parity Games. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Pattinson |
The Logic of Exact Covers: Completeness and Uniform Interpolation. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern |
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Achim Jung, Umberto Rivieccio |
Kripke Semantics for Modal Bilattice Logic. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel R. Licata, Michael Shulman |
Calculating the Fundamental Group of the Circle in Homotopy Type Theory. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013 |
LICS |
2013 |
DBLP BibTeX RDF |
|
1 | Sergey Goncharov 0001, Lutz Schröder |
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore |
One-Path Reachability Logic. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Facchini, Filip Murlak, Michal Skrzypczak |
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux, Vincent Penelle, Grégoire Sutre |
On the Context-Freeness Problem for Vector Addition Systems. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Cristescu, Jean Krivine, Daniele Varacca |
A Compositional Semantics for the Reversible p-Calculus. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tom Gundersen, Willem Heijltjes, Michel Parigot |
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet |
Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mogavero, Aniello Murano, Luigi Sauro |
On the Boundary of Behavioral Strategies. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
Name-Passing Calculi: From Fusions to Preorders and Types. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Kreutzer, Cristian Riveros |
Quantitative Monadic Second-Order Logic. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Comon-Lundh |
LICS: Logic in Computer Security - Some Attacker's Models and Related Decision Problems. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nancy A. Lynch |
Timed and Probabilistic I/O Automata. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hoffmann 0002, Michael Marmar, Zhong Shao |
Quantitative Reasoning for Proving Lock-Freedom. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani |
Weighted Relational Models of Typed Lambda-Calculi. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Fabio Mogavero, Aniello Murano |
Substructure Temporal Logic. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Witold Charatonik, Piotr Witkowski 0001 |
Two-Variable Logic with Counting and Trees. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Montanari, Pietro Sala |
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Anderson, Anuj Dawar, Bjarki Holm |
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota 0001, Szymon Torunczyk |
Turing Machines with Atoms. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Luis Sacchini |
Type-Based Productivity of Stream Definitions in the Calculus of Constructions. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Swarat Chaudhuri, Sriram Sankaranarayanan 0001, Moshe Y. Vardi |
Regular Real Analysis. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jamie Vicary |
Topological Structure of Quantum Algorithms. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Férée, Mathieu Hoyrup, Walid Gomaa 0001 |
On the Query Complexity of Real Functionals. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Rasmus Ejlers Møgelberg |
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes. |
LICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001 |
Partial-Observation Stochastic Games: How to Win When Belief Fails. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke |
Learning Probabilistic Systems from Tree Samples. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Rabinovich, Sasha Rubin |
Interpretations in Trees with Countably Many Branches. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naohiko Hoshino |
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Piérard, Eijiro Sumii |
A Higher-Order Distributed Calculus with Name Creation. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi 0001 |
Regular Transformations of Infinite Strings. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Clairambault, Julian Gutierrez 0001, Glynn Winskel |
The Winning Ways of Concurrent Games. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen |
The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Damiano Mazza |
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Bernardy, Guilhem Moulin |
A Computational Interpretation of Parametricity. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Sabel, Manfred Schmidt-Schauß |
Conservative Concurrency in Haskell. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera |
Two-Variable First-Order Logic with Equivalence Closure. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Manindra Agrawal, S. Akshay 0001, Blaise Genest, P. S. Thiagarajan |
Approximate Verification of the Symbolic Dynamics of Markov Chains. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Schalk, Hugh P. Steele |
Constructing Fully Complete Models for Multiplicative Linear Logic. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Petr Jancar |
Decidability of DPDA Language Equivalence via First-Order Grammars. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Steven Awodey, Nicola Gambino, Kristina Sojakova |
Inductive Types in Homotopy Type Theory. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hubie Chen, Víctor Dalmau |
Decomposing Quantified Conjunctive (or Disjunctive) Formulas. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barceló, Diego Figueira, Leonid Libkin |
Graph Logics with Rational Relations and the Generalized Intersection Problem. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang |
Strong Complementarity and Non-locality in Categorical Quantum Mechanics. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sicun Gao, Jeremy Avigad, Edmund M. Clarke |
Delta-Decidability over the Reals. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Jeannin, Dexter Kozen |
Capsules and Separation. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, A. V. Sreejith |
Non-definability of Languages by Generalized First-order Formulas over (N, +). |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|