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:

• Jouko A. Väänänen
• Fritz W. Vaandrager
• Camille Vacher
• Viktor Vafeiadis
• Frank D. Valencia
• Matthew Valeriote
• Johan van Benthem
• Dirk van Dalen
• Jan Van den Bussche
• Ron van der Meyden
• Govert van Drimmelen
• Maarten H. van Emden
• Rob J. van Glabbeek
• Dirk Van Gucht
• Daniele Varacca
• Moshe Y. Vardi
• Margus Veanes
• Helmut Veith
• Yde Venema
• Rakesh Verma
• Victor Vianu
• Björn Victor
• Jørgen Villadsen
• Roger Villemaire
• Roberto Virga
• Jonni Virtema
• Ramesh Viswanathan
• Mahesh Viswanthan
• Antonio Vitale
• Janis Voigtländer
• Hagen Völzer
• Timo von Oertzen
• Sergei G. Vorobyov
• Andrei Voronkov
• Jerome Vouillon
• George Voutsadakis

Jouko A. Väänänen

• Paper: Phokion G. Kolaitis Jouko A. Väänänen
  Generalized quantifiers and pebble games on finite structures (LICS 1992) More Information...
• Paper: Balder ten Cate Johan van Benthem Jouko A. Väänänen
  Lindström theorems for fragments of first-order logic (LICS 2007) More Information...

Fritz W. Vaandrager

• Paper: Rocco De Nicola Fritz W. Vaandrager
  Three logics for branching bisimulation (LICS 1990) More Information...
• Paper: Fritz W. Vaandrager
  On the relationship between process algebra and input/output automata (LICS 1991) More Information...
• Paper: Luca Aceto Bard Bloom Fritz W. Vaandrager
  Turning SOS rules into equations (LICS 1992) More Information...

Camille Vacher

• Paper: Luis Barguñó Carles Creus Guillem Godoy Florent Jacquemard Camille Vacher
  The Emptiness Problem for Tree Automata with Global Constraints (LICS 2010) More Information...

Viktor Vafeiadis

• Paper: Chung-Kil Hur Derek Dreyer Viktor Vafeiadis
  Separation Logic in the Presence of Garbage Collection (LICS 2011) More Information...

Frank D. Valencia

• Paper: Catuscia Palamidessi Vijay A. Saraswat Frank D. Valencia Björn Victor
  On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus (LICS 2006) More Information...

Matthew Valeriote

• Paper: Emil Kiss Matthew Valeriote
  On tractability and congruence distributivity (LICS 2006) More Information...
• Paper: Pawel Idziak Petar Markovic Ralph McKenzie Matthew Valeriote Ross Willard
  Tractability and learnability arising from algebras with few subpowers (LICS 2007) More Information...

Johan van Benthem

• Invited Paper: Johan van Benthem
  Process Operations in Extended Dynamic Logics (LICS 1998) More Information...
• Paper: Balder ten Cate Johan van Benthem Jouko A. Väänänen
  Lindström theorems for fragments of first-order logic (LICS 2007) More Information...

Dirk van Dalen

• Invited Paper: Dirk van Dalen
  L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments (LICS 1998) More Information...

Jan Van den Bussche

• Paper: Jan Paredaens Jan Van den Bussche Dirk Van Gucht
  First-Order Queries on Finite Structures Over the Reals (LICS 1995) More Information...

Ron van der Meyden

• Paper: Ron van der Meyden
  The dynamic logic of permission (LICS 1990) More Information...
• Paper: Ron van der Meyden
  Axioms for knowledge and time in distributed systems with perfect recall (LICS 1994) More Information...

Govert van Drimmelen

• Paper: Govert van Drimmelen
  Satisfiability in Alternating-time Temporal Logic (LICS 2003) More Information...

Maarten H. van Emden

• Invited Paper: Maarten H. van Emden
  First-order Predicate Logic as a Common Basis for Relational and Functional Programming (LICS 1987) More Information...

Rob J. van Glabbeek

• Paper: Rob J. van Glabbeek Scott A. Smolka Bernhard Steffen Chris M. N. Tofts
  Reactive, generative, and stratified models of probabilistic processes (LICS 1990) More Information...
• Paper: Rob J. van Glabbeek Gordon D. Plotkin
  Configuration Structures (LICS 1995) More Information...
• Paper: Bard Bloom Wan Fokkink Rob J. van Glabbeek
  Precongruence Formats for Decorated Trace Preorders (LICS 2000) More Information...
• Paper: Dominic J. D. Hughes Rob J. van Glabbeek
  Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (LICS 2003) More Information...
• Paper: Yuxin Deng Rob J. van Glabbeek Matthew Hennessy Carroll Morgan Chenyi Zhang
  Characterising Testing Preorders for Finite Probabilistic Processes (LICS 2007) More Information...

Dirk Van Gucht

• Paper: Jan Paredaens Jan Van den Bussche Dirk Van Gucht
  First-Order Queries on Finite Structures Over the Reals (LICS 1995) More Information...
• Short Presentation: Bassem Sayrafi Dirk Van Gucht Marc Gyssens
  Measures and Measure-Based Constraints (LICS 2005) More Information...

Daniele Varacca

• Paper: Daniele Varacca
  The powerdomain of indexed valuations (LICS 2002) More Information...
• Paper: Giuseppe Castagna Rocco De Nicola Daniele Varacca
  Semantic Subtyping for the pi-Calculus (LICS 2005) More Information...
• Paper: Daniele Varacca Hagen Völzer
  Temporal logics and model checking for fairly correct systems (LICS 2006) More Information...
• Paper: Jean Goubault-Larrecq Daniele Varacca
  Continuous Random Variables (LICS 2011) More Information...

Moshe Y. Vardi

• Paper: Moshe Y. Vardi Pierre Wolper
  An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) (LICS 1986) More Information...
• Paper: Haim Gaifman Harry G. Mairson Yehoshua Sagiv Moshe Y. Vardi
  Undecidable Optimization Problems for Database Logic Programs (LICS 1987) More Information...
• Paper: Moshe Y. Vardi
  Verification of Concurrent Programs: The Automata-Theoretic Framework (LICS 1987) More Information...
• Paper: Phokion G. Kolaitis Moshe Y. Vardi
  0-1 laws and decision problems for fragments of second-order logic (LICS 1988) More Information...
• Paper: Moshe Y. Vardi
  On the complexity of epistemic reasoning (LICS 1989) More Information...
• Paper: Phokion G. Kolaitis Moshe Y. Vardi
  0-1 laws for infinitary logics (LICS 1990) More Information...
• Paper: David Harel Roni Rosner Moshe Y. Vardi
  On the power of bounded concurrency. III. Reasoning about programs (LICS 1990) More Information...
• Paper: Thom W. Frühwirth Ehud Y. Shapiro Moshe Y. Vardi Eyal Yardeni
  Logic programs as types for logic programs (LICS 1991) More Information...
• Paper: Phokion G. Kolaitis Moshe Y. Vardi
  Fixpoint logic vs. infinitary logic in finite-model theory (LICS 1992) More Information...
• Paper: Moshe Y. Vardi
  On the complexity of modular model checking (LICS 1995) More Information...
• Paper: Orna Kupferman Shmuel Safra Moshe Y. Vardi
  Relating word and tree automata (LICS 1996) More Information...
• Paper: Phokion G. Kolaitis Moshe Y. Vardi
  On the expressive power of variable-confined logics (LICS 1996) More Information...
• Paper: Kousha Etessami Moshe Y. Vardi Thomas Wilke
  First-Order Logic with Two Variables and Unary Temporal Logic (LICS 1997) More Information...
• Paper: Orna Kupferman Moshe Y. Vardi
  Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (LICS 1998) More Information...
• Invited Paper: Moshe Y. Vardi
  Linear vs. Branching Time: A Complexity-Theoretic Perspective (LICS 1998) More Information...
• Paper: Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini Moshe Y. Vardi
  View-Based Query Processing and Constraint Satisfaction (LICS 2000) More Information...
• Paper: Orna Kupferman Moshe Y. Vardi
  Synthesizing Distributed Systems (LICS 2001) More Information...
• Paper: Marco Pistore Moshe Y. Vardi
  The Planning Spectrum - One, Two, Three, Infinity (LICS 2003) More Information...
• Paper: Tomás Feder Moshe Y. Vardi
  Homomorphism Closed vs. Existential Positive (LICS 2003) More Information...
• Paper: Nir Piterman Moshe Y. Vardi
  Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems (LICS 2003) More Information...
• Paper: Guoqiang Pan Moshe Y. Vardi
  Fixed-Parameter Hierarchies inside PSPACE (LICS 2006) More Information...
• Paper: Orna Kupferman Moshe Y. Vardi
  Memoryful Branching-Time Logic (LICS 2006) More Information...
• Paper: Sumit Nain Moshe Y. Vardi
  Trace Semantics Is Fully Abstract (LICS 2009) More Information...

Margus Veanes

• Paper: Margus Veanes
  The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification (LICS 1998) More Information...
• Paper: Harald Ganzinger Christoph Meyer Margus Veanes
  The Two-Variable Guarded Fragment with Transitive Relations (LICS 1999) More Information...

Helmut Veith

• Paper: Edmund M. Clarke Somesh Jha Yuan Lu Helmut Veith
  Tree-like Counterexamples in Model Checking (LICS 2002) More Information...

Yde Venema

• Paper: Clemens Kupke Yde Venema
  Closure Properties of Coalgebra Automata (LICS 2005) More Information...

Rakesh Verma

• Short Presentation: Ara Hayrapetyan Rakesh Verma
  On the Complexity of Confluence for Ground Rewrite Systems (LICS 2001) More Information...
• Short Presentation: Julian Zinn Rakesh Verma
  A Polynomial-time Algorithm for Uniqueness of Normal Forms of Linear Shallow Term Rewrite Systems (LICS 2006) More Information...

Victor Vianu

• Paper: Serge Abiteboul Victor Vianu
  Fixpoint extensions of first-order logic and datalog-like languages (LICS 1989) More Information...
• Paper: Serge Abiteboul Christos H. Papadimitriou Victor Vianu
  The power of reflective relational machines (LICS 1994) More Information...
• Paper: Noga Alon Tova Milo Frank Neven Dan Suciu Victor Vianu
  Typechecking XML Views of Relational Databases (LICS 2001) More Information...

Björn Victor

• Paper: Joachim Parrow Björn Victor
  The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (LICS 1998) More Information...
• Paper: Michael Baldamus Joachim Parrow Björn Victor
  Spi Calculus Translated to π--Calculus Preserving May-Tests (LICS 2004) More Information...
• Paper: Catuscia Palamidessi Vijay A. Saraswat Frank D. Valencia Björn Victor
  On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus (LICS 2006) More Information...
• Paper: Jesper Bengtson Magnus Johansson Joachim Parrow Björn Victor
  Psi-calculi: Mobile Processes, Nominal Data, and Logic (LICS 2009) More Information...
• Paper: Magnus Johansson Jesper Bengtson Joachim Parrow Björn Victor
  Weak Equivalences in Psi-Calculi (LICS 2010) More Information...

Jørgen Villadsen

• Short Presentation: Jørgen Villadsen
  Nominalization in Intensional Type Theory (LICS 2006) More Information...

Roger Villemaire

• Short Presentation: Roger Villemaire
  Lazy Structure Preserving Translation of Boolean Expressions into CNF (LICS 2004) More Information...

Roberto Virga

• Paper: Amal J. Ahmed Andrew W. Appel Roberto Virga
  A Stratified Semantics of General References Embeddable in Higher-Order Logic (LICS 2002) More Information...

Jonni Virtema

• Paper: Juha Kontinen Antti Kuusisto Peter Lohmann Jonni Virtema
  Complexity of Two-Variable Dependence Logic and IF-Logic (LICS 2011) More Information...

Ramesh Viswanathan

• Paper: My Hoang John C. Mitchell Ramesh Viswanathan
  Standard ML-NJ weak polymorphism and imperative constructs (LICS 1993) More Information...
• Paper: Ramesh Viswanathan
  Full Abstraction for First-Order Objects with Recursive Types and Subtyping (LICS 1998) More Information...

Mahesh Viswanthan

• Paper: Rohit Chadha A. Prasad Sistla Mahesh Viswanthan
  On the Expressiveness and Complexity of Randomization in Finite State Monitors (LICS 2008) More Information...

Antonio Vitale

• Paper: Cosimo Laneve Antonio Vitale
  The Expressive Power of Synchronizations (LICS 2010) More Information...

Janis Voigtländer

• Paper: Patricia Johann Alex Simpson Janis Voigtländer
  A Generic Operational Metatheory for Algebraic Effects (LICS 2010) More Information...

Hagen Völzer

• Paper: Daniele Varacca Hagen Völzer
  Temporal logics and model checking for fairly correct systems (LICS 2006) More Information...

Timo von Oertzen

• Short Presentation: Manuel Bodirsky Tobias Gärtner Timo von Oertzen Jan Schwinghammer
  Computing the Density of Regular Languages (LICS 2001) More Information...

Sergei G. Vorobyov

• Paper: Sergei G. Vorobyov
  On the arithmetic inexpressiveness of term rewriting systems (LICS 1988) More Information...
• Paper: Sergei G. Vorobyov
  The "Hardest" Natural Decidable Theory (LICS 1997) More Information...
• Short Presentation: Viktor Petersson Sergei G. Vorobyov
  Interior-Point Approach to Parity Games (LICS 2001) More Information...
• Short Presentation: Henrik Björklund Sergei G. Vorobyov
  Two Adversary Lower Bounds for Parity Games (LICS 2002) More Information...
• Short Presentation: Emmanuel Beffara Sergei G. Vorobyov
  Is Randomized Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games Polynomial? (LICS 2002) More Information...

Andrei Voronkov

• Paper: Anatoli Degtyarev Yuri Matiyasevich Andrei Voronkov
  Simultaneous Rigid E-Unification and Related Algorithmic Problems (LICS 1996) More Information...
• Paper: Anatoli Degtyarev Andrei Voronkov
  Decidability Problems for the Prenex Fragment of Intuitionistic Logic (LICS 1996) More Information...
• Paper: Andrei Voronkov
  Herbrand's Theorem, Automated Reasoning and Semantics Tableaux (LICS 1998) More Information...
• Paper: Tatiana Rybina Andrei Voronkov
  A Decision Procedure for Term Algebras with Queues (LICS 2000) More Information...
• 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: Andrei Voronkov
  How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi (LICS 2000) More Information...
• Paper: Konstantin Korovin Andrei Voronkov
  Orienting Equalities with the Knuth-Bendix Order (LICS 2003) More Information...

Jerome Vouillon

• Paper: Paul-André Melliès Jerome Vouillon
  Recursive Polymorphic Types and Parametricity in an Operational Framework (LICS 2005) More Information...

George Voutsadakis

• Short Presentation: Alex Pogel George Voutsadakis Mai Gehrke
  A Game involving Epistemic Logic and Probability (LICS 2001) More Information...