Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
Polynomial Invariants for Affine Programs. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hahn 0001, Andreas Krebs, Howard Straubing |
Wreath Products of Distributive Forest Algebras. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Chen, Moritz Müller, Keita Yokoyama |
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary |
Strong Sums in Focused Logic. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous, Valeria Vignudelli |
Allegories: decidability and graph homomorphisms. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pawel M. Idziak, Jacek Krzaczkowski |
Satisfiability in multi-valued circuits. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Sterling, Robert Harper 0001 |
Guarded Computational Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
Rational Synthesis Under Imperfect Information. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Noam Zeilberger |
A theory of linear typings as flows on 3-valent graphs. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Clovis Eberhart, Tom Hirschowitz |
What's in a game?: A theory of game models. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna |
Regular Transducer Expressions for Regular Transformations. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk |
Parameterized circuit complexity of model-checking on sparse structures. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mark Bickford, Liron Cohen 0001, Robert L. Constable, Vincent Rahli |
Computability Beyond Church-Turing via Choice Sequences. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laure Daviaud, Marcin Jurdzinski, Ranko Lazic 0001 |
A pseudo-quasi-polynomial algorithm for mean-payoff parity games. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic |
Sound up-to techniques and Complete abstract domains. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Karoliina Lehtinen |
A modal μ perspective on solving parity games in quasi-polynomial time. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Laurent 0001 |
Around Classical and Intuitionistic Linear Logics. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel |
The concurrent game semantics of Probabilistic PCF. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nicolai Kraus, Thorsten Altenkirch |
Free Higher Groups in Homotopy Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff |
Syntax and Semantics for Operations with Scopes. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Durand 0001, Anselm Haak, Heribert Vollmer |
Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer, Yong Kiam Tan |
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Erich Grädel (eds.) |
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Ribbon Tensorial Logic. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Monin |
An answer to the Gamma question. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Blot, Jim Laird |
Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow |
The State Complexity of Alternating Automata. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong |
Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Nathalie Bertrand 0001, Clemens Dubslaff, Daniel Gburek, Ocan Sankur |
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey |
Syntax and Semantics of Quantitative Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Martin Grohe, Michal Pilipczuk |
Definable decompositions for graphs of bounded linear cliquewidth. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin |
Computable decision making on the reals and other spaces: via partiality and nondeterminism. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
Eager Functions as Processes. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Buchholtz, Floris van Doorn, Egbert Rijke |
Higher Groups in Homotopy Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Koko Muroya, Steven W. T. Cheung, Dan R. Ghica |
The Geometry of Computation-Graph Abstraction. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Danielski, Emanuel Kieronski |
Unary negation fragment with equivalence relations has the finite model property. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Szymon Torunczyk |
On computability and tractability for infinite sets. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn |
Compositional Game Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias, Joanna Ochremiak |
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Miquey |
A sequent calculus with dependent types for classical arithmetic. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç |
A Theory of Register Monitors. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Leventis |
Probabilistic Böhm Trees and Probabilistic Separation. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Guatto |
A Generalized Modality for Recursion. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Blaise Genest, Nikhil Vyas 0001 |
Distribution-based objectives for Markov Decision Processes. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang |
Two complete axiomatisations of pure-state qubit quantum computing. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès, Léo Stefanesco |
An Asynchronous Soundness Theorem for Concurrent Separation Logic. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antti Kuusisto, Carsten Lutz |
Weighted model counting beyond two-variable logic. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georg Zetzsche |
Separability by piecewise testable languages and downward closures beyond subwords. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marie Kerjean |
A Logical Account for Linear Partial Differential Equations. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand, Simon Huber, Anders Mörtberg |
On Higher Inductive Types in Cubical Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Gavazzo |
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luc Dartois, Emmanuel Filiot, Nathan Lhote |
Logics for Word Transductions with Synthesis. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk |
On the number of types in sparse graphs. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Jan Kretínský, Salomon Sickert |
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rose Bohrer, André Platzer |
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sean K. Moss, Tamara von Glehn |
Dialectica models of type theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demangeon, Nobuko Yoshida |
Causal Computational Complexity of Distributed Processes. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yoji Nanjo, Hiroshi Unno 0001, Eric Koskinen, Tachio Terauchi |
A Fixpoint Logic and Dependent Effects for Temporal Property Verification. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Yariv Shaulian |
Automaton-Based Criteria for Membership in CTL. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Raphaëlle Crubillé |
Probabilistic Stable Functions on Discrete Cones are Power Series. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Marie Pédrot, Nicolas Tabareau |
An effectful way to eliminate addiction to dependence. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Anca Muscholl, Igor Walukiewicz |
Static analysis of deterministic negotiations. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Slawomir Lasota 0001, Ranko Lazic 0001, Filip Mazowiecki |
Timed pushdown automata and branching vector addition systems. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine |
LICS 2017 foreword. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Jeandel |
Enumeration reducibility in closure spaces with applications to logic and algebra. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Place, Marc Zeitoun |
Separation for dot-depth two. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Hoyrup, Walid Gomaa 0001 |
On the extension of computable real functions. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Higher-order parity automata. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Dudenhefner, Jakob Rehof |
Typability in bounded dimension. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Voigt |
A fine-grained hierarchy of hard problems in the separated fragment. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Lucien Kaminski, Joost-Pieter Katoen |
A weakest pre-expectation semantics for mixed-sign expectations. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dusko Pavlovic, Peter-Michael Seidel |
Quotients in monadic programming: Projective algebras are equivalent to coalgebras. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand, Bassel Mannaa, Fabian Ruch |
Stack semantics of type theory. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton |
A monad for full ground reference cells. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johan Thapper, Stanislav Zivný |
The limits of SDP relaxations for general-valued CSPs. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eric Finster, Samuel Mimram |
A type-theoretical definition of weak ω-categories. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | C.-H. Luke Ong |
Quantitative semantics of the lambda calculus: Some generalisations of the relational model. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong |
Generalised species of rigid resource terms. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Iddo Tzameret, Stephen A. Cook |
Uniform, integral and efficient proofs for the determinant identities. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Mio, Robert Furber, Radu Mardare |
Riesz Modal logic for Markov processes. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Fabian Meier, Andrei Popescu 0001, Dmitriy Traytel |
Foundational nonuniform (Co)datatypes for higher-order logic. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Christoph Haase |
Logics for continuous reachability in Petri nets and vector addition systems with states. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez 0001, Jean-François Raskin |
On delay and regret determinization of max-plus automata. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich 0001, Sebastian Siebertz |
Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Berardi, Makoto Tatsuta |
Equivalence of inductive definitions and cyclic proofs under arithmetic. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Corina S. Pasareanu |
Symbolic execution and probabilistic reasoning. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
Strategy logic with imperfect information. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Venanzio Capretta, Jonathan Fowler |
The continuity of monadic stream functions. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michal Wrona |
The complexity of minimal inference problem for conservative constraint languages. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Natsuki Urabe, Masaki Hara, Ichiro Hasuo |
Categorical liveness checking by corecursive algebras. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Felix Canavoi, Martin Otto 0001 |
Common knowledge and multi-scale locality analysis in Cayley structures. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florent Capelli |
Understanding the complexity of #SAT using knowledge compilation. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Timothy Duff, Aditya Sharad, James Worrell 0001 |
Polynomial automata: Zeroness and applications. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hubie Chen, Stefan Mengel |
The logic of counting query answers. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bahareh Afshari, Graham E. Leigh |
Cut-free completeness for modal mu-calculus. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schröder 0001, Florian Steinberg 0001 |
Bounded time computation on metric spaces and Banach spaces. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
On the axiomatizability of quantitative algebras. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Zimmermann 0002 |
Games with costs and delays. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|