The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "LICS"( http://dblp.L3S.de/Venues/LICS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/lics

Publication years (Num. hits)
1986 (43) 1987 (38) 1988 (44) 1989 (42) 1990 (47) 1991 (41) 1992 (45) 1993 (44) 1994 (54) 1995 (49) 1996 (50) 1997 (40) 1998 (48) 1999 (47) 2000 (40) 2001 (43) 2002 (42) 2003 (40) 2004 (47) 2005 (56) 2006 (48) 2007 (45) 2008 (43) 2009 (44) 2010 (47) 2011 (44) 2012 (67) 2013 (63) 2015 (67) 2016 (90) 2017 (95) 2018 (96)
Publication types (Num. hits)
inproceedings(1617) proceedings(32)
Venues (Conferences, Journals, ...)
LICS(1649)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 356 occurrences of 217 keywords

Results
Found 1649 publication records. Showing 1649 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Étienne Miquey A sequent calculus with dependent types for classical arithmetic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell 0001 Polynomial Invariants for Affine Programs. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sean K. Moss, Tamara von Glehn Dialectica models of type theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný 0001, Dominik Velan, Florian Zuleger Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luc Dartois, Emmanuel Filiot, Nathan Lhote Logics for Word Transductions with Synthesis. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Kretínský, Tobias Meggendorfer Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin Computable decision making on the reals and other spaces: via partiality and nondeterminism. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic Sound up-to techniques and Complete abstract domains. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Noam Zeilberger A theory of linear typings as flows on 3-valent graphs. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Leventis Probabilistic Böhm Trees and Probabilistic Separation. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana Scott Boolean-Valued Semantics for the Stochastic λ-Calculus. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff Syntax and Semantics for Operations with Scopes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Takeshi 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. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego Figueira, M. Praveen Playing with Repetitions in Data Words Using Energy Games. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikolaj Bojanczyk, Martin Grohe, Michal Pilipczuk Definable decompositions for graphs of bounded linear cliquewidth. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ulrik Buchholtz, Floris van Doorn, Egbert Rijke Higher Groups in Homotopy Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul-André Melliès, Léo Stefanesco An Asynchronous Soundness Theorem for Concurrent Separation Logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dominic J. D. Hughes Unification nets: canonical proof net quantifiers. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç A Theory of Register Monitors. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nadish de Silva Logical paradoxes in quantum computation. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu Quasi-Open Bisimilarity with Mismatch is Intuitionistic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikolaj Bojanczyk, Szymon Torunczyk On computability and tractability for infinite sets. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn Compositional Game Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Brandon Bohrer, André Platzer A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin Rational Synthesis Under Imperfect Information. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1S. Akshay, Blaise Genest, Nikhil Vyas 0001 Distribution-based objectives for Markov Decision Processes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laure Daviaud, Marcin Jurdzinski, Ranko Lazic A pseudo-quasi-polynomial algorithm for mean-payoff parity games. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mark Bickford, Liron Cohen 0001, Robert L. Constable, Vincent Rahli Computability Beyond Church-Turing via Choice Sequences. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Danielski, Emanuel Kieronski Unary negation fragment with equivalence relations has the finite model property. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yijia Chen, Moritz Müller, Keita Yokoyama A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin An Algebraic Theory of Markov Processes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Valentin Blot, Jim Laird Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Karoliina Lehtinen A modal μ perspective on solving parity games in quasi-polynomial time. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pawel M. Idziak, Jacek Krzaczkowski Satisfiability in multi-valued circuits. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Powell A functional interpretation with state. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Pradic, Colin Riba LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marie Kerjean A Logical Account for Linear Partial Differential Equations. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Olivier Laurent Around Classical and Intuitionistic Linear Logics. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolai Kraus, Thorsten Altenkirch Free Higher Groups in Homotopy Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul-André Melliès Ribbon Tensorial Logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dan Frumin, Robbert Krebbers, Lars Birkedal ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthias Niewerth MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk On the number of types in sparse graphs. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Vial Every λ-Term is Meaningful for the Infinitary Relational Model. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kristina Sojakova, Patricia Johann A General Framework for Relational Parametricity. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joël D. Allred, Ulrich Ultes-Nitsche A Simple and Optimal Complementation Algorithm for Büchi Automata. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Hernán C. Melgratti, Ugo Montanari Concurrency and Probability: Removing Confusion, Compositionally. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steve Awodey, Jonas Frey, Sam Speight Impredicative Encodings of (Higher) Inductive Types. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André Platzer, Yong Kiam Tan Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matteo Mio Riesz Modal Logic with Threshold Operators. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský, Salomon Sickert One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thierry Coquand, Simon Huber, Anders Mörtberg On Higher Inductive Types in Cubical Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi Sequential Relational Decomposition. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christel Baier, Nathalie Bertrand 0001, Clemens Dubslaff, Daniel Gburek, Ocan Sankur Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anuj 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 Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Continuous Reasoning: Scaling the impact of formal methods. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Nuyts, Dominique Devriese Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Geoffroy Classical realizability as a classifier for nondeterminism. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yijia Chen, Jörg Flum Tree-depth, quantifier elimination, and quantifier rank. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Udi Boker, Yariv Shaulian Automaton-Based Criteria for Membership in CTL. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bruce M. Kapron, Florian Steinberg Type-two polynomial-time and restricted lookahead. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Albert Atserias, Joanna Ochremiak Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Georg Zetzsche Separability by piecewise testable languages and downward closures beyond subwords. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel The concurrent game semantics of Probabilistic PCF. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk Parameterized circuit complexity of model-checking on sparse structures. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna Regular Transducer Expressions for Regular Transformations. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Romain Demangeon, Nobuko Yoshida Causal Computational Complexity of Distributed Processes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Hahn 0001, Andreas Krebs, Howard Straubing Wreath Products of Distributive Forest Algebras. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ankush Das, Jan Hoffmann 0002, Frank Pfenning Work Analysis with Resource-Aware Session Types. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang Two complete axiomatisations of pure-state qubit quantum computing. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna Regular and First-Order List Functions. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi Eager Functions as Processes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König 0001 A van Benthem Theorem for Fuzzy Modal Logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Karl Crary Strong Sums in Focused Logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yoji Nanjo, Hiroshi Unno 0001, Eric Koskinen, Tachio Terauchi A Fixpoint Logic and Dependent Effects for Temporal Property Verification. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera Black Ninjas in the Dark: Formal Analysis of Population Protocols. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonathan Sterling, Robert Harper 0001 Guarded Computational Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi Rewriting with Frobenius. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Clovis Eberhart, Tom Hirschowitz What's in a game?: A theory of game models. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ulrik Buchholtz, Kuen-Bang Hou (Favonia) Cellular Cohomology in Homotopy Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thierry Coquand Inner Models of Univalence. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrien Guatto A Generalized Modality for Recursion. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Damien Pous, Valeria Vignudelli Allegories: decidability and graph homomorphisms. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Koko Muroya, Steven W. T. Cheung, Dan R. Ghica The Geometry of Computation-Graph Abstraction. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Anselm Haak, Heribert Vollmer Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Gavazzo Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert Atkey Syntax and Semantics of Quantitative Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raphaëlle Crubillé Probabilistic Stable Functions on Discrete Cones are Power Series. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antti Kuusisto, Carsten Lutz Weighted model counting beyond two-variable logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benoit Monin An answer to the Gamma question. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nathanaël Fijalkow The State Complexity of Alternating Automata. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak MDPs with energy-parity objectives. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Andrea Corradini, Fabio Gadducci Domains and event structures for fusions. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lorenzo Clemente, Slawomir Lasota, Ranko Lazic, Filip Mazowiecki Timed pushdown automata and branching vector addition systems. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1G. A. Kavvos Dual-context calculi for modal logic. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1649 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license