| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | |
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012  |
LICS  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj |
Deciding the Value 1 Problem for Probabilistic Leaktight Automata. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Baelde, Gopalan Nadathur |
Combining Deduction Modulo and Logics of Fixed-Point Definitions. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Mathieu Tracol |
Decidable Problems for Probabilistic Automata on Infinite Words. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Schalk, Hugh Steele |
Constructing Fully Complete Models for Multiplicative Linear Logic. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron, Beata Konikowska, Anna Zamansky |
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan |
Approximate Verification of the Symbolic Dynamics of Markov Chains. |
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 | Jan Willem Klop |
Term Rewriting and Lambda Calculus. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau |
Extending Type Theory with Forcing. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Jeannin, Dexter Kozen |
Capsules and Separation. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Better Abstractions for Timed Automata. |
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 | Jean-Philippe Bernardy, Guilhem Moulin |
A Computational Interpretation of Parametricity. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Partial-Observation Stochastic Games: How to Win When Belief Fails. |
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 | Stefan Göller, Jean Christoph Jung, Markus Lohrey |
The Complexity of Decomposing Modal and First-Order Theories. |
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 | Jamie Vicary |
Higher Semantics of Quantum Protocols. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Yaron Velner |
Mean-Payoff Pushdown Games. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On the Ordered Conjecture. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-André Melliès |
Game Semantics in String Diagrams. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Herbelin |
A Constructive Proof of Dependent Choice, Compatible with Classical Logic. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Carayol, Olivier Serre |
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Bundala, Joël Ouaknine, James Worrell |
On the Magnitude of Completeness Thresholds in Bounded Model Checking. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Berkholz |
Lower Bounds for Existential Pebble Games and k-Consistency Tests. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty, Rupak Majumdar |
A Perfect Model for Bounded Verification. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Bienvenu, Benoit Monin |
Von Neumann's Biased Coin Revisited. |
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 | Deepak Garg, Valerio Genovese, Sara Negri |
Countermodels from Sequent Calculi in Multi-Modal Logics. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Tan |
An Automata Model for Trees with Ordered Data Values. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam |
On the Complexity of Linear Authorization Logics. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Aumann |
Backward induction in games of perfect information. |
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 | Serge Grigorieff, Pierre Valarcher |
Functionals Using Bounded Information and the Dynamics of Algorithms. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Feigenbaum |
Privacy, Anonymity, and Accountability in Ad-Supported Services. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Engelmann, Stephan Kreutzer, Sebastian Siebertz |
First-Order and Monadic Second-Order Model-Checking on Ordered Structures. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette |
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Elberfeld, Martin Grohe, Till Tantau |
Where First-Order and Monadic Second-Order Logic Coincide. |
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 | Leonid A. Levin |
Turing's Password: What Internet Cannot Leak. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Logics of Dynamical Systems. |
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 |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
Dense-Timed Pushdown Automata. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Parys |
On the Significance of the Collapse Operation. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster |
Induction in Algebra: A First Case Study. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Atkey |
The Semantics of Parsing with Semantic Actions. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Libor Barto, Marcin Kozik, Ross Willard |
Near Unanimity Constraints Have Bounded Pathwidth Duality. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Jain, Alexei Miasnikov, Frank Stephan |
The Complexity of Verbal Languages over Groups. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Moritz Müller |
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Nathan Bowler, Paul Blain Levy |
Coproducts of Monads on Set. |
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 | Pierre Clairambault, Julian Gutierrez, Glynn Winskel |
The Winning Ways of Concurrent Games. |
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 | André Platzer |
The Complete Proof Theory of Hybrid Systems. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi |
Regular Transformations of Infinite Strings. |
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 | Petr Jancar |
Decidability of DPDA Language Equivalence via First-Order Grammars. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. Constable |
On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer. |
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 | David Sabel, Manfred Schmidt-Schauß |
Conservative Concurrency in Haskell. |
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 | Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera |
Two-Variable First-Order Logic with Equivalence Closure. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Müller, Iddo Tzameret |
Short Propositional Refutations for Dense Random 3CNF Formulas. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
Automatic Sequences and Zip-Specifications. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Michaliszyn, Jan Otop |
Decidable Elementary Modal Logics. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carles Creus, Adria Gascón, Guillem Godoy, Lander Ramos |
The HOM Problem is EXPTIME-Complete. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ehrhard, Michele Pagani, Christine Tasson |
The Computational Meaning of Probabilistic Coherence Spaces. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Yves Marion |
A Type System for Complexity Flow Analysis. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Listings and Logics. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Anthony Widjaja Lin |
The Complexity of Verifying Ground Tree Rewrite Systems. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Daniele Varacca |
Continuous Random Variables. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai Tri Man Le, Stephen A. Cook |
Formalizing Randomized Matching Algorithms. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman |
Temporal Specifications with Accumulative Values. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Gabriele Puppis, Cristian Riveros |
Regular Repair of Specifications. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Nikos Tzevelekos |
Game Semantics for Good General References. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Herrmann, Martin Ziegler |
Computational Complexity of Quantum Satisfiability. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Churchill, James Laird, Guy McCusker |
Imperative Programs as Proofs via Game Semantics. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota |
Automata with Group Actions. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Michael Pinsker, Todor Tsankov |
Decidability of Definability. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Libor Barto |
The Dichotomy for Conservative Constraint Satisfaction Problems Revisited. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Marco Gaboardi |
Linear Dependent Types and Relative Completeness. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Toniann Pitassi |
Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera |
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Atserias |
A Why-on-Earth Tutorial on Finite Model Theory. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Higher-Order Model Checking: From Theory to Practice. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov, Lutz Schröder |
Powermonads and Tensors of Unranked Effects. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen |
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada |
LICS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Miquel |
Forcing as a Program Transformation. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Marcinkowski, Jakub Michaliszyn |
The Ultimate Undecidability Result for the Halpern-Shoham Logic. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Carayol, Axel Haddad, Olivier Serre |
Qualitative Tree Languages. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Orna Kupferman, Robby Lampert |
Rigorous Approximated Determinization of Weighted Automata. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent R. Madelaine, Barnaby Martin |
A Tetrachotomy for Positive First-Order Logic without Equality. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema |
Complexity of Two-Variable Dependence Logic and IF-Logic. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Logic in Software, Dynamical and Biological Systems. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Krokhin |
The Complexity of Evaluating First-Order Sentences over a Fixed Structure. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang |
CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Richard Mayr |
Computing Optimal Coverability Costs in Priced Timed Petri Nets. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Heijltjes |
Proof Nets for Additive Linear Logic with Units. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")