Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rasmus Ejlers Møgelberg, Marco Paviotti |
Denotational semantics of recursive types in synthetic guarded domain theory. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Carayol, Christof Löding, Olivier Serre |
Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bakh Khoussainov |
Quantifier Free Definability on Infinite Algebras. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Kiefer, Pascal Schweitzer |
Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Berkholz, Jakob Nordström |
Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, Robert M. Hierons |
Decidability and Complexity for Quiescent Consistency. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eryk Kopczynski |
Invisible Pushdown Languages. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chuck C. Liang |
Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz |
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brendan Fong, Pawel Sobocinski 0001, Paolo Rapisarda |
A categorical approach to open and interconnected dynamical systems. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Zeume, Frederik Harwath |
Order-Invariance of Two-Variable Logic is Decidable. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Ján Pich |
Understanding Gentzen and Frege Systems for QBF. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov |
Graphs of relational structures: restricted types. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer |
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Souymodip Chakraborty, Joost-Pieter Katoen |
On the Satisfiability of Some Simple Probabilistic Logics. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar |
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001 |
Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tuomo Lempiäinen |
Ability to Count Messages Is Worth Θ(Δ) Rounds in Distributed Computing. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kiefer, A. Prasad Sistla |
Distinguishing Hidden Markov Chains. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Viorel Preoteasa, Stavros Tripakis |
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Seiller |
Interaction Graphs: Full Linear Logic. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira |
Semantically Acyclic Conjunctive Queries under Functional Dependencies. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dominic J. D. Hughes, Willem Heijltjes |
Conflict nets: Efficient locally canonical MALL proof nets. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
Reasoning about Recursive Probabilistic Programs. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Herlihy, Mark Moir |
Blockchains and the Logic of Accountability: Keynote Address. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mai Gehrke |
Duality in Computer Science. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Elberfeld, Marlin Frickenschmidt, Martin Grohe |
Order Invariance on Decomposable Structures. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele D'Osualdo, Roland Meyer 0001, Georg Zetzsche |
First-order logic with reachability for infinite-state systems. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sarah M. Loos, André Platzer |
Differential Refinement Logic. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom |
A Step Up in Expressiveness of Decidable Fixpoint Logics. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ranko Lazic 0001, Sylvain Schmitz |
The Complexity of Coverability in ν-Petri Nets. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago |
Infinitary Lambda Calculi from a Linear Perspective. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ventsislav Chonev, Joël Ouaknine, James Worrell 0001 |
On Recurrent Reachability for Continuous Linear Dynamical Systems. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Damiano Mazza |
Church Meets Cook and Levin. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
Quantitative Algebraic Reasoning. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
Proving Liveness of Parameterized Programs. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt |
Hanf normal form for first-order logic with unary counting quantifiers. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pedro M. Domingos, Daniel Lowd, Stanley Kok, Aniruddh Nath, Hoifung Poon, Matthew Richardson, Parag Singla |
Unifying Logical and Statistical AI. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Tsukada, C.-H. Luke Ong |
Plays as Resource Terms via Non-idempotent Intersection Types. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Olivier Gauwin, Nathan Lhote |
First-order definability of rational transductions: An algebraic approach. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Dmitry Chistikov 0001, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche |
The complexity of regular abstractions of one-counter languages. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Jaber, Nikos Tzevelekos |
Trace semantics for polymorphic references. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Libor Barto, Michael Pinsker |
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henning Basold, Herman Geuvers |
Type Theory based on Dependent Inductive and Coinductive Types. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe, Eric Koskinen, Natarajan Shankar (eds.) |
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicolai Kraus |
Constructions with Non-Recursive Higher Inductive Types. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Felix Canavoi, Erich Grädel, Simon Leßenich, Wied Pakusa |
Defining Winning Strategies in Fixed-Point Logic. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Pierre Clairambault, Glynn Winskel |
The Parallel Intensionally Fully Abstract Games Model of PCF. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Xin Li |
Automata-Based Abstraction Refinement for µHORS Model Checking. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera 0001, Petr Novotný 0001 |
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raphaëlle Crubillé, Ugo Dal Lago |
Metric Reasoning about λ-Terms: The Affine Case. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arno Pauly, Matthew de Brecht |
Descriptive Set Theory in the Category of Represented Spaces. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Amarilli, Michael Benedikt |
Finite Open-World Query Answering with Number Restrictions. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, Oleg Verbitsky 0001 |
Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Balder ten Cate, Michael Vanden Boom |
Interpolation with Decidable Fixpoint Logics. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Maillard, Paul-André Melliès |
A Fibrational Account of Local States. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer Hackett, Graham Hutton |
Programs for Cheap! |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii |
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
Bisimilarity in Fresh-Register Automata. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk |
Star Height via Games. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Catarina Carvalho, Florent R. Madelaine, Barnaby Martin |
From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amar Hadzihasanovic |
A Diagrammatic Axiomatisation for Qubit Entanglement. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
Extending ALCQIO with Trees. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Slawomir Lasota 0001 |
Timed Pushdown Automata Revisited. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Willem Heijltjes, Dominic J. D. Hughes |
Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Regularity Preserving but Not Reflecting Encodings. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Jean-François Raskin |
Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Beckmann, Norbert Preining |
Hyper Natural Deduction. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom |
The Complexity of Boundedness for Guarded Logics. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Reiter |
Distributed Graph Automata. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Petr Jancar |
Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Smith 0001 |
Recent Developments in Quantitative Information Flow (Invited Tutorial). |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu |
Parallelism and Synchronization in an Infinitary Context. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky |
Feedback Turing Computability, and Turing Computability as Feedback. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Tsukada, C.-H. Luke Ong |
Nondeterminism in Game Semantics via Sheaves. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Monin, André Nies |
A Unifying Approach to the Gamma Question. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Das 0002, Colin Riba |
A Complete Axiomatization of MSO on Infinite Trees. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Claudio Sacerdoti Coen |
On the Relative Usefulness of Fireballs. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kifer |
Privacy and the Price of Data. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk |
Locally Finite Constraint Satisfaction Problems. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Thomas A. Henzinger, Jan Otop |
The Target Discounted-Sum Problem. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015 |
LICS |
2015 |
DBLP BibTeX RDF |
|
1 | Matthias Baaz, Alexander Leitsch, Giselle Reis |
A Note on the Complexity of Classical and Intuitionistic Proofs. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Facundo Carreiro |
PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Place |
Separating Regular Languages with Two Quantifiers Alternations. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen, Bert Lindenhovius |
Domains of Commutative C-Subalgebras. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat |
Extensions of Domain Maps in Differential and Integral Calculus. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias, José L. Balcázar |
Entailment among Probabilistic Implications. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Víctor Dalmau, László Egri, Pavol Hell, Benoît Larose, Arash Rafiey |
Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel, Wied Pakusa, Svenja Schalthöfer, Lukasz Kaiser |
Characterising Choiceless Polynomial Time with First-Order Interpretations. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Zuzana Komárková, Jan Kretínský |
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Carayol, Olivier Serre |
How Good Is a Strategy in a Game with Nature? |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, David Pearce 0001 |
On the Complexity of Temporal Equilibrium Logic. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tim Disney, Cormac Flanagan |
Game Semantics for Type Soundness. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Pitts |
Names and Symmetry in Computer Science (Invited Tutorial). |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius |
Varieties of Languages in a Category. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luke Ong |
Higher-Order Model Checking: An Overview. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chaodong He, Mingzhang Huang |
Branching Bisimilarity on Normed BPA Is EXPTIME-Complete. |
LICS |
2015 |
DBLP DOI BibTeX RDF |
|