Skip to content

IEEE Symposium on Logic in Computer Science

LICS

A*

CORE rank

CORE rank (raw)

A*

Fields of research

Theory of Computation

Papers indexed

2,216

1986–2026

Papers per year

198695 peak2026

LICS papers

2,216 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2006A Proof of Strong Normalisation using Domain Theory.Thierry Coquand, Arnaud Spiwack
2006First Order Formulas with Modular Predicates.Laura Chaubard, Jean-Eric Pin, Howard Straubing
2006Formal Verification of Infinite State Systems Using Boolean Methods.Randal E. Bryant
2006Stochastic Games with Branching-Time Winning Objectives.Toms Brzdil, Vclav Brozek, Vojtech Forejt, Antonn Kucera
2006Control in o-minimal Hybrid Systems.Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
2006Saturated Semantics for Reactive Systems.Filippo Bonchi, Barbara Knig, Ugo Montanari
2006Two-Variable Logic on Words with Data.Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
2006Bounds in w-Regularity.Mikolaj Bojanczyk, Thomas Colcombet
2006Adapting Logics.Andreas Blass
2006Managing Digital Rights using Linear Logic.Adam Barth, John C. Mitchell
2006An Abstraction-Refinement Framework for Multi-Agent Systems.Thomas Ball, Orna Kupferman
2005Additional Reviewers.
2005Program Committee.
2005Conference Organization.
2005Cover Pages.
2005Front Cover.
2005Name Generation and Linearity.Glynn Winskel
2005Relations in Concurrency.Glynn Winskel
2005Generalizing Parametricity Using Information-flow.Geoffrey Washburn, Stephanie Weirich
2005Separation with Streams in the lambda-calculus.Alexis Saurin
2005Reactive Systems over Cospans.Vladimiro Sassone, Pawel Sobocinski
2005Completions of -algebras.Luigi Santocanale
2005Existential Positive Types and Preservation under Homomorphisisms.Benjamin Rossman
2005Foreword.Prakash Panangaden
2005On the Decidability of Metric Temporal Logic.Jol Ouaknine, James Worrell
1,3261,350 of 2,216← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.