| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcello Mamino |
On the computing power of +, -, and ×.  |
CSL-LICS  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki |
Decidability of weak logics with deterministic transitive closure. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Leonid Libkin |
Pattern logics and auxiliary relations. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Ugo Dal Lago |
Beta reduction is invariant, indeed. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Bjørn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras |
KAT + B! |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera 0001, Petr Novotný 0001, Joost-Pieter Katoen |
Zero-reachability in probabilistic multi-counter automata. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Fredrikson, Somesh Jha |
Satisfiability modulo counting: a new approach for analyzing privacy properties. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
The tractability frontier of graph-like first-order query sets. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar |
The Ackermann award 2014. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Heijltjes, Robin Houston 0001 |
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Sam Staton |
Substitution, jumps, and algebraic effects. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Haase |
Subclasses of presburger arithmetic and the weak EXP hierarchy. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
Coinduction up-to in a fibrational setting. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun |
Logical characterization of weighted pebble walking automata. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Stefan Kiefer |
On the total variation distance of labelled Markov chains. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Pablo Muñoz |
Graph logics with rational relations: the role of word combinatorics. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Deadlock and lock freedom in the linear π-calculus. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Guenot, Lutz Straßburger |
Symmetric normalisation for intuitionistic logic. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustuv Chaudhuri, Nicolas Guenot |
Equality and fixpoints in the calculus of structures. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
On the succinctness of query rewriting over shallow ontologies. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Brenguier, Jean-François Raskin, Mathieu Sassolas |
The complexity of admissibility in Omega-regular games. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer |
Decomposition theorems and model-checking for the modal μ-calculus. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Castellan, Pierre Clairambault, Glynn Winskel |
Symmetry in concurrent games. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joachim Klein 0001, Sascha Klüppelholz, Sascha Wunderlich |
Weight monitoring with linear temporal logic: complexity and decidability. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot |
Abstract interpretation: past, present and future. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Gutierrez 0001, Michael J. Wooldridge |
Equilibria of concurrent games on event structures. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongjin Liang 0001, Xinyu Feng 0001, Zhong Shao |
Compositional verification of termination-preserving refinement of concurrent programs. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks |
On periodically iterated morphisms. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Pratt-Hartmann |
Logics with counting and equivalence. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin |
Anchored LTL separation. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranko Lazic 0001, Sylvain Schmitz |
Non-elementary complexities for branching VASS, MELL, and extensions. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ehrhard |
A new correctness criterion for MLL proof nets. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Le Roux 0001, Arno Pauly |
Infinite sequential games with real-valued payoffs. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002 |
On the pigeonhole and related principles in deep inference and monotone systems. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig |
Logic for communicating automata with parameterized topology. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cretin, Didier Rémy |
System F with coercion constraints. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavien Breuvart |
On the characterization of models of H. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Leroux, M. Praveen, Grégoire Sutre |
Hyper-Ackermannian bounds for pushdown vector addition systems. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Naohiko Hoshino, Koko Muroya, Ichiro Hasuo |
Memoryful geometry of interaction: from coalgebraic components to algebraic effects. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Pawel Parys, Michael Vanden Boom |
Two-way cost automata and cost logics over infinite trees. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Perrinel |
On context semantics and interaction nets. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Katja Losemann, Wim Martens |
MSO queries on trees: enumerating answers under updates. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
A quest for algorithmically random infinite structures. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Adam Freilich, Mukund Raghothaman |
Regular combinators for string transformations. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Klin, Slawomir Lasota 0001, Joanna Ochremiak, Szymon Torunczyk |
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Lei Song 0001, Lijun Zhang 0001 |
Probably safe or live. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Koskinen, Tachio Terauchi |
Local temporal reasoning. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rasmus Ejlers Møgelberg |
A type theory for productive coprogramming via guarded recursion. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu |
Asymptotic behaviour in temporal logic. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Dale Miller 0001 (eds.) |
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014 |
CSL-LICS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Ryan Williams 0001 |
Faster decision of first-order graph properties. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Kreutzer, Nicole Schweikardt |
On Hanf-equivalence and the number of embeddings of small induced subgraphs. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen |
Citations for the test-of-time award from 1994. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Mamouras |
On the Hoare theory of monadic recursion schemes. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Enrico Malizia |
Achieving new upper bounds for the hypergraph duality problem through logic. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke |
Infinite-state energy games. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Munch-Maccagnoni |
Formulae-as-types for an involutive negation. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Blain Levy, Sam Staton |
Transition systems over games. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaron Velner |
Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Assia Mahboubi |
Computer-checked mathematics: a formal proof of the odd order theorem. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi |
Weak MSO: automata and expressiveness modulo bisimilarity. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu |
The geometry of synchronization. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Moritz Müller |
One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hague |
Senescent ground tree rewrite systems. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | James Brotherston, Carsten Fuhs, Juan Antonio Navarro Pérez, Nikos Gorogiannis |
A decision procedure for satisfiability in separation logic with inductive predicates. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Balder ten Cate, Michael Vanden Boom |
Effective interpolation and preservation in guarded logics. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Danko Ilik |
Axioms and decidability for type isomorphism in the presence of sums. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Place, Marc Zeitoun |
Separating regular languages with first-order logic. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Harwath, Lucas Heimberg, Nicole Schweikardt |
Preservation and decomposition theorems for bounded degree structures. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo 0001, Davide Sangiorgi, Valeria Vignudelli |
On the discriminating power of passivation and higher-order interaction. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann 0001, Wei Chen 0023 |
Abstract interpretation from Büchi automata. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Bova, Robert Ganian, Stefan Szeider |
Model checking existential logic on partially ordered sets. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
Functional reactive types. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Bilokon, Abbas Edalat |
A domain-theoretic approach to Brownian motion and general continuous stochastic processes. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeshi Tsukada, C.-H. Luke Ong |
Compositional higher-order model checking via ω-regular games over Böhm trees. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Eric Finster |
Eilenberg-MacLane spaces in homotopy type theory. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, Morgan Deters |
Expressive completeness of separation logic with two variables and no separating conjunction. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Marie Pédrot |
A functional functional interpretation. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Noémie Meunier, Jean-François Raskin |
Secure equilibria in weighted games. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher |
Understanding biology through logic. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Clemens Dubslaff, Sascha Klüppelholz |
Trade-off analysis meets probabilistic model checking. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license