| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 |
|
| 1 | Silvain Rideau, Glynn Winskel |
Concurrent Strategies. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kufleitner, Alexander Lauser |
Languages of Dot-Depth One over Infinite Words. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring |
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelakantan R. Krishnaswami, Nick Benton |
Ultrametric Semantics of Reactive Programs. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
Separation Logic in the Presence of Garbage Collection. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Clairambault |
Isomorphisms of Types in the Presence of Higher-Order References. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
The Meaning of Semantics. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira |
A Decidable Two-Way Logic on Data Words. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Naohiko Hoshino |
Semantics of Higher-Order Quantum Computation via Geometry of Interaction. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathanael Leedom Ackerman, Cameron E. Freer, Daniel M. Roy |
Noncomputable Conditional Distributions. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuguo He |
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Ehrenfeucht-Fraïssé games, quantifier structure, finite model theory |
| 1 | Massimo Bartoletti, Roberto Zunino |
A Calculus of Contracting Processes. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
circular assume-guarantee, concurrent constraints, contracts, cut elimination |
| 1 | Bastian Laubner |
Capturing Polynomial Time on Interval Graphs. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
capturing of polynomial time, fixed-point logic with counting, interval graphs, canonical forms, modular decomposition |
| 1 | Martin Grohe |
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
graph minor theory, fixed-point logic, graph canonisation, descriptive complexity |
| 1 | Patricia Johann, Alex Simpson, Janis Voigtländer |
A Generic Operational Metatheory for Algebraic Effects. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq |
omega-QRB-Domains and the Probabilistic Powerdomain. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Quasi-continuous domains, probabilistic powerdomain |
| 1 | Dominique Larchey-Wendling, Didier Galmiche |
The Undecidability of Boolean BI through Phase Semantics. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
bunched logic, phase semantics, decidability, linear logic |
| 1 | Eryk Kopczynski, Anthony Widjaja To |
Parikh Images of Grammars: Complexity and Applications. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Parikh Images, Algorithms, Automata, Grammars, Normal Form |
| 1 | Thomas Colcombet, Christof Löding |
Regular Cost Functions over Finite Trees. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
limitedness problem, games, tree automata, monadic-second order logic |
| 1 | Alessio Guglielmi, Tom Gundersen, Lutz Straßburger |
Breaking Paths in Atomic Flows for Classical Logic. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
atomic flows, proof normalization, classical logic |
| 1 | Mikolaj Bojanczyk, Slawomir Lasota |
An Extension of Data Automata that Captures XPath. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Regular XPath, data automata, register automata |
| 1 | Arnon Avron, Ofer Arieli, Anna Zamansky |
On Strong Maximality of Paraconsistent Finite-Valued Logics. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Siles, Hugo Herbelin |
Equality Is Typable in Semi-full Pure Type Systems. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Pure Type Systems, Judgmental Equality |
| 1 | |
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom |
LICS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Cosimo Laneve, Antonio Vitale |
The Expressive Power of Synchronizations. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
dining philosophers problem, synchronizations, hypercube, Expressive power, process calculi |
| 1 | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
On Probabilistic Automata in Continuous Time. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
weak bisimulation semantics, Markov processes, process algebra, nondeterminism, discrete time, continuous time |
| 1 | Samson Abramsky |
Coalgebras, Chu Spaces, and Representations of Physical Systems. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Chu spaces, representation of physical systems, categories, coalgebra, quantum mechanics |
| 1 | Libor Barto, Marcin Kozik |
New Conditions for Taylor Varieties and CSP. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Taylor conditions, Constraint Satisfaction Problem |
| 1 | Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
Recursion Schemes and Logical Reflection. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Collapsible Pushdown Automata, Monadic Second Order Logic and Mu-Calculus Global model checking, Parity Games, Recursion Schemes |
| 1 | Gordon D. Plotkin |
Robin Milner, a Craftsman of Tools for the Mind. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ehrhard |
A Finiteness Structure on Resource Terms. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
finiteness spaces, algebraic system F, linear logic, lambda-calculus, reducibility, denotational semantics |
| 1 | Manuel Bodirsky, Martin Hils, Barnaby Martin |
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Galois Connection, Model Theory |
| 1 | Hugo Herbelin |
An Intuitionistic Logic that Proves Markov's Principle. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Markov's principle, proof-as-program correspondence, exceptions, intuitionistic logic |
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem on Classes of Automatic Structures. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
automatic structures, arithmetical hierarchy, isomorphism problems |
| 1 | Stefan Milius |
A Sound and Complete Calculus for Finite Stream Circuits. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
streams, regular expressions, linear systems, coalgebra, Kleene algebra |
| 1 | James Laird |
Game Semantics for a Polymorphic Programming Language. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
general references, genericity, polymorphism, game semantics |
| 1 | Martin Otto |
Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
hypergraphs, finite model theory, acyclicity, guarded fragment |
| 1 | Paul-André Melliès |
Segal Condition Meets Computational Effects. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
finitary monads, Lawvere theories, state monad, higher dimensional algebra, nerve functor, Segal condition, monads with arities, Computational effects, algebraic theories |
| 1 | Sam Staton, Glynn Winskel |
On the Expressivity of Symmetry in Event Structures. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Basaldella, Kazushige Terui |
Infinitary Completeness in Ludics. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
ludics, completeness, linear logic, recursive types, coinduction |
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Probabilistic Information Flow. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Brotherston, Max I. Kanovich |
Undecidability of Propositional Separation Logic and Its Neighbours. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
bunched logic, heap models, separation logic, undecidability |
| 1 | Vince Bárány, Georg Gottlob, Martin Otto |
Querying the Guarded Fragment. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
hypergraph covers, conjunctive queries, descriptive complexity, finite model theory, guarded fragment |
| 1 | Nicole Schweikardt, Luc Segoufin |
Addition-Invariant FO and Regularity. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
bounded languages, Logic, automata |
| 1 | Stephan Kreutzer, Siamak Tazari |
Lower Bounds for the Complexity of Monadic Second-Order Logic. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Parameterized Intractability, Graph Structure Theory, Treewidth, Parameterized Complexity, Finite Model Theory, Monadic Second-Order Logic |
| 1 | J. Strother Moore |
Theorem Proving for Verification: The Early Days. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris |
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Ontologies, Query Answering, Knowledge Representation and Reasoning |
| 1 | Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell |
Alternating Timed Automata over Bounded Time. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Church's Problem, Timed Automata, Alternation |
| 1 | Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor |
Weak Equivalences in Psi-Calculi. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
pi-calculus extension, weak bisimulation, barbed bisimulation |
| 1 | Thomas Place, Luc Segoufin |
Deciding Definability in FO2(<) (or XPath) on Trees. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Trees, Logic, Xpath, Automata |
| 1 | Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn |
Strong Normalization for System F by HOAS on Top of FOAS. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Higher-Order Abstract Syntax, Isabelle/HOL, System F |
| 1 | Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher |
The Emptiness Problem for Tree Automata with Global Constraints. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Symbolic Constraint Solving, Tree Automata, Monadic Second Order Logic, XML Processing |
| 1 | David Harel |
Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
The Fine Print of Security. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop |
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Zeilberger |
Polarity and the Logic of Delimited Continuations. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
programming, logic, continuations, proof theory, polarity |
| 1 | Andrei A. Bulatov, Dániel Marx |
The Complexity of Global Cardinality Constraints. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Basaldella, Claudia Faggian |
Ludics with Repetitions (Exponentials, Interactive Types and Completeness). |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica |
Applications of Game Semantics: From Program Analysis to Hardware Synthesis. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuel Kieronski, Lidia Tendera |
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel de Rougemont, Mathieu Tracol |
Statistic Analysis for Probabilistic Processes. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Altenkirch, Peter Morris |
Indexed Containers. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Howard Straubing, Igor Walukiewicz |
Wreath Products of Forest Algebras, with Applications to Tree Logics. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Richard Mayr, Anthony Widjaja To |
On the Computational Complexity of Verifying One-Counter Processes. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")