Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marcin Jurdzinski, Ranko Lazic 0001 |
Succinct progress measures for solving parity games. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Hofman, Jérôme Leroux, Patrick Totzke |
Linear combinations of unordered data vectors. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Ondrej Lengál, Tony Tan, Zhilin Wu |
Register automata with linear arithmetic. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 |
LICS |
2017 |
DBLP BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Fabio Gadducci |
Domains and event structures for fusions. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Verification of randomized security protocols. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Libor Barto, Michael Kompatscher, Miroslav Olsák, Trung Van Pham, Michael Pinsker |
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Cadilhac, Charles Paperman |
A crevice on the Crane Beach: Finite-degree predicates. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Vial |
Infinitary intersection types as sequences: A new answer to Klop's problem. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet |
Logic and regular cost functions. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mai Gehrke, Daniela Petrisan, Luca Reggio |
Quantifiers on languages and codensity monads. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe, Martin Ritzert |
Learning first-order definable concepts over structures of small degree. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak |
MDPs with energy-parity objectives. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Slawomir Lasota 0001 |
Regular separability of one counter automata. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Berit Grußien |
Capturing polynomial time using Modular Decomposition. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amina Doumane |
Constructive completeness for the linear-time μ-calculus. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg |
The clocks are ticking: No more delays! |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt |
Fully abstract encodings of λ-calculus in HOcore through abstract machines. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Federico Aschieri, Agata Ciabattoni, Francesco A. Genco |
Gödel logic: From natural deduction to parallel computation. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer |
The Weisfeiler-Leman dimension of planar graphs is at most 3. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Jérémy Ledent |
A cartesian-closed category for higher-order model checking. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
Parity objectives in countable MDPs. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bakh Khoussainov, Toru Takisaka |
Large scale geometries of infinite strings. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht |
The primitivity of operators in the algebra of binary relations under conjunctions of containments. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aleks Kissinger, Sander Uijlen |
A categorical semantics for causal structure. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Buchholtz, Egbert Rijke |
The real projective spaces in homotopy type theory. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | André Hernich, Phokion G. Kolaitis |
Foundations of information integration under bag semantics. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
Unrestricted stone duality for Markov processes. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Pengming Wang 0001 |
Definability of semidefinite programming and lasserre lower bounds for CSPs. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Blot |
An interpretation of system F through bar recursion. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy |
Effectful applicative bisimilarity: Monads, relators, and Howe's method. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang |
A convenient category for higher-order probability theory. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Bar, Jamie Vicary |
Data structures for quasistrict higher categories. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dietrich Kuske, Nicole Schweikardt |
First-order logic with counting. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu |
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Romero 0001, Pablo Barceló, Moshe Y. Vardi |
The homomorphism problem for regular graph patterns. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Arenas, Martin Muñoz, Cristian Riveros |
Descriptive Complexity for counting complexity classes. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kousha Etessami |
Algorithms for some infinite-state MDPs and stochastic games. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Nakamura 0001 |
Partial derivatives on graphs for Kleene allegories. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Rahli, Mark Bickford, Robert L. Constable |
Bar induction: The good, the bad, and the ugly. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Taichi Uemura |
Fibred fibration categories. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Karin Quaas, Mahsa Shirmohammadi, James Worrell 0001 |
Revisiting reachability in timed automata. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | G. A. Kavvos |
Dual-context calculi for modal logic. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Cécé |
Foundation for a series of efficient simulation algorithms. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe, Wied Pakusa |
Descriptive complexity of linear equation systems and applications to propositional proof complexity. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Haase, Stefan Kiefer, Markus Lohrey |
Computing quantiles in Markov chains with multi-dimensional costs. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simone Bova, Fabio Mogavero |
Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cervelle, Grégory Lafitte |
On shift-invariant maximal filters and hormonal cellular automata. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Halfon, Philippe Schnoebelen, Georg Zetzsche |
Decidability, complexity, and expressiveness of first-order logic over the subword ordering. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Anuj Dawar, Pengming Wang 0001 |
The pebbling comonad in Finite Model Theory. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Faried Abu Zaid, Anuj Dawar, Erich Grädel, Wied Pakusa |
Definability of summation problems for Abelian groups and semigroups. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
On strong determinacy of countable stochastic games. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov |
Constraint satisfaction problems over semilattice block Mal'tsev algebras. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
Untwisting two-way transducers in elementary time. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Marcin Jurdzinski, Ranko Lazic 0001, Sylvain Schmitz |
Perfect half space games. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat, Mehrdad Maleki |
Differentiation in logical form. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek |
Lean and full congruence formats for recursion. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot |
Two-Way Visibly Pushdown Automata and Transducers. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen |
Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001 |
Solvability of Matrix-Exponential Equations. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous |
Coinduction All the Way Up. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Powell 0001 |
Gödel's functional interpretation and the concept of learning. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
Quantitative Automata under Probabilistic Semantics. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Sturm 0001, Marco Voigt, Christoph Weidenbach |
Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
Fixed Points In Quantitative Semantics. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis |
Querying Visible and Invisible Information. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Michal Pilipczuk |
Definability equals recognizability for graphs of bounded treewidth. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Englert, Ranko Lazic 0001, Patrick Totzke |
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Blot |
Hybrid realizability for intuitionistic and classical choice. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Loris D'Antoni, Margus Veanes |
Minimization of Symbolic Tree Automata. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Antoine Mottet |
Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen |
The Probabilistic Model Checking Landscape. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Pattinson, Lutz Schröder |
Program Equivalence is Coinductive. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Proving Differential Privacy via Probabilistic Couplings. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Iosif Petrakis |
A constructive function-theoretic approach to topological compactness. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Das 0002 |
From positive and intuitionistic bounded arithmetic to monotone proof complexity. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ross Duncan, Kevin Dunne |
Interacting Frobenius Algebras are Hopf. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steen Vester |
Winning Cores in Parity Games. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs 0001 |
Healthiness from Duality. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Kozik |
Weak consistency notions for all the CSPs of bounded width. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
Two-variable Logic with a Between Relation. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alan Jeffrey, James Riely |
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine |
A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin |
Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Daniel Lokshtanov, M. S. Ramanujan 0001 |
A New Perspective on FO Model Checking of Dense Graph Classes. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau |
The Definitional Side of the Forcing. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Stanislav Zivný |
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi |
Rewriting modulo symmetric monoidal structure. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takeo Uramoto |
Semi-galois Categories I: The Classical Eilenberg Variety Theory. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antonino Salibra, Giulio Manzonetto, Giordano Favro |
Factor Varieties and Symbolic Computation. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot |
A Generalised Twinning Property for Minimisation of Cost Register Automata. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alex Galicki |
Effective Brenier Theorem: Applications to Computable Analysis and Algorithmic Randomness. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès, Noam Zeilberger |
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Akitoshi Kawamura, Florian Steinberg 0001, Martin Ziegler 0001 |
Complexity Theory of (Functions on) Compact Metric Spaces. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Stefan Göller |
Games with bound guess actions. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Aleksander Kolodziejczyk, Henryk Michalewski |
How unprovable is Rabin's decidability theorem? |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
Data Communicating Processes with Unreliable Channels. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ghilardi, Sam van Gool |
Monadic second order logic as the model companion of temporal logic. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr, Vincent Danos, Ilias Garnier |
Stochastic mechanics of graph rewriting. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Rob J. van Glabbeek |
Divide and Congruence II: Delay and Weak Bisimilarity. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|