IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Detlef Kähler
• Vineet Kahlon
• Paris C. Kanellakis
• Max I. Kanovich
• Eric Jui-Yi Kao
• Bruce M. Kapron
• Deepak Kapur
• Robert T. Kasper
• Joost-Pieter Katoen
• Shmuel Katz
• Yevgeny Kazakov
• Klaus Keimel
• Delia Kesner
• Yonit Kesten
• Assaf J. Kfoury
• Bakhadyr Khoussainov
• Emanuel Kieronski
• Michael Kifer
• Ho Weng Kin
• Claude Kirchner
• Iluju Kiringa
• Lefteris M. Kirousis
• Oleg Kiselyov
• Emil Kiss
• Felix Klaedtke
• Nils Klarlund
• Francis Klay
• Bartek Klin
• Jan W. Klop
• Jan Willem Klop
• Todd B. Knoblock
• Hai-Ping Ko
• Naoki Kobayashi
• Christoph Koch
• Eugene E. Kohlbecker
• Ulrich Kohlenbach
• Phokion G. Kolaitis
• Daphne Koller
• Antonina Kolokolova
• Barbara König
• Juha Kontinen
• Eryk Kopczyński
• Alexei P. Kopylov
• Konstantin Korovin
• Michal Koucký
• Emmanuel Kounalis
• Dexter C. Kozen
• Dexter Kozen
• Marcin Kozik
• Simon Kramer
• Jan Kretínský
• Stephan Kreutzer
• Saul A. Kripke
• Neelakantan R. Krishnaswami
• Jean-Louis Krivine
• Jean Krivine
• Andrei A. Krokhin
• Antonín Kucera
• Manfred Kufleitner
• Viktor Kuncak
• Gabriel M. Kuper
• Orna Kupferman
• Clemens Kupke
• Dietrich Kuske
• Ralf Küsters
• Antti Kuusisto
• Marta Z. Kwiatkowska

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...

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...

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...

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...

Robert T. Kasper

• Paper: William C. Rounds Robert T. Kasper
  A Complete Logical Calculus for Record Structures Representing Linguistic Information (LICS 1986) 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...

Shmuel Katz

• Paper: Doron A. Peled Shmuel Katz Amir Pnueli
  Specifying and proving serializability in temporal logic (LICS 1991) 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...

Klaus Keimel

• Paper: Michael Huth Achim Jung Klaus Keimel
  Linear types, approximation, and topology (LICS 1994) 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...

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...

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...

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...

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...

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...

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...

Oleg Kiselyov

• Short Presentation: Oleg Kiselyov
  An applicative-order term rewriting system for code generation, and its termination analysis (LICS 2003) More Information...

Emil Kiss

• Paper: Emil Kiss Matthew Valeriote
  On tractability and congruence distributivity (LICS 2006) 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...

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...

Jan W. Klop

• Paper: Frank S. de Boer Jan W. Klop Catuscia Palamidessi
  Asynchronous communication in process algebra (LICS 1992) More Information...
• Paper: Zena M. Ariola Jan W. Klop
  Cyclic lambda graph rewriting (LICS 1994) More Information...
• Paper: Inge Bethke Jan W. Klop Roel C. de Vrijer
  Completing Partial Combinatory Algebras with Unique Head-Normal Forms (LICS 1996) More Information...

Jan Willem Klop

• Paper: Jörg Endrullis Dimitri Hendriks Jan Willem Klop
  Modular Construction of Fixed Point Combinators and Clocked Böhm Trees (LICS 2010) More Information...

Todd B. Knoblock

• Paper: Todd B. Knoblock Robert L. Constable
  Formalized Metareasoning in Type Theory (LICS 1986) More Information...

Hai-Ping Ko

• Paper: Shang-Ching Chou Hai-Ping Ko
  On Mechanical Theorem Proving in Minkowskian Plane Geometry (LICS 1986) 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...

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...

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...

Daphne Koller

• Paper: Adam J. Grove Joseph Y. Halpern Daphne Koller
  Random worlds and maximum entropy (LICS 1992) 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...

Barbara König

• Paper: Filippo Bonchi Ugo Montanari Barbara König
  Saturated Semantics for Reactive Systems (LICS 2006) 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...

Eryk Kopczyński

• Paper: Eryk Kopczyński Anthony Widjaja To
  Parikh Images of Grammars: Complexity and Applications (LICS 2010) 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...

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...

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...

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...

Dexter Kozen

• Invited Paper: Dexter Kozen
  Nonlocal Flow of Control and Kleene Algebra with Tests (LICS 2008) More Information...

Marcin Kozik

• Paper: Libor Barto Marcin Kozik
  New Conditions for Taylor Varieties and CSP (LICS 2010) More Information...

Simon Kramer

• Short Presentation: Simon Kramer
  A Language and a Notion of Truth for Cryptographic Properties (LICS 2003) More Information...

Jan Kretínský

• Paper: Tomáš Brázdil Vojtech Forejt Jan Kretínský Antonín Kucera
  The Satisfiability Problem for Probabilistic CTL (LICS 2008) 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...

Saul A. Kripke

• Invited Paper: Saul A. Kripke
  From the Church-Turing Thesis to the First-Order Algorithm Theorem (LICS 2000) More Information...

Neelakantan R. Krishnaswami

• Paper: Neelakantan R. Krishnaswami Nick Benton
  Ultrametric Semantics of Reactive Programs (LICS 2011) 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...

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...

Antonín Kucera

• Paper: Javier Esparza Antonín Kucera Richard Mayr
  Model Checking Probabilistic Pushdown Automata (LICS 2004) More Information...
• Paper: Javier Esparza Antonín Kucera 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 Kucera
  Stochastic Games with Branching-Time Winning Objectives (LICS 2006) More Information...
• Paper: Tomáš Brázdil Vojtech Forejt Jan Kretínský Antonín Kucera
  The Satisfiability Problem for Probabilistic CTL (LICS 2008) More Information...
• Paper: Tomáš Brázdil Václav Brozek Krishnendu Chatterjee Vojtech Forejt Antonín Kucera
  Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (LICS 2011) More Information...

Manfred Kufleitner

• Paper: Manfred Kufleitner Alexander Lauser
  Languages of Dot-Depth One over Infinite Words (LICS 2011) 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...

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...

Clemens Kupke

• Paper: Clemens Kupke Yde Venema
  Closure Properties of Coalgebra Automata (LICS 2005) 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...

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...

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...