IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Papers and Short Presentations by Authors: K
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Detlef Kähler
Vineet Kahlon
David M. Kahn
Lukasz Kaiser
Benjamin Lucien Kaminski
Ohad Kammar
Paris C. Kanellakis
Max I. Kanovich
Eric Jui-Yi Kao
Ambrus Kaposi
Bruce M. Kapron
Kapron
Deepak Kapur
Amin Karamlou
Toghrul Karimov
Nadira Karimova
Martti Karvonen
Robert T. Kasper
Nadim Kasymov
Joost-Pieter Katoen
Shin-ya Katsumata
Shmuel Katz
G. A. Kavvos
Piotr Kawalek
Akitoshi Kawamura
Ken-ichi Kawarabayashi
Yevgeny Kazakov
Alexandr Kazda
Klaus Keimel
Chantal Keller
Edon Kelmendi
Andrew Kenyon-Roberts
Marie Kerjean
Marie Morgane Kerjean
Eren Keskin
Delia Kesner
Diana Kessler
Yonit Kesten
Assaf J. Kfoury
Sanjeev Khanna
Bakh Khoussainov
Bakhadyr Khoussainov
Stefan Kiefer
Sandra Kiefer
Emanuel Kieronski
Michael Kifer
Daniel Kifer
Stanislav Kikot
Ho Weng Kin
Zachary Kincaid
Claude Kirchner
Iluju Kiringa
Lefteris M. Kirousis
Dominik Kirst
Oleg Kiselyov
Kohei Kishida
Emil Kiss
Aleks Kissinger
Felix Klaedtke
Nils Klarlund
Francis Klay
Joachim Klein
Bartek Klin
Jan Willem Klop
Sascha Klüppelholz
Simon Knäuer
Roman Kniazev
Todd B. Knoblock
Søren Brinck Knudstorp
Hai-Ping Ko
Hiroki Kobayashi
Naoki Kobayashi
Christoph Koch
Jérémie Koenig
Barbara König
Eugene E. Kohlbecker
Ulrich Kohlenbach
Phokion G. Kolaitis
Daphne Koller
Decidability Leszek Aleksander Kolodziejczyk
Antonina Kolokolova
Zuzana Komárková
Yuichi Komorida
Michael Kompatscher
Anvesh Komuravelli
Barbara König
Beata Konikowska
Roman Kontchakov
Juha Kontinen
Eryk Kopczynski
Eryk Kopczyński
Alexei P. Kopylov
Mayuko Kori
Konstantin Korovin
Eric Koskinen
Egor V. Kostylev
Tomer Kotek
Michal Koucký
Emmanuel Kounalis
Vasileios Koutavas
Adrien Koutsos
András Kovács
Dexter C. Kozen
Dexter Kozen
Marcin Kozik
Simon Kramer
Nicolai Kraus
Robbert Krebbers
Andreas Krebs
Steve Kremer
Jan Kretínský
Jan Kretínský
Stephan Kreutzer
Saul A. Kripke
Shankara Narayanan Krishna
Neelakantan R. Krishnaswami
Magnus Baunsgaard Kristensen
Jean-Louis Krivine
Jean Krivine
Andrei A. Krokhin
Jacek Krzaczkowski
Markus Krötzsch
Antonín Kucera
Antonín Kučera
Manfred Kufleitner
Shantanu Kulkarni
K. Narayan Kumar
Viktor Kuncak
Gabriel M. Kuper
Denis Kuperberg
Orna Kupferman
Clemens Kupke
Dietrich Kuske
Ralf Küsters
Antti Kuusisto
Ondrej Kuzelka
Roman Kuznets
Stepan Kuznetsov
Marta Z. Kwiatkowska
Barbara König
Detlef Kähler
Short Presentation:
Detlef Kähler
Ralf Küsters
Thomas Wilke
A Dolev-Yao-based Definition of Abuse-free Protocols
(
LICS 2006
)
More Information...
Paper:
Detlef Kähler
Ralf Küsters
Tomasz Truderung
Infinite State AMC-Model Checking for Cryptographic Protocols
(
LICS 2007
)
More Information...
Vineet Kahlon
Paper:
E. Allen Emerson
Vineet Kahlon
Model Checking Guarded Protocols
(
LICS 2003
)
More Information...
Paper:
Vineet Kahlon
Aarti Gupta
An Automata-theoretic Appraoch for Model Checking Threads for LTL Properties
(
LICS 2006
)
More Information...
Paper:
Vineet Kahlon
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs
(
LICS 2008
)
More Information...
Paper:
Vineet Kahlon
Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of CFL-Reachability for Threads Communicating via Locks
(
LICS 2009
)
More Information...
David M. Kahn
Paper:
Jessie Grosen
David M. Kahn
Jan Hoffmann
Automatic Amortized Resource Analysis with Regular Recursive Types
(
LICS 2023
)
More Information...
Lukasz Kaiser
Paper:
Erich Grädel
Wied Pakusa
Svenja Schalthofer
Lukasz Kaiser
Characterising Choiceless Polynomial Time with First-Order Interpretations
(
LICS 2015
)
More Information...
Benjamin Lucien Kaminski
Paper:
Federico Olmedo
Benjamin Lucien Kaminski
Joost-Pieter Katoen
Christoph Matheja
Reasoning about Recursive Probabilistic Programs
(
LICS 2016
)
More Information...
Paper:
Benjamin Lucien Kaminski
Joost-Pieter Katoen
A weakest pre-expectation semantics for mixed-sign expectations
(
LICS 2017
)
More Information...
Ohad Kammar
Paper:
Sam Staton
Hongseok Yang
Frank Wood
Chris Heunen
Ohad Kammar
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
(
LICS 2016
)
More Information...
Paper:
Ohad Kammar
Paul Blain Levy
Sean K. Moss
Sam Staton
A monad for full ground reference cells
(
LICS 2017
)
More Information...
Paper:
Chris Heunen
Ohad Kammar
Sam Staton
Hongseok Yang
A convenient category for higher-order probability theory
(
LICS 2017
)
More Information...
Paris C. Kanellakis
Paper:
Gerd G. Hillebrand
Paris C. Kanellakis
Harry G. Mairson
Database query languages embedded in the typed lambda calculus
(
LICS 1993
)
More Information...
Paper:
Gerd G. Hillebrand
Paris C. Kanellakis
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi
(
LICS 1996
)
More Information...
Max I. Kanovich
Paper:
Max I. Kanovich
Horn programming in linear logic is NP-complete
(
LICS 1992
)
More Information...
Paper:
Max I. Kanovich
The Complexity of Neutrals in Linear Logic
(
LICS 1995
)
More Information...
Paper:
Max I. Kanovich
Takayasu Ito
Temporal Linear Logic Specifications for Concurrent Processes
(
LICS 1997
)
More Information...
Paper:
James Brotherston
Max I. Kanovich
Undecidability of Propositional Separation Logic and Its Neighbours
(
LICS 2010
)
More Information...
Eric Jui-Yi Kao
Short Presentation:
Eric Jui-Yi Kao
Michael Genesereth
Achieving cut, deduction, and other properties with a variation on quasi-classical logic
(
LICS 2011
)
More Information...
Ambrus Kaposi
Paper:
András Kovács
Ambrus Kaposi
Large and Infinitary Quotient Inductive-Inductive Types
(
LICS 2020
)
More Information...
Bruce M. Kapron
Paper:
Joseph Y. Halpern
Bruce M. Kapron
Zero-one laws for modal logic
(
LICS 1992
)
More Information...
Paper:
Samuel R. Buss
Bruce M. Kapron
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals
(
LICS 2000
)
More Information...
Paper:
Bruce M. Kapron
Florian Steinberg
Type-two polynomial-time and restricted lookahead
(
LICS 2018
)
More Information...
Paper:
Emmanuel Hainry
Bruce M. Kapron
Jean-Yves Marion
Romain Péchoux
A tier-based typed programming language characterizing Feasible Functionals
(
LICS 2020
)
More Information...
Kapron
Paper:
Kapron
Jean-Yves Marion
Romain Péchoux
Declassification Policy for Program Complexity Analysis
(
LICS 2024
)
More Information...
Deepak Kapur
Paper:
Deepak Kapur
David R. Musser
Inductive Reasoning with Incomplete Specifications (Preliminary Report)
(
LICS 1986
)
More Information...
Paper:
Deepak Kapur
Paliath Narendran
Double-exponential complexity of computing a complete set of AC-unifiers
(
LICS 1992
)
More Information...
Amin Karamlou
Paper:
Amin Karamlou
Nihil Shah
No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads
(
LICS 2024
)
More Information...
Toghrul Karimov
Paper:
Toghrul Karimov
Edon Kelmendi
Joris Nieuwveld
Joël Ouaknine
James Worrell
The Power of Positivity
(
LICS 2023
)
More Information...
Paper:
Valérie Berthé
Toghrul Karimov
Joris Nieuwveld
Joël Ouaknine
Mihir Vahanwala
James Worrell
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
(
LICS 2024
)
More Information...
Nadira Karimova
Paper:
Nadim Kasymov
Nadira Karimova
Bakh Khoussainov
Defining algorithmically presented structures in first order logic
(
LICS 2024
)
More Information...
Martti Karvonen
Paper:
Samson Abramsky
Rui Soares Barbosa
Martti Karvonen
Shane Mansfield
A comonadic view of simulation and quantum resources
(
LICS 2019
)
More Information...
Robert T. Kasper
Paper:
William C. Rounds
Robert T. Kasper
A Complete Logical Calculus for Record Structures Representing Linguistic Information
(
LICS 1986
)
More Information...
Nadim Kasymov
Paper:
Nadim Kasymov
Nadira Karimova
Bakh Khoussainov
Defining algorithmically presented structures in first order logic
(
LICS 2024
)
More Information...
Joost-Pieter Katoen
Paper:
Taolue Chen
Tingting Han
Joost-Pieter Katoen
Alexandru Mereacre
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
(
LICS 2009
)
More Information...
Paper:
Tomáš Brázdil
Stefan Kiefer
Antonín Kučera
Petr Novotný
Joost-Pieter Katoen
Zero-reachability in probabilistic multi-counter automata
(
LICS 2014
)
More Information...
Paper:
Joost-Pieter Katoen
Lei Song
Lijun Zhang
Probably safe or live
(
LICS 2014
)
More Information...
Paper:
Souymodip Chakraborty
Joost-Pieter Katoen
On the Satisfiability of Some Simple Probabilistic Logics
(
LICS 2016
)
More Information...
Paper:
Federico Olmedo
Benjamin Lucien Kaminski
Joost-Pieter Katoen
Christoph Matheja
Reasoning about Recursive Probabilistic Programs
(
LICS 2016
)
More Information...
Paper:
Benjamin Lucien Kaminski
Joost-Pieter Katoen
A weakest pre-expectation semantics for mixed-sign expectations
(
LICS 2017
)
More Information...
Paper:
Tobias Winkler
Joost-Pieter Katoen
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
(
LICS 2023
)
More Information...
Shin-ya Katsumata
Paper:
Tetsuya Sato
Gilles Barthe
Marco Gaboardi
Justin Hsu
Shin-ya Katsumata
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
(
LICS 2019
)
More Information...
Paper:
David Sprunger
Shin-ya Katsumata
Differentiable Causal Computations via Delayed Trace
(
LICS 2019
)
More Information...
Paper:
Yuichi Komorida
Shin-ya Katsumata
Nick Hu
Bartek Klin
Ichiro Hasuo
Codensity Games for Bisimilarity
(
LICS 2019
)
More Information...
Paper:
Arthur Azevedo de Amorim
Marco Gaboardi
Justin Hsu
Shin-ya Katsumata
Probabilistic Relational Reasoning via Metrics
(
LICS 2019
)
More Information...
Paper:
Shin-ya Katsumata
Exequiel Rivas
Tarmo Uustalu
Interaction Laws of Monads and Comonads
(
LICS 2020
)
More Information...
Paper:
Yuichi Komorida
Shin-ya Katsumata
Clemens Kupke
Jurriaan Rot
Ichiro Hasuo
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
(
LICS 2021
)
More Information...
Paper:
Mayuko Kori
Kazuki Watanabe
Jurriaan Rot
Shin-ya Katsumata
Composing Codensity Bisimulations
(
LICS 2024
)
More Information...
Shmuel Katz
Paper:
Doron A. Peled
Shmuel Katz
Amir Pnueli
Specifying and proving serializability in temporal logic
(
LICS 1991
)
More Information...
G. A. Kavvos
Paper:
G. A. Kavvos
Dual-context calculi for modal logic
(
LICS 2017
)
More Information...
Paper:
Daniel Gratzer
G. A. Kavvos
Andreas Nuyts
Lars Birkedal
Multimodal Dependent Type Theory
(
LICS 2020
)
More Information...
Paper:
Kristina Sojakova
G. A. Kavvos
Syllepsis in Homotopy Type Theory
(
LICS 2022
)
More Information...
Piotr Kawalek
Paper:
Pawel M. Idziak
Piotr Kawalek
Jacek Krzaczkowski
Intermediate problems in modular circuits satisfiability
(
LICS 2020
)
More Information...
Paper:
Pawel M. Idziak
Piotr Kawalek
Jacek Krzaczkowski
Complexity of Modular Circuits
(
LICS 2022
)
More Information...
Akitoshi Kawamura
Short Presentation:
Akitoshi Kawamura
Norbert Müller
Carsten Rösnick
Martin Ziegler
Uniform Polytime Computable Operators on Univariate Real Analytic Functions
(
LICS 2012
)
More Information...
Paper:
Akitoshi Kawamura
Florian Steinberg
Martin Ziegler
Complexity Theory of (Functions on) Compact Metric Spaces
(
LICS 2016
)
More Information...
Ken-ichi Kawarabayashi
Paper:
Kord Eickmeyer
Ken-ichi Kawarabayashi
Stephan Kreutzer
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes
(
LICS 2013
)
More Information...
Yevgeny Kazakov
Paper:
Yevgeny Kazakov
Ian Pratt-Hartmann
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
(
LICS 2009
)
More Information...
Alexandr Kazda
Paper:
Libor Barto
Silvia Butti
Alexandr Kazda
Caterina Viola
Stanislav Zivný
Algebraic Approach to Approximation
(
LICS 2024
)
More Information...
Klaus Keimel
Paper:
Michael Huth
Achim Jung
Klaus Keimel
Linear types, approximation, and topology
(
LICS 1994
)
More Information...
Chantal Keller
Short Presentation:
Marc Lasson
Chantal Keller
Parametricity in an Impredicative Sort
(
LICS 2012
)
More Information...
Edon Kelmendi
Paper:
Mikolaj Bojanczyk
Edon Kelmendi
Michal Skrzypczak
MSO+nabla is undecidable
(
LICS 2019
)
More Information...
Paper:
Mikolaj Bojanczyk
Edon Kelmendi
Rafal Stefanski
Georg Zetzsche
Extensions of ω-Regular Languages
(
LICS 2020
)
More Information...
Paper:
Edon Kelmendi
Computing the Density of the Positivity Set for Linear Recurrence Sequences
(
LICS 2022
)
More Information...
Paper:
Faraz Ghahremani
Edon Kelmendi
Joël Ouaknine
Reachability in Injective Piecewise Affine Maps
(
LICS 2023
)
More Information...
Paper:
Toghrul Karimov
Edon Kelmendi
Joris Nieuwveld
Joël Ouaknine
James Worrell
The Power of Positivity
(
LICS 2023
)
More Information...
Andrew Kenyon-Roberts
Paper:
Andrew Kenyon-Roberts
C.-H. Luke Ong
Supermartingales, Ranking Functions and Probabilistic Lambda Calculus
(
LICS 2021
)
More Information...
Marie Kerjean
Paper:
Marie Kerjean
A Logical Account for Linear Partial Differential Equations
(
LICS 2018
)
More Information...
Paper:
Marie Kerjean
Jean-Simon Pacaud Lemay
Taylor Expansion as a Monad in Models of DiLL
(
LICS 2023
)
More Information...
Marie Morgane Kerjean
Paper:
Marie Morgane Kerjean
Pierre-Marie Pédrot
δ is for Dialectica
(
LICS 2024
)
More Information...
Eren Keskin
Paper:
Eren Keskin
Roland Meyer
On the Separability Problem of VASS Reachability Languages
(
LICS 2024
)
More Information...
Delia Kesner
Paper:
Val Breazu-Tannen
Delia Kesner
Laurence Puel
A typed pattern calculus
(
LICS 1993
)
More Information...
Paper:
Roberto Di Cosmo
Delia Kesner
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets
(
LICS 1997
)
More Information...
Paper:
Serenella Cerrito
Delia Kesner
Pattern Matching as Cut Elimination
(
LICS 1999
)
More Information...
Paper:
Delia Kesner
Pierre Vial
Consuming and Persistent Types for Classical Logic
(
LICS 2020
)
More Information...
Paper:
Victor Arrial
Giulio Guerrieri
Delia Kesner
Genericity Through Stratification
(
LICS 2024
)
More Information...
Diana Kessler
Paper:
Amar Hadzihasanovic
Diana Kessler
Higher-Dimensional Subdiagram Matching
(
LICS 2023
)
More Information...
Yonit Kesten
Invited Paper:
Yonit Kesten
Amir Pnueli
A Complete Proof Systems for QPTL
(
LICS 1995
)
More Information...
Assaf J. Kfoury
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Pawel Urzyczyn
The Hierarchy of Finitely Typed Functional Programs (Short Version)
(
LICS 1987
)
More Information...
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Pawel Urzyczyn
On the computational power of universally polymorphic recursion
(
LICS 1988
)
More Information...
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Pawel Urzyczyn
Computational consequences and partial solutions of a generalized unification problem
(
LICS 1989
)
More Information...
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Type reconstruction in finite-rank fragments of the polymorphic λ-calculus
(
LICS 1990
)
More Information...
Paper:
Assaf J. Kfoury
Joe B. Wells
New Notions of Reduction and Non-Semantic Proofs of Strong Beta- Normalization in Typed Lambda Calculi
(
LICS 1995
)
More Information...
Paper:
Assaf J. Kfoury
Santiago M. Pericás-Geertsen
Type Inference for Recursive Definitions
(
LICS 1999
)
More Information...
Sanjeev Khanna
Paper:
Rajeev Alur
Yu Chen
Kishor Jothimurugan
Sanjeev Khanna
Space-efficient Query Evaluation over Probabilistic Event Streams
(
LICS 2020
)
More Information...
Bakh Khoussainov
Paper:
Bakh Khoussainov
Quantifier Free Definability on Infinite Algebras
(
LICS 2016
)
More Information...
Paper:
Bakh Khoussainov
Toru Takisaka
Large scale geometries of infinite strings
(
LICS 2017
)
More Information...
Paper:
Nadim Kasymov
Nadira Karimova
Bakh Khoussainov
Defining algorithmically presented structures in first order logic
(
LICS 2024
)
More Information...
Bakhadyr Khoussainov
Paper:
Hajime Ishihara
Bakhadyr Khoussainov
Sasha Rubin
Some Results on Automatic Structures
(
LICS 2002
)
More Information...
Paper:
Bakhadyr Khoussainov
Sasha Rubin
Frank Stephan
On Automatic Partial Orders
(
LICS 2003
)
More Information...
Paper:
Bakhadyr Khoussainov
André Nies
Sasha Rubin
Frank Stephan
Automatic Structures: Richness and Limitations
(
LICS 2004
)
More Information...
Paper:
Greg Hjorth
Bakhadyr Khoussainov
Antonio Montalbán
André Nies
From Automatic Structures to Borel Structures
(
LICS 2008
)
More Information...
Paper:
Bakhadyr Khoussainov
A quest for algorithmically random infinite structures
(
LICS 2014
)
More Information...
Stefan Kiefer
Paper:
Michael Benedikt
Stefan Göller
Stefan Kiefer
Andrzej S. Murawski
Bisimilarity of Pushdown Automata is Nonelementary
(
LICS 2013
)
More Information...
Paper:
Tomáš Brázdil
Stefan Kiefer
Antonín Kučera
Petr Novotný
Joost-Pieter Katoen
Zero-reachability in probabilistic multi-counter automata
(
LICS 2014
)
More Information...
Paper:
Taolue Chen
Stefan Kiefer
On the total variation distance of labelled Markov chains
(
LICS 2014
)
More Information...
Paper:
Tomáš Brázdil
Stefan Kiefer
Antonín Kučera
Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems
(
LICS 2015
)
More Information...
Paper:
Stefan Kiefer
A. Prasad Sistla
Distinguishing Hidden Markov Chains
(
LICS 2016
)
More Information...
Paper:
Christoph Haase
Stefan Kiefer
Markus Lohrey
Computing quantiles in Markov chains with multi-dimensional costs
(
LICS 2017
)
More Information...
Paper:
Stefan Kiefer
Richard Mayr
Mahsa Shirmohammadi
Dominik Wojtczak
Parity objectives in countable MDPs
(
LICS 2017
)
More Information...
Paper:
Stefan Kiefer
Richard Mayr
Mahsa Shirmohammadi
Dominik Wojczak
On strong determinacy of countable stochastic games
(
LICS 2017
)
More Information...
Paper:
Corto Mascle
Christel Baier
Florian Funke
Simon Jantsch
Stefan Kiefer
Responsibility and verification: Importance value in temporal logics
(
LICS 2021
)
More Information...
Sandra Kiefer
Paper:
Sandra Kiefer
Pascal Schweitzer
Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic
(
LICS 2016
)
More Information...
Paper:
Sandra Kiefer
Ilia Ponomarenko
Pascal Schweitzer
The Weisfeiler-Leman dimension of planar graphs is at most 3
(
LICS 2017
)
More Information...
Paper:
Jan Dreier
Jakub Gajarský
Sandra Kiefer
Michal Pilipczuk
Szymon Torunczyk
Treelike Decompositions for Transductions of Sparse Graphs
(
LICS 2022
)
More Information...
Paper:
Steffen van Bergerem
Martin Grohe
Sandra Kiefer
Luca Oeljeklaus
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
(
LICS 2023
)
More Information...
Paper:
Sandra Kiefer
Daniel Neuen
Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees
(
LICS 2024
)
More Information...
Emanuel Kieronski
Paper:
Emanuel Kieronski
Martin Otto
Small Substructures and Decidability Issues for First-Order Logic with Two Variables
(
LICS 2005
)
More Information...
Paper:
Emanuel Kieronski
Lidia Tendera
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
(
LICS 2009
)
More Information...
Paper:
Emanuel Kieronski
Jakub Michaliszyn
Ian Pratt-Hartmann
Lidia Tendera
Two-Variable First-Order Logic with Equivalence Closure
(
LICS 2012
)
More Information...
Paper:
Witold Charatonik
Emanuel Kieronski
Filip Mazowiecki
Decidability of weak logics with deterministic transitive closure
(
LICS 2014
)
More Information...
Paper:
Daniel Danielski
Emanuel Kieronski
Unary negation fragment with equivalence relations has the finite model property
(
LICS 2018
)
More Information...
Paper:
Emanuel Kieronski
Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
(
LICS 2021
)
More Information...
Paper:
Oskar Fiuk
Emanuel Kieronski
Vincent Michielini
On the complexity of Maslov's class K
(
LICS 2024
)
More Information...
Michael Kifer
Paper:
Michael Kifer
Eliezer L. Lozinskii
RI: a logic for reasoning with inconsistency
(
LICS 1989
)
More Information...
Paper:
Michael Kifer
James Wu
A first-order theory of types and polymorphism in logic programming
(
LICS 1991
)
More Information...
Daniel Kifer
Paper:
Daniel Kifer
Privacy and the Price of Data
(
LICS 2015
)
More Information...
Stanislav Kikot
Paper:
Stanislav Kikot
Roman Kontchakov
Vladimir V. Podolskii
Michael Zakharyaschev
On the succinctness of query rewriting over shallow ontologies
(
LICS 2014
)
More Information...
Paper:
Meghyn Bienvenu
Stanislav Kikot
Vladimir V. Podolskii
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
(
LICS 2015
)
More Information...
Ho Weng Kin
Paper:
Martín H. Escardó
Ho Weng Kin
Operational Domain Theory and Topology of a Sequential Programming Language
(
LICS 2005
)
More Information...
Zachary Kincaid
Paper:
Azadeh Farzan
Zachary Kincaid
Andreas Podelski
Proving Liveness of Parameterized Programs
(
LICS 2016
)
More Information...
Claude Kirchner
Paper:
Claude Kirchner
Computing Unification Algorithms
(
LICS 1986
)
More Information...
Paper:
Claude Kirchner
Pierre Lescanne
Solving Disequations
(
LICS 1987
)
More Information...
Paper:
Claude Kirchner
Francis Klay
Syntactic theories and unification
(
LICS 1990
)
More Information...
Paper:
Gilles Dowek
Thérèse Hardin
Claude Kirchner
Higher-order Unification via Explicit Substitutions
(
LICS 1995
)
More Information...
Paper:
Nachum Dershowitz
Claude Kirchner
Abstract Saturation-Based Inference
(
LICS 2003
)
More Information...
Short Presentation:
Guillaume Burel
Claude Kirchner
An Abstract Completion Procedure for Cut Elimination in Deduction Modulo
(
LICS 2006
)
More Information...
Paper:
Paul Brauner
Clément Houtmann
Claude Kirchner
Principles of Superdeduction
(
LICS 2007
)
More Information...
Iluju Kiringa
Short Presentation:
Iluju Kiringa
Dan E. Willard
Self-Verifying Systems, the Incompleteness Theorem and the Tangibility Reflection Principle
(
LICS 2001
)
More Information...
Short Presentation:
Iluju Kiringa
A Theory of Advanced Transactions in the Situation Calculus
(
LICS 2001
)
More Information...
Lefteris M. Kirousis
Paper:
Lefteris M. Kirousis
Phokion G. Kolaitis
A Dichotomy in the Complexity of Propositional Circumscription
(
LICS 2001
)
More Information...
Dominik Kirst
Paper:
Liron Cohen
Yannick Forster
Dominik Kirst
Bruno da Rocha Paiva
Vincent Rahli
Separating Markov's Principles
(
LICS 2024
)
More Information...
Oleg Kiselyov
Short Presentation:
Oleg Kiselyov
An applicative-order term rewriting system for code generation, and its termination analysis
(
LICS 2003
)
More Information...
Kohei Kishida
Paper:
Peng Fu
Kohei Kishida
Peter Selinger
Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract
(
LICS 2020
)
More Information...
Emil Kiss
Paper:
Emil Kiss
Matthew Valeriote
On tractability and congruence distributivity
(
LICS 2006
)
More Information...
Aleks Kissinger
Paper:
Bob Coecke
Ross Duncan
Aleks Kissinger
Quanlong Wang
Strong Complementarity and Non-locality in Categorical Quantum Mechanics
(
LICS 2012
)
More Information...
Paper:
Filippo Bonchi
Fabio Gadducci
Aleks Kissinger
Pawel Sobocinski
Fabio Zanasi
Rewriting modulo symmetric monoidal structure
(
LICS 2016
)
More Information...
Paper:
Aleks Kissinger
Sander Uijlen
A categorical semantics for causal structure
(
LICS 2017
)
More Information...
Paper:
Filippo Bonchi
Fabio Gadducci
Aleks Kissinger
Pawel Sobocinski
Fabio Zanasi
Rewriting with Frobenius
(
LICS 2018
)
More Information...
Felix Klaedtke
Paper:
Felix Klaedtke
On the Automata Size for Presburger Arithmetic
(
LICS 2004
)
More Information...
Nils Klarlund
Paper:
Nils Klarlund
Dexter C. Kozen
Rabin measures and their applications to fairness and automata theory
(
LICS 1991
)
More Information...
Paper:
Nils Klarlund
Progress measures, immediate determinacy, and a subset construction for tree automata
(
LICS 1992
)
More Information...
Francis Klay
Paper:
Claude Kirchner
Francis Klay
Syntactic theories and unification
(
LICS 1990
)
More Information...
Joachim Klein
Paper:
Christel Baier
Joachim Klein
Sascha Klüppelholz
Sascha Wunderlich
Weight monitoring with linear temporal logic: complexity and decidability
(
LICS 2014
)
More Information...
Bartek Klin
Paper:
Bartek Klin
Bialgebraic Operational Semantics and Modal Logic
(
LICS 2007
)
More Information...
Paper:
Mikołaj Bojańczyk
Bartek Klin
Sławomir Lasota
Automata with Group Actions
(
LICS 2011
)
More Information...
Paper:
Mikołaj Bojańczyk
Bartek Klin
Sławomir Lasota
Szymon Toruńczyk
Turing Machines with Atoms
(
LICS 2013
)
More Information...
Paper:
Bartek Klin
Sławomir Lasota
Joanna Ochremiak
Szymon Toruńczyk
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity
(
LICS 2014
)
More Information...
Paper:
Bartek Klin
Eryk Kopczyński
Joanna Ochremiak
Szymon Toruńczyk
Locally Finite Constraint Satisfaction Problems
(
LICS 2015
)
More Information...
Paper:
Yuichi Komorida
Shin-ya Katsumata
Nick Hu
Bartek Klin
Ichiro Hasuo
Codensity Games for Bisimilarity
(
LICS 2019
)
More Information...
Paper:
Clovis Eberhart
Bartek Klin
History-Dependent Nominal μ-Calculus
(
LICS 2019
)
More Information...
Paper:
Mikolaj Bojanczyk
Bartek Klin
Joshua Moerman
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
(
LICS 2021
)
More Information...
Jan Willem Klop
Paper:
Frank S. de Boer
Jan Willem Klop
Catuscia Palamidessi
Asynchronous communication in process algebra
(
LICS 1992
)
More Information...
Paper:
Zena M. Ariola
Jan Willem Klop
Cyclic lambda graph rewriting
(
LICS 1994
)
More Information...
Paper:
Inge Bethke
Jan Willem Klop
Roel C. de Vrijer
Completing Partial Combinatory Algebras with Unique Head-Normal Forms
(
LICS 1996
)
More Information...
Paper:
Jörg Endrullis
Dimitri Hendriks
Jan Willem Klop
Modular Construction of Fixed Point Combinators and Clocked Böhm Trees
(
LICS 2010
)
More Information...
Invited Paper:
Jan Willem Klop
Term Rewriting and Lambda Calculus
(
LICS 2012
)
More Information...
Paper:
Clemens Grabmayer
Jörg Endrullis
Dimitri Hendriks
Jan Willem Klop
Lawrence S. Moss
Automatic Sequences and Zip-Specifications
(
LICS 2012
)
More Information...
Sascha Klüppelholz
Invited Paper:
Christel Baier
Clemens Dubslaff
Sascha Klüppelholz
Trade-off analysis meets probabilistic model checking
(
LICS 2014
)
More Information...
Paper:
Christel Baier
Joachim Klein
Sascha Klüppelholz
Sascha Wunderlich
Weight monitoring with linear temporal logic: complexity and decidability
(
LICS 2014
)
More Information...
Simon Knäuer
Paper:
Manuel Bodirsky
Thomas Feller
Simon Knäuer
Sebastian Rudolph
On Logics and Homomorphism Closure
(
LICS 2021
)
More Information...
Roman Kniazev
Paper:
Éric Goubault
Roman Kniazev
Jérémy Ledent
Sergio Rajsbaum
Semi-Simplicial Set Models for Distributed Knowledge
(
LICS 2023
)
More Information...
Todd B. Knoblock
Paper:
Todd B. Knoblock
Robert L. Constable
Formalized Metareasoning in Type Theory
(
LICS 1986
)
More Information...
Søren Brinck Knudstorp
Paper:
Søren Brinck Knudstorp
Relevant S is Undecidable
(
LICS 2024
)
More Information...
Hai-Ping Ko
Paper:
Shang-Ching Chou
Hai-Ping Ko
On Mechanical Theorem Proving in Minkowskian Plane Geometry
(
LICS 1986
)
More Information...
Hiroki Kobayashi
Paper:
Wataru Hino
Hiroki Kobayashi
Ichiro Hasuo
Bart Jacobs
Healthiness from Duality
(
LICS 2016
)
More Information...
Naoki Kobayashi
Paper:
Naoki Kobayashi
A Partially Deadlock-free Typed Process Calculus
(
LICS 1997
)
More Information...
Paper:
Davide Sangiorgi
Naoki Kobayashi
Eijiro Sumii
Environmental Bisimulations for Higher-Order Languages
(
LICS 2007
)
More Information...
Paper:
Naoki Kobayashi
C.-H. Luke Ong
A Type System Equivalent to Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes
(
LICS 2009
)
More Information...
Invited Paper:
Naoki Kobayashi
Higher-Order Model Checking: From Theory to Practice
(
LICS 2011
)
More Information...
Paper:
Naoki Kobayashi
Pumping by Typing
(
LICS 2013
)
More Information...
Paper:
Naoki Kobayashi
Xin Li
Automata-Based Abstraction Refinement for μHORS Model Checking
(
LICS 2015
)
More Information...
Paper:
Naoki Kobayashi
Ugo Dal Lago
Charles Grellois
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
(
LICS 2019
)
More Information...
Christoph Koch
Invited Paper:
Georg Gottlob
Christoph Koch
Monadic Queries over Tree-Structured Data
(
LICS 2002
)
More Information...
Paper:
Markus Frick
Martin Grohe
Christoph Koch
Query Evaluation on Compressed Trees (Extended Abstract)
(
LICS 2003
)
More Information...
Short Presentation:
Martin Grohe
Christoph Koch
Arb: An Implementation of Selecting Tree Automata for XML Query Processing
(
LICS 2003
)
More Information...
Jérémie Koenig
Paper:
Jérémie Koenig
Zhong Shao
Refinement-Based Game Semantics for Certified Abstraction Layers
(
LICS 2020
)
More Information...
Barbara König
Paper:
Paul Wild
Lutz Schröder
Dirk Pattinson
Barbara König
A van Benthem Theorem for Fuzzy Modal Logic
(
LICS 2018
)
More Information...
Eugene E. Kohlbecker
Paper:
Matthias Felleisen
Daniel P. Friedman
Eugene E. Kohlbecker
Bruce F. Duba
Reasoning with Continuations
(
LICS 1986
)
More Information...
Ulrich Kohlenbach
Short Presentation:
Ulrich Kohlenbach
Recent Progress in Proof Mining
(
LICS 2001
)
More Information...
Paper:
Yohji Akama
Stefano Berardi
Susumu Hayashi
Ulrich Kohlenbach
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles
(
LICS 2004
)
More Information...
Phokion G. Kolaitis
Paper:
Phokion G. Kolaitis
Moshe Y. Vardi
0-1 laws and decision problems for fragments of second-order logic
(
LICS 1988
)
More Information...
Paper:
Phokion G. Kolaitis
Moshe Y. Vardi
0-1 laws for infinitary logics
(
LICS 1990
)
More Information...
Paper:
Phokion G. Kolaitis
Implicit definability on finite structures and unambiguous computations
(
LICS 1990
)
More Information...
Paper:
Phokion G. Kolaitis
Moshe Y. Vardi
Fixpoint logic vs. infinitary logic in finite-model theory
(
LICS 1992
)
More Information...
Paper:
Phokion G. Kolaitis
Jouko A. Väänänen
Generalized quantifiers and pebble games on finite structures
(
LICS 1992
)
More Information...
Invited Paper:
Phokion G. Kolaitis
A Tutorial on Finite Model Theory
(
LICS 1993
)
More Information...
Paper:
Lauri Hella
Phokion G. Kolaitis
Kerkko Luosto
How to define a linear order on finite models
(
LICS 1994
)
More Information...
Paper:
Phokion G. Kolaitis
Moshe Y. Vardi
On the expressive power of variable-confined logics
(
LICS 1996
)
More Information...
Paper:
Phokion G. Kolaitis
Martin Otto
On the Boundedness Problem for Two-Variable First-Order Logic
(
LICS 1998
)
More Information...
Paper:
Albert Atserias
Phokion G. Kolaitis
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
(
LICS 1999
)
More Information...
Paper:
Lefteris M. Kirousis
Phokion G. Kolaitis
A Dichotomy in the Complexity of Propositional Circumscription
(
LICS 2001
)
More Information...
Invited Paper:
Phokion G. Kolaitis
Reflections on Finite Model Theory
(
LICS 2007
)
More Information...
Paper:
André Hernich
Phokion G. Kolaitis
Foundations of information integration under bag semantics
(
LICS 2017
)
More Information...
Paper:
Albert Atserias
Phokion G. Kolaitis
Wei-Lin Wu
On the Expressive Power of Homomorphism Counts
(
LICS 2021
)
More Information...
Daphne Koller
Paper:
Adam J. Grove
Joseph Y. Halpern
Daphne Koller
Random worlds and maximum entropy
(
LICS 1992
)
More Information...
Decidability Leszek Aleksander Kolodziejczyk
Paper:
Decidability Leszek Aleksander Kolodziejczyk
Henryk Michalewski
How unprovable is Rabin's decidability theorem?
(
LICS 2016
)
More Information...
Antonina Kolokolova
Paper:
Stephen A. Cook
Antonina Kolokolova
A Second-Order System for Polytime Reasoning Using Grädel's Theorem
(
LICS 2001
)
More Information...
Short Presentation:
Stephen A. Cook
Antonina Kolokolova
A second-order theory for NL
(
LICS 2003
)
More Information...
Paper:
Stephen A. Cook
Antonina Kolokolova
A Second-Order Theory for NL
(
LICS 2004
)
More Information...
Zuzana Komárková
Paper:
Krishnendu Chatterjee
Zuzana Komárková
Jan Kretínský
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
(
LICS 2015
)
More Information...
Yuichi Komorida
Paper:
Yuichi Komorida
Shin-ya Katsumata
Nick Hu
Bartek Klin
Ichiro Hasuo
Codensity Games for Bisimilarity
(
LICS 2019
)
More Information...
Paper:
Yuichi Komorida
Shin-ya Katsumata
Clemens Kupke
Jurriaan Rot
Ichiro Hasuo
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
(
LICS 2021
)
More Information...
Michael Kompatscher
Paper:
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
)
More Information...
Anvesh Komuravelli
Paper:
Anvesh Komuravelli
Corina S. Pasareanu
Edmund M. Clarke
Learning Probabilistic Systems from Tree Samples
(
LICS 2012
)
More Information...
Barbara König
Paper:
Filippo Bonchi
Ugo Montanari
Barbara König
Saturated Semantics for Reactive Systems
(
LICS 2006
)
More Information...
Beata Konikowska
Paper:
Arnon Avron
Beata Konikowska
Anna Zamansky
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
(
LICS 2012
)
More Information...
Roman Kontchakov
Paper:
Stanislav Kikot
Roman Kontchakov
Vladimir V. Podolskii
Michael Zakharyaschev
On the succinctness of query rewriting over shallow ontologies
(
LICS 2014
)
More Information...
Juha Kontinen
Paper:
Juha Kontinen
Antti Kuusisto
Peter Lohmann
Jonni Virtema
Complexity of Two-Variable Dependence Logic and IF-Logic
(
LICS 2011
)
More Information...
Paper:
Miika Hannula
Juha Kontinen
Jan Van den Bussche
Jonni Virtema
Descriptive complexity of real computation and probabilistic independence logic
(
LICS 2020
)
More Information...
Eryk Kopczynski
Paper:
Eryk Kopczynski
Invisible Pushdown Languages
(
LICS 2016
)
More Information...
Eryk Kopczyński
Paper:
Eryk Kopczyński
Anthony Widjaja To
Parikh Images of Grammars: Complexity and Applications
(
LICS 2010
)
More Information...
Paper:
Bartek Klin
Eryk Kopczyński
Joanna Ochremiak
Szymon Toruńczyk
Locally Finite Constraint Satisfaction Problems
(
LICS 2015
)
More Information...
Alexei P. Kopylov
Paper:
Alexei P. Kopylov
Decidability of Linear Affine Logic
(
LICS 1995
)
More Information...
Paper:
Alexei P. Kopylov
Dependent Intersection: A New Way of Defining Records in Type Theory
(
LICS 2003
)
More Information...
Mayuko Kori
Paper:
Mayuko Kori
Kazuki Watanabe
Jurriaan Rot
Shin-ya Katsumata
Composing Codensity Bisimulations
(
LICS 2024
)
More Information...
Konstantin Korovin
Paper:
Konstantin Korovin
Andrei Voronkov
A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering
(
LICS 2000
)
More Information...
Paper:
Harald Ganzinger
Konstantin Korovin
New Directions in Instantiation-Based Theorem Proving
(
LICS 2003
)
More Information...
Paper:
Konstantin Korovin
Andrei Voronkov
Orienting Equalities with the Knuth-Bendix Order
(
LICS 2003
)
More Information...
Eric Koskinen
Paper:
Eric Koskinen
Tachio Terauchi
Local temporal reasoning
(
LICS 2014
)
More Information...
Paper:
Yoji Nanjo
Hiroshi Unno
Eric Koskinen
Tachio Terauchi
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
(
LICS 2018
)
More Information...
Egor V. Kostylev
Paper:
Maximilian Pflueger
Johannes Marti
Egor V. Kostylev
A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures
(
LICS 2024
)
More Information...
Tomer Kotek
Paper:
Tomer Kotek
Mantas Simkus
Helmut Veith
Florian Zuleger
Extending ALCQIO with Trees
(
LICS 2015
)
More Information...
Michal Koucký
Paper:
Kristoffer Arnsfelt Hansen
Michal Koucký
Peter Bro Miltersen
Winning Concurrent Reachability Games Requires Doubly-Exponential Patience
(
LICS 2009
)
More Information...
Emmanuel Kounalis
Paper:
Jean-Pierre Jouannaud
Emmanuel Kounalis
Automatic Proofs by Induction in Equational Theories Without Constructors
(
LICS 1986
)
More Information...
Vasileios Koutavas
Paper:
Vasileios Koutavas
Yu-Yang Lin
Nikos Tzevelekos
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
(
LICS 2023
)
More Information...
Paper:
Vasileios Koutavas
Yu-Yang Lin
Nikos Tzevelekos
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence
(
LICS 2024
)
More Information...
Adrien Koutsos
Paper:
David Baelde
Adrien Koutsos
Joseph Lallemand
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
(
LICS 2023
)
More Information...
András Kovács
Paper:
András Kovács
Ambrus Kaposi
Large and Infinitary Quotient Inductive-Inductive Types
(
LICS 2020
)
More Information...
Dexter C. Kozen
Paper:
Neil Immerman
Dexter C. Kozen
Definability with Bounded Number of Bound Variables
(
LICS 1987
)
More Information...
Paper:
Dexter C. Kozen
A completeness theorem for Kleene algebras and the algebra of regular events
(
LICS 1991
)
More Information...
Paper:
Nils Klarlund
Dexter C. Kozen
Rabin measures and their applications to fairness and automata theory
(
LICS 1991
)
More Information...
Paper:
David A. McAllester
Robert Givan
Carl Witty
Dexter C. Kozen
Tarskian Set Constraints
(
LICS 1996
)
More Information...
Paper:
Dexter C. Kozen
On the Complexity of Reasoning in Kleene Algebra
(
LICS 1997
)
More Information...
Paper:
Dexter C. Kozen
On Hoare Logic and Kleene Algebra with Tests
(
LICS 1999
)
More Information...
Paper:
Mark W. Hopkins
Dexter C. Kozen
Parikh's Theorem in Commutative Kleene Algebra
(
LICS 1999
)
More Information...
Paper:
Dexter C. Kozen
Jerzy Tiuryn
Intuitionistic Linear Logic and Partial Correctness
(
LICS 2001
)
More Information...
Paper:
Dexter C. Kozen
Coinductive Proof Principles for Stochastic Processes
(
LICS 2006
)
More Information...
Invited Paper:
Dexter C. Kozen
Nonlocal Flow of Control and Kleene Algebra with Tests
(
LICS 2008
)
More Information...
Paper:
Jean-Baptiste Jeannin
Dexter C. Kozen
Capsules and Separation
(
LICS 2012
)
More Information...
Dexter Kozen
Paper:
Dexter Kozen
Kim G. Larsen
Radu Mardare
Prakash Panangaden
Stone Duality for Markov Processes
(
LICS 2013
)
More Information...
Paper:
Niels Bjørn Bugge Grathwohl
Dexter Kozen
Konstantinos Mamouras
KAT + B!
(
LICS 2014
)
More Information...
Paper:
Dexter Kozen
Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes
(
LICS 2016
)
More Information...
Paper:
Robert Furber
Dexter Kozen
Kim G. Larsen
Radu Mardare
Prakash Panangaden
Unrestricted stone duality for Markov processes
(
LICS 2017
)
More Information...
Paper:
Giorgio Bacci
Robert Furber
Dexter Kozen
Radu Mardare
Prakash Panangaden
Dana Scott
Boolean-Valued Semantics for the Stochastic λ-Calculus
(
LICS 2018
)
More Information...
Paper:
Pedro H. Azevedo de Amorim
Dexter Kozen
Radu Mardare
Prakash Panangaden
Michael Roberts
Universal Semantics for the Stochastic λ-Calculus
(
LICS 2021
)
More Information...
Marcin Kozik
Paper:
Libor Barto
Marcin Kozik
New Conditions for Taylor Varieties and CSP
(
LICS 2010
)
More Information...
Paper:
Libor Barto
Marcin Kozik
Ross Willard
Near Unanimity Constraints Have Bounded Pathwidth Duality
(
LICS 2012
)
More Information...
Paper:
Marcin Kozik
Weak consistency notions for all the CSPs of bounded width
(
LICS 2016
)
More Information...
Paper:
Libor Barto
Zarathustra Brady
Andrei Bulatov
Marcin Kozik
Dmitriy Zhuk
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP
(
LICS 2021
)
More Information...
Paper:
Libor Barto
Bertalan Bodor
Marcin Kozik
Antoine Mottet
Michael Pinsker
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing
(
LICS 2023
)
More Information...
Paper:
Demian Banakh
Marcin Kozik
Injective hardness condition for PCSPs
(
LICS 2024
)
More Information...
Paper:
Lorenzo Ciardo
Marcin Kozik
Andrei A. Krokhin
Tamio-Vesa Nakajima
Stanislav Zivný
1-in-3 vs
(
LICS 2024
)
More Information...
Simon Kramer
Short Presentation:
Simon Kramer
A Language and a Notion of Truth for Cryptographic Properties
(
LICS 2003
)
More Information...
Nicolai Kraus
Paper:
Nicolai Kraus
Constructions with Non-Recursive Higher Inductive Types
(
LICS 2016
)
More Information...
Paper:
Nicolai Kraus
Thorsten Altenkirch
Free Higher Groups in Homotopy Type Theory
(
LICS 2018
)
More Information...
Paper:
Nicolai Kraus
Jakob von Raumer
Path Spaces of Higher Inductive Types in Homotopy Type Theory
(
LICS 2019
)
More Information...
Paper:
Nicolai Kraus
Jakob von Raumer
Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory
(
LICS 2020
)
More Information...
Paper:
Nicolai Kraus
Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT
(
LICS 2021
)
More Information...
Paper:
Tom de Jong
Nicolai Kraus
Fredrik Nordvall Forsberg
Chuangjie Xu
Set-Theoretic and Type-Theoretic Ordinals Coincide
(
LICS 2023
)
More Information...
Paper:
Pierre Cagne
Ulrik Torben Buchholtz
Nicolai Kraus
Marc Bezem
On symmetries of spheres in univalent foundations
(
LICS 2024
)
More Information...
Robbert Krebbers
Paper:
Dan Frumin
Robbert Krebbers
Lars Birkedal
ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency
(
LICS 2018
)
More Information...
Andreas Krebs
Paper:
Andreas Krebs
A. V. Sreejith
Non-definability of Languages by Generalized First-order Formulas over (N, +)
(
LICS 2012
)
More Information...
Paper:
Andreas Krebs
Oleg Verbitsky
Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth
(
LICS 2015
)
More Information...
Paper:
Andreas Krebs
Kamal Lodaya
Paritosh K. Pandya
Howard Straubing
Two-variable Logic with a Between Relation
(
LICS 2016
)
More Information...
Paper:
Michael Hahn
Andreas Krebs
Howard Straubing
Wreath Products of Distributive Forest Algebras
(
LICS 2018
)
More Information...
Steve Kremer
Paper:
Gilles Barthe
Charlie Jacomme
Steve Kremer
Universal equivalence and majority of probabilistic programs over finite fields
(
LICS 2020
)
More Information...
Jan Kretínský
Paper:
Tomáš Brázdil
Vojtech Forejt
Jan Kretínský
Antonín Kučera
The Satisfiability Problem for Probabilistic CTL
(
LICS 2008
)
More Information...
Paper:
Krishnendu Chatterjee
Zuzana Komárková
Jan Kretínský
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
(
LICS 2015
)
More Information...
Paper:
Javier Esparza
Jan Kretínský
Salomon Sickert
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata
(
LICS 2018
)
More Information...
Paper:
Jan Kretínský
Tobias Meggendorfer
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
(
LICS 2018
)
More Information...
Paper:
Pranav Ashok
Krishnendu Chatterjee
Jan Kretínský
Maximilian Weininger
Tobias Winkler
Approximating Values of Generalized-Reachability Stochastic Games
(
LICS 2020
)
More Information...
Jan Kretínský
Paper:
Jan Kretínský
Tobias Meggendorfer
Maximilian Weininger
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
(
LICS 2023
)
More Information...
Stephan Kreutzer
Paper:
Stephan Kreutzer
Expressive Equivalence of Least and Inflationary Fixed-Point Logic
(
LICS 2002
)
More Information...
Invited Paper:
Erich Grädel
Stephan Kreutzer
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions
(
LICS 2003
)
More Information...
Paper:
Anuj Dawar
Martin Grohe
Stephan Kreutzer
Nicole Schweikardt
Approximation Schemes for First-Order Definable Optimization Problems
(
LICS 2006
)
More Information...
Paper:
Anuj Dawar
Martin Grohe
Stephan Kreutzer
Locally Excluding a Minor
(
LICS 2007
)
More Information...
Paper:
Stephan Kreutzer
Siamak Tazari
Lower Bounds for the Complexity of Monadic Second-Order Logic
(
LICS 2010
)
More Information...
Paper:
Viktor Engelmann
Stephan Kreutzer
Sebastian Siebertz
First-Order and Monadic Second-Order Model-Checking on Ordered Structures
(
LICS 2012
)
More Information...
Paper:
Stephan Kreutzer
Cristian Riveros
Quantitative Monadic Second-Order Logic
(
LICS 2013
)
More Information...
Paper:
Kord Eickmeyer
Ken-ichi Kawarabayashi
Stephan Kreutzer
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes
(
LICS 2013
)
More Information...
Short Presentation:
Christoph Dittmann
Stephan Kreutzer
Alexandru I. Tomescu
Graph Operations on Parity Games and Polynomial-Time Algorithms
(
LICS 2013
)
More Information...
Paper:
Mikołaj Bojańczyk
Christoph Dittmann
Stephan Kreutzer
Decomposition theorems and model-checking for the modal μ-calculus
(
LICS 2014
)
More Information...
Paper:
Stephan Kreutzer
Nicole Schweikardt
On Hanf-equivalence and the number of embeddings of small induced subgraphs
(
LICS 2014
)
More Information...
Paper:
Jan van den Heuvel
Stephan Kreutzer
Michal Pilipczuk
Daniel A. Quiroz
Roman Rabinovich
Sebastian Siebertz
Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion
(
LICS 2017
)
More Information...
Paper:
Édouard Bonnet
Jan Dreier
Jakub Gajarský
Stephan Kreutzer
Nikolas Mählmann
Pierre Simon
Szymon Torunczyk
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
(
LICS 2022
)
More Information...
Saul A. Kripke
Invited Paper:
Saul A. Kripke
From the Church-Turing Thesis to the First-Order Algorithm Theorem
(
LICS 2000
)
More Information...
Shankara Narayanan Krishna
Paper:
Mikolaj Bojanczyk
Laure Daviaud
Shankara Narayanan Krishna
Regular and First-Order List Functions
(
LICS 2018
)
More Information...
Paper:
Vrunda Dave
Paul Gastin
Shankara Narayanan Krishna
Regular Transducer Expressions for Regular Transformations
(
LICS 2018
)
More Information...
Paper:
S. Akshay
Paul Gastin
Vincent Jugé
Shankara Narayanan Krishna
Timed Systems through the Lens of Logic
(
LICS 2019
)
More Information...
Paper:
Luc Dartois
Paul Gastin
Shankara Narayanan Krishna
SD-Regular Transducer Expressions for Aperiodic Transformations
(
LICS 2021
)
More Information...
Paper:
Luc Dartois
Paul Gastin
R. Govind
Shankara Narayanan Krishna
Efficient Construction of Reversible Transducers from Regular Transducer Expressions
(
LICS 2022
)
More Information...
Neelakantan R. Krishnaswami
Paper:
Neelakantan R. Krishnaswami
Nick Benton
Ultrametric Semantics of Reactive Programs
(
LICS 2011
)
More Information...
Magnus Baunsgaard Kristensen
Paper:
Magnus Baunsgaard Kristensen
Rasmus Ejlers Møgelberg
Andrea Vezzosi
Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks
(
LICS 2022
)
More Information...
Jean-Louis Krivine
Invited Paper:
Jean-Louis Krivine
The Curry-Howard Correspondence in Set Theory
(
LICS 2000
)
More Information...
Jean Krivine
Invited Paper:
Vincent Danos
Jérôme Feret
Walter Fontana
Russell Harmer
Jean Krivine
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
(
LICS 2010
)
More Information...
Paper:
Ioana Cristescu
Jean Krivine
Daniele Varacca
A Compositional Semantics for the Reversible p-Calculus
(
LICS 2013
)
More Information...
Andrei A. Krokhin
Paper:
Víctor Dalmau
Andrei A. Krokhin
Benoit Larose
First-Order Definable Retraction Problems for Posets and Reflexive Graphs
(
LICS 2004
)
More Information...
Paper:
Catarina Carvalho
Víctor Dalmau
Andrei A. Krokhin
Caterpillar Duality for Constraint Satisfaction Problems
(
LICS 2008
)
More Information...
Invited Paper:
Andrei A. Krokhin
The Complexity of Evaluating First-Order Sentences over a Fixed Structure
(
LICS 2011
)
More Information...
Paper:
Lorenzo Ciardo
Marcin Kozik
Andrei A. Krokhin
Tamio-Vesa Nakajima
Stanislav Zivný
1-in-3 vs
(
LICS 2024
)
More Information...
Jacek Krzaczkowski
Paper:
Pawel M. Idziak
Jacek Krzaczkowski
Satisfiability in multi-valued circuits
(
LICS 2018
)
More Information...
Paper:
Pawel M. Idziak
Piotr Kawalek
Jacek Krzaczkowski
Intermediate problems in modular circuits satisfiability
(
LICS 2020
)
More Information...
Paper:
Pawel M. Idziak
Piotr Kawalek
Jacek Krzaczkowski
Complexity of Modular Circuits
(
LICS 2022
)
More Information...
Markus Krötzsch
Paper:
Raven Beutner
David Carral
Bernd Finkbeiner
Jana Hofmann
Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications
(
LICS 2022
)
More Information...
Antonín Kucera
Invited Paper:
Michael Blondin
Javier Esparza
Stefan Jaax
Antonín Kucera
Black Ninjas in the Dark: Formal Analysis of Population Protocols
(
LICS 2018
)
More Information...
Paper:
Tomás Brázdil
Krishnendu Chatterjee
Antonín Kucera
Petr Novotný
Dominik Velan
Florian Zuleger
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
(
LICS 2018
)
More Information...
Paper:
Antonín Kucera
Jérôme Leroux
Dominik Velan
Efficient Analysis of VASS Termination Complexity
(
LICS 2020
)
More Information...
Paper:
Miroslav Chodil
Antonín Kucera
The Finite Satisfiability Problem for PCTL is Undecidable
(
LICS 2024
)
More Information...
Antonín Kučera
Paper:
Javier Esparza
Antonín Kučera
Richard Mayr
Model Checking Probabilistic Pushdown Automata
(
LICS 2004
)
More Information...
Paper:
Javier Esparza
Antonín Kučera
Richard Mayr
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
(
LICS 2005
)
More Information...
Paper:
Tomáš Brázdil
Václav Brozek
Vojtech Forejt
Antonín Kučera
Stochastic Games with Branching-Time Winning Objectives
(
LICS 2006
)
More Information...
Paper:
Tomáš Brázdil
Vojtech Forejt
Jan Kretínský
Antonín Kučera
The Satisfiability Problem for Probabilistic CTL
(
LICS 2008
)
More Information...
Paper:
Tomáš Brázdil
Václav Brozek
Krishnendu Chatterjee
Vojtech Forejt
Antonín Kučera
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
(
LICS 2011
)
More Information...
Paper:
Tomáš Brázdil
Krishnendu Chatterjee
Vojtech Forejt
Antonín Kučera
Trading Performance for Stability in Markov Decision Processes
(
LICS 2013
)
More Information...
Paper:
Tomáš Brázdil
Stefan Kiefer
Antonín Kučera
Petr Novotný
Joost-Pieter Katoen
Zero-reachability in probabilistic multi-counter automata
(
LICS 2014
)
More Information...
Paper:
Tomáš Brázdil
Stefan Kiefer
Antonín Kučera
Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems
(
LICS 2015
)
More Information...
Manfred Kufleitner
Paper:
Manfred Kufleitner
Alexander Lauser
Languages of Dot-Depth One over Infinite Words
(
LICS 2011
)
More Information...
Shantanu Kulkarni
Paper:
Bharat Adsul
Paul Gastin
Shantanu Kulkarni
Pascal Weil
An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications
(
LICS 2024
)
More Information...
K. Narayan Kumar
Paper:
Parosh A. Abdulla
Mohamed Faouzi Atig
Piotr Hofman
Richard Mayr
K. Narayan Kumar
Patrick Totzke
Infinite-state energy games
(
LICS 2014
)
More Information...
Paper:
Mohamed Faouzi Atig
Dmitry Chistikov
Piotr Hofman
K. Narayan Kumar
Prakash Saivasan
Georg Zetzsche
The complexity of regular abstractions of one-counter languages
(
LICS 2016
)
More Information...
Viktor Kuncak
Paper:
Viktor Kuncak
Martin C. Rinard
Structural Subtyping of Non-Recursive Types is Decidable
(
LICS 2003
)
More Information...
Gabriel M. Kuper
Paper:
Gabriel M. Kuper
Ken McAloon
Krishna V. Palem
Kenneth J. Perry
Efficient parallel algorithms for anti-unification and relative complement
(
LICS 1988
)
More Information...
Denis Kuperberg
Paper:
Achim Blumensath
Thomas Colcombet
Denis Kuperberg
Pawel Parys
Michael Vanden Boom
Two-way cost automata and cost logics over infinite trees
(
LICS 2014
)
More Information...
Paper:
Denis Kuperberg
Positive First-order Logic on Words
(
LICS 2021
)
More Information...
Paper:
David Baelde
Amina Doumane
Denis Kuperberg
Alexis Saurin
Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs
(
LICS 2022
)
More Information...
Orna Kupferman
Paper:
Orna Kupferman
Amir Pnueli
Once and For All
(
LICS 1995
)
More Information...
Paper:
Orna Kupferman
Shmuel Safra
Moshe Y. Vardi
Relating word and tree automata
(
LICS 1996
)
More Information...
Paper:
Orna Kupferman
Moshe Y. Vardi
Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time
(
LICS 1998
)
More Information...
Paper:
Orna Kupferman
Moshe Y. Vardi
Synthesizing Distributed Systems
(
LICS 2001
)
More Information...
Invited Paper:
Orna Kupferman
Avoiding Determinization
(
LICS 2006
)
More Information...
Paper:
Thomas Ball
Orna Kupferman
An Abstraction-Refinement Framework for Multi-Agent Systems
(
LICS 2006
)
More Information...
Paper:
Orna Kupferman
Moshe Y. Vardi
Memoryful Branching-Time Logic
(
LICS 2006
)
More Information...
Paper:
Udi Boker
Orna Kupferman
Co-ing Büchi Made Tight and Useful
(
LICS 2009
)
More Information...
Paper:
Udi Boker
Krishnendu Chatterjee
Thomas A. Henzinger
Orna Kupferman
Temporal Specifications with Accumulative Values
(
LICS 2011
)
More Information...
Paper:
Benjamin Aminof
Orna Kupferman
Robby Lampert
Rigorous Approximated Determinization of Weighted Automata
(
LICS 2011
)
More Information...
Paper:
Orna Kupferman
Gal Vardi
Perspective Games
(
LICS 2019
)
More Information...
Paper:
Orna Kupferman
Noam Shenwald
Perspective Multi-Player Games
(
LICS 2021
)
More Information...
Clemens Kupke
Paper:
Clemens Kupke
Yde Venema
Closure Properties of Coalgebra Automata
(
LICS 2005
)
More Information...
Paper:
Sebastian Enqvist
Helle Hvid Hansen
Clemens Kupke
Johannes Marti
Yde Venema
Completeness for Game Logic
(
LICS 2019
)
More Information...
Paper:
Yuichi Komorida
Shin-ya Katsumata
Clemens Kupke
Jurriaan Rot
Ichiro Hasuo
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
(
LICS 2021
)
More Information...
Paper:
Clemens Kupke
Johannes Marti
Yde Venema
Size measures and alphabetic equivalence in the μ-calculus
(
LICS 2022
)
More Information...
Dietrich Kuske
Paper:
Dietrich Kuske
Markus Lohrey
Monadic chain logic over iterations and applications to pushdown systems
(
LICS 2006
)
More Information...
Paper:
Dietrich Kuske
Jiamou Liu
Markus Lohrey
The Isomorphism Problem On Classes of Automatic Structures
(
LICS 2010
)
More Information...
Paper:
Lucas Heimberg
Dietrich Kuske
Nicole Schweikardt
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree
(
LICS 2013
)
More Information...
Paper:
Benedikt Bollig
Dietrich Kuske
Roy Mennicke
The Complexity of Model Checking Multi-stack Systems
(
LICS 2013
)
More Information...
Paper:
Lucas Heimberg
Dietrich Kuske
Nicole Schweikardt
Hanf normal form for first-order logic with unary counting quantifiers
(
LICS 2016
)
More Information...
Paper:
Dietrich Kuske
Nicole Schweikardt
First-order logic with counting
(
LICS 2017
)
More Information...
Ralf Küsters
Paper:
Yannick Chevalier
Ralf Küsters
Michaël Rusinowitch
Mathieu Turuani
An NP Decision Procedure for Protocol Insecurity with XOR
(
LICS 2003
)
More Information...
Short Presentation:
Detlef Kähler
Ralf Küsters
Thomas Wilke
A Dolev-Yao-based Definition of Abuse-free Protocols
(
LICS 2006
)
More Information...
Paper:
Detlef Kähler
Ralf Küsters
Tomasz Truderung
Infinite State AMC-Model Checking for Cryptographic Protocols
(
LICS 2007
)
More Information...
Antti Kuusisto
Paper:
Juha Kontinen
Antti Kuusisto
Peter Lohmann
Jonni Virtema
Complexity of Two-Variable Dependence Logic and IF-Logic
(
LICS 2011
)
More Information...
Short Presentation:
Antti Kuusisto
Jeremy Meyers
Jonni Virtema
Undecidable First-Order Theories of Affine Geometries
(
LICS 2012
)
More Information...
Paper:
Antti Kuusisto
Carsten Lutz
Weighted model counting beyond two-variable logic
(
LICS 2018
)
More Information...
Ondrej Kuzelka
Paper:
Yuanhong Wang
Juhua Pu
Yuyi Wang
Ondrej Kuzelka
On Exact Sampling in the Two-Variable Fragment of First-Order Logic
(
LICS 2023
)
More Information...
Roman Kuznets
Paper:
Marianna Girlando
Roman Kuznets
Sonia Marin
Marianela Morales
Lutz Straßburger
Intuitionistic S4 is decidable
(
LICS 2023
)
More Information...
Stepan Kuznetsov
Paper:
Stepan Kuznetsov
The Logic of Action Lattices is Undecidable
(
LICS 2019
)
More Information...
Marta Z. Kwiatkowska
Paper:
Michael Huth
Marta Z. Kwiatkowska
Quantitative Analysis and Model Checking
(
LICS 1997
)
More Information...
Invited Paper:
Marta Z. Kwiatkowska
Model checking for probability and time: from theory to practice
(
LICS 2003
)
More Information...
Barbara König
Paper:
Chase Ford
Stefan Milius
Lutz Schröder
Harsh Beohar
Barbara König
Graded Monads and Behavioural Equivalence Games
(
LICS 2022
)
More Information...
Last modified: 2024-10-24
9:41
Sam Staton