Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König 0001 |
Graded Monads and Behavioural Equivalence Games. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
A Functorial Excursion Between Algebraic Geometry and Linear Logic. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Remi Delannoy, Kuldeep S. Meel |
On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume |
The Regular Languages of First-Order Logic with One Alternation. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |
Curry and Howard Meet Borel. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira, Anthony Widjaja Lin |
Reasoning on Data Words over Numeric Domains. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl, Igor Walukiewicz |
Active learning for sound negotiations✱. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Partitions and Ewens Distributions in element-free Probability Theory. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Doyen 0001 |
Stochastic Games with Synchronizing Objectives. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch |
Deciding Hyperproperties Combined with Functional Specifications. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Kupke, Johannes Marti, Yde Venema |
Size measures and alphabetic equivalence in the μ-calculus. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Gajarský, Michal Pilipczuk, Szymon Torunczyk |
Stable graphs of bounded twin-width. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek |
Varieties of Quantitative Algebras and Their Monads. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Filip Mazowiecki, Philip Offtermatt |
The complexity of soundness in workflow nets. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli |
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Dana Fisman (eds.) |
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022 |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev |
Quantum Expectation Transformers for Cost Analysis. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Richard Lipton 0001, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell 0001 |
On the Skolem Problem and the Skolem Conjecture. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin |
Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell 0001 |
Identity Testing for Radical Expressions. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ilario Bonacina, Maria Luisa Bonet |
On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski |
Complexity of Modular Circuits. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Davide Barbarossa |
Resource approximation for the λμ-calculus. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema |
Temporal Team Semantics Revisited. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gratzer |
Normalization for Multimodal Type Theory. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Place |
The amazing mixed polynomial closure and its applications to two-variable first-order logic. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Ahrens, Paige Randall North, Niels van der Weide |
Semantics for two-dimensional type theory. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Lukasz Orlikowski |
Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan |
Computable PAC Learning of Continuous Features. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | R. Govind 0001, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk |
Transducers of polynomial growth. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jan Dreier, Jakub Gajarský, Sandra Kiefer, Michal Pilipczuk, Szymon Torunczyk |
Treelike Decompositions for Transductions of Sparse Graphs. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eric Finster, David Reutter, Jamie Vicary, Alex Rice |
A Type Theory for Strictly Unital ∞-Categories. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alex Dixon, Ranko Lazic 0001, Andrzej S. Murawski, Igor Walukiewicz |
Verifying higher-order concurrency with data automata. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Sterling, Carlo Angiuli |
Normalization for Cubical Type Theory. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Hofman, Marta Juzepczuk, Slawomir Lasota 0001, Mohnish Pattathurajan |
Parikh's theorem for infinite alphabets. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Adriano Peron, César Sánchez 0001 |
Asynchronous Extensions of HyperLTL. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | R. Ryan Williams |
Complexity Lower Bounds from Algorithm Design. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xinxin Liu 0009, Tingting Yu |
A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Liron Cohen 0001, Étienne Miquey, Ross Tate |
Evidenced Frames: A Unifying Framework Broadening Realizability Models. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elisabet Burjons, Fabian Frei, Martin Raszyk |
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan |
Towards a more efficient approach for the satisfiability of two-variable logic. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman |
Categories of Nets. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos |
Parameterized Complexity of Elimination Distance to First-Order Logic Properties. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Dudenhefner |
The Undecidability of System F Typability and Type Checking for Reductionists. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jim de Groot, Tadeusz Litak, Dirk Pattinson |
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, N. Ege Saraç |
Quantitative and Approximate Monitoring. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Chen, Jörg Flum |
Forbidden Induced Subgraphs and the Łoś-Tarski Theorem. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolai Kraus |
Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts |
Universal Semantics for the Stochastic λ-Calculus. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
Fixed-Points for Quantitative Equational Logics. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Tomas Jakl, Luca Reggio |
Lovász-Type Theorems and Game Comonads. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Robin Hirsch, Jas Semrl |
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu |
Combinatorial Proofs and Decomposition Theorems for First-order Logic. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dmitriy Zhuk |
No-Rainbow Problem and the Surjective Constraint Satisfaction Problem. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Todd Waugh Ambridge |
Global Optimisation with Constructive Reals. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barenbaum, Teodoro Freund |
A Constructive Logic with Classical Proofs and Refutations. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Capriotti, Nils Anders Danielsson, Andrea Vezzosi |
Higher Lenses. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Kenyon-Roberts, C.-H. Luke Ong |
Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amaldev Manuel, Dhruv Nevatia |
An Algebraic Characterisation of First-Order Logic with Neighbour. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Gavazzo, Claudia Faggian |
A Relational Theory of Monadic Rewriting Systems, Part I. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil |
Symbolic Time and Space Tradeoffs for Probabilistic Verification. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner |
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Moeneclaey |
Parametricity and Semi-Cubical Types. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas 0001 |
Multi-Structural Games and Number of Quantifiers. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe |
The Logic of Graph Neural Networks. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi |
Abstraction in Data Integration. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque |
The Topological Mu-Calculus: completeness and decidability. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chase Ford, Stefan Milius, Lutz Schröder |
Behavioural Preorders via Graded Monads. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo |
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen |
Strong Call-by-Value is Reasonable, Implosively. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu |
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luc Dartois, Paul Gastin, Shankara Narayanan Krishna |
SD-Regular Transducer Expressions for Aperiodic Transformations. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Florian Luca, Joël Ouaknine, James Worrell 0001 |
Universal Skolem Sets. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
From Multisets over Distributions to Distributions over Multisets. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Martín Diéguez, David Fernández-Duque |
Some constructive variants of S4 with the finite model property. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | A. R. Balasubramanian, Timo Lang, Revantha Ramanayake |
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tuomas Hakoniemi |
Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman |
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amar Hadzihasanovic |
The Smash Product of Monoidal Theories. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Corto Mascle, Christel Baier, Florian Funke 0002, Simon Jantsch, Stefan Kiefer |
Responsibility and verification: Importance value in temporal logics. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nuria Brede, Hugo Herbelin |
On the logical structure of choice and bar induction principles. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Jaber, Andrzej S. Murawski |
Compositional relational reasoning via operational game semantics. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
A distributed operational view of Reversible Prime Event Structures. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pistone |
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Titouan Carette, Marc de Visme, Simon Perdrix |
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva 0001 |
A Bunched Logic for Conditional Independence. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Preey Shah, Aman Bansal, S. Akshay 0001, Supratik Chakraborty |
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
A Logic for Locally Complete Abstract Interpretations. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Gordon D. Plotkin |
Smart Choices and the Selection Monad. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dario Stein, Sam Staton |
Compositional Semantics for Probabilistic Programs with Exact Conditioning. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez 0001 |
Continuous One-Counter Automata. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Finster, Antoine Allioux, Matthieu Sozeau |
Types Are Internal ∞-Groupoids. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Libor Barto, William J. DeMeo, Antoine Mottet |
Constraint Satisfaction Problems over Finite Structures. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Fernandes, Annabelle McIver, Carroll Morgan |
The Laplace Mechanism has optimal utility for differential privacy over continuous queries. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
The Space of Interaction. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021 |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek, Peter Höfner, Ross Horne |
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Dan Marsden |
Comonadic semantics for guarded fragments. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|