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: V
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Jouko A. Väänänen
Fritz W. Vaandrager
Camille Vacher
Viktor Vafeiadis
Mihir Vahanwala
Pierre Valarcher
Frank D. Valencia
Matthew Valeriote
Benoît Valiron
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
Michael Vanden Boom
Andrea Vandin
Gabriele Vanoni
Daniele Varacca
Moshe Y. Vardi
Gal Vardi
Margus Veanes
Helmut Veith
Dominik Velan
Yaron Velner
Yde Venema
Oleg Verbitsky
Rineke Verbrugge
Rakesh Verma
Steen Vester
Andrea Vezzosi
Pierre Vial
Victor Vianu
Jamie Vicary
Björn Victor
Valeria Vignudelli
Alexandre Vigny
Jørgen Villadsen
Roger Villemaire
Renaud Vilmart
Harry Vinall-Smeeth
Caterina Viola
Roberto Virga
Jonni Virtema
Marc de Visme
Ramesh Viswanathan
Mahesh Viswanathan
Mahesh Viswanthan
Antonio Vitale
Marco Voigt
Janis Voigtländer
Heribert Vollmer
Hagen Völzer
Timo von Oertzen
Sergei G. Vorobyov
Andrei Voronkov
Jerome Vouillon
George Voutsadakis
Mikhail Vyalyi
Nikhil Vyas
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...
Mihir Vahanwala
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...
Pierre Valarcher
Paper:
Serge Grigorieff
Pierre Valarcher
Functionals Using Bounded Information and the Dynamics of Algorithms
(
LICS 2012
)
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...
Benoît Valiron
Paper:
Ugo Dal Lago
Claudia Faggian
Benoît Valiron
Akira Yoshimizu
Parallelism and Synchronization in an Infinitary Context
(
LICS 2015
)
More Information...
Paper:
Alejandro Díaz-Caro
Mauricio Guillermo
Alexandre Miquel
Benoît Valiron
Realizability in the Unitary Sphere
(
LICS 2019
)
More Information...
Paper:
Alexandre Clément
Nicolas Heurtel
Shane Mansfield
Simon Perdrix
Benoît Valiron
A Complete Equational Theory for Quantum Circuits
(
LICS 2023
)
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...
Paper:
Miika Hannula
Juha Kontinen
Jan Van den Bussche
Jonni Virtema
Descriptive complexity of real computation and probabilistic independence logic
(
LICS 2020
)
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...
Michael Vanden Boom
Paper:
Michael Benedikt
Balder ten Cate
Michael Vanden Boom
Effective interpolation and preservation in guarded logics
(
LICS 2014
)
More Information...
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...
Andrea Vandin
Paper:
Luca Cardelli
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
(
LICS 2016
)
More Information...
Paper:
Giorgio Bacci
Giovanni Bacci
Kim G. Larsen
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
(
LICS 2021
)
More Information...
Paper:
Georgios Argyris
Alberto Lluch-Lafuente
Alexander Leguizamon-Robayo
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Minimization of Dynamical Systems over Monoids
(
LICS 2023
)
More Information...
Gabriele Vanoni
Paper:
Beniamino Accattoli
Ugo Dal Lago
Gabriele Vanoni
The Space of Interaction
(
LICS 2021
)
More Information...
Paper:
Beniamino Accattoli
Ugo Dal Lago
Gabriele Vanoni
Reasonable Space for the λ-Calculus, Logarithmically
(
LICS 2022
)
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...
Paper:
Ioana Cristescu
Jean Krivine
Daniele Varacca
A Compositional Semantics for the Reversible p-Calculus
(
LICS 2013
)
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...
Paper:
Sumit Nain
Moshe Y. Vardi
Solving Partial-Information Stochastic Parity Games
(
LICS 2013
)
More Information...
Paper:
Swarat Chaudhuri
Sriram Sankaranarayanan
Moshe Y. Vardi
Regular Real Analysis
(
LICS 2013
)
More Information...
Paper:
Miguel Romero
Pablo Barceló
Moshe Y. Vardi
The homomorphism problem for regular graph patterns
(
LICS 2017
)
More Information...
Paper:
Raphaël Berthon
Bastien Maubert
Aniello Murano
Sasha Rubin
Moshe Y. Vardi
Strategy logic with imperfect information
(
LICS 2017
)
More Information...
Paper:
Dror Fried
Axel Legay
Joël Ouaknine
Moshe Y. Vardi
Sequential Relational Decomposition
(
LICS 2018
)
More Information...
Gal Vardi
Paper:
Orna Kupferman
Gal Vardi
Perspective Games
(
LICS 2019
)
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...
Paper:
Loris D'Antoni
Margus Veanes
Minimization of Symbolic Tree Automata
(
LICS 2016
)
More Information...
Helmut Veith
Paper:
Edmund M. Clarke
Somesh Jha
Yuan Lu
Helmut Veith
Tree-like Counterexamples in Model Checking
(
LICS 2002
)
More Information...
Paper:
Tomer Kotek
Mantas Simkus
Helmut Veith
Florian Zuleger
Extending ALCQIO with Trees
(
LICS 2015
)
More Information...
Dominik Velan
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...
Yaron Velner
Paper:
Krishnendu Chatterjee
Yaron Velner
Mean-Payoff Pushdown Games
(
LICS 2012
)
More Information...
Paper:
Yaron Velner
Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives
(
LICS 2014
)
More Information...
Yde Venema
Paper:
Clemens Kupke
Yde Venema
Closure Properties of Coalgebra Automata
(
LICS 2005
)
More Information...
Paper:
Alessandro Facchini
Yde Venema
Fabio Zanasi
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus
(
LICS 2013
)
More Information...
Paper:
Facundo Carreiro
Alessandro Facchini
Yde Venema
Fabio Zanasi
Weak MSO: automata and expressiveness modulo bisimilarity
(
LICS 2014
)
More Information...
Paper:
Sebastian Enqvist
Fatemeh Seifan
Yde Venema
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
(
LICS 2015
)
More Information...
Paper:
Sebastian Enqvist
Helle Hvid Hansen
Clemens Kupke
Johannes Marti
Yde Venema
Completeness for Game Logic
(
LICS 2019
)
More Information...
Paper:
Clemens Kupke
Johannes Marti
Yde Venema
Size measures and alphabetic equivalence in the μ-calculus
(
LICS 2022
)
More Information...
Oleg Verbitsky
Paper:
Andreas Krebs
Oleg Verbitsky
Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth
(
LICS 2015
)
More Information...
Rineke Verbrugge
Paper:
Rineke Verbrugge
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames
(
LICS 2021
)
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...
Steen Vester
Paper:
Steen Vester
Winning Cores in Parity Games
(
LICS 2016
)
More Information...
Andrea Vezzosi
Paper:
Christian Sattler
Andrea Vezzosi
Partial Univalence in n-truncated Type Theory
(
LICS 2020
)
More Information...
Paper:
Paolo Capriotti
Nils Anders Danielsson
Andrea Vezzosi
Higher Lenses
(
LICS 2021
)
More Information...
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...
Pierre Vial
Paper:
Pierre Vial
Infinitary intersection types as sequences: A new answer to Klop's problem
(
LICS 2017
)
More Information...
Paper:
Pierre Vial
Every λ-Term is Meaningful for the Infinitary Relational Model
(
LICS 2018
)
More Information...
Paper:
Delia Kesner
Pierre Vial
Consuming and Persistent Types for Classical Logic
(
LICS 2020
)
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...
Jamie Vicary
Paper:
Jamie Vicary
Higher Semantics of Quantum Protocols
(
LICS 2012
)
More Information...
Paper:
Jamie Vicary
Topological Structure of Quantum Algorithms
(
LICS 2013
)
More Information...
Paper:
Krzysztof Bar
Jamie Vicary
Data structures for quasistrict higher categories
(
LICS 2017
)
More Information...
Paper:
David Reutter
Jamie Vicary
High-level methods for homotopy construction in associative n-categories
(
LICS 2019
)
More Information...
Paper:
Lukas Heidemann
David Reutter
Jamie Vicary
Zigzag normalisation for associative n-categories
(
LICS 2022
)
More Information...
Paper:
Eric Finster
David Reutter
Jamie Vicary
Alex Rice
A Type Theory for Strictly Unital ∞-Categories
(
LICS 2022
)
More Information...
Paper:
Eric Finster
Alex Rice
Jamie Vicary
A Syntax for Strictly Associative and Unital ∞-Categories
(
LICS 2024
)
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...
Valeria Vignudelli
Paper:
Marco Bernardo
Davide Sangiorgi
Valeria Vignudelli
On the discriminating power of passivation and higher-order interaction
(
LICS 2014
)
More Information...
Paper:
Damien Pous
Valeria Vignudelli
Allegories: decidability and graph homomorphisms
(
LICS 2018
)
More Information...
Paper:
Filippo Bonchi
Ana Sokolova
Valeria Vignudelli
The Theory of Traces for Systems with Nondeterminism and Probability
(
LICS 2019
)
More Information...
Paper:
Matteo Mio
Ralph Sarkis
Valeria Vignudelli
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning
(
LICS 2021
)
More Information...
Paper:
Matteo Mio
Ralph Sarkis
Valeria Vignudelli
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning
(
LICS 2022
)
More Information...
Alexandre Vigny
Paper:
Nicole Schirrmacher
Sebastian Siebertz
Giannos Stamoulis
Dimitrios M. Thilikos
Alexandre Vigny
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
(
LICS 2024
)
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...
Renaud Vilmart
Paper:
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
(
LICS 2018
)
More Information...
Paper:
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
(
LICS 2018
)
More Information...
Paper:
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
(
LICS 2019
)
More Information...
Paper:
Renaud Vilmart
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
(
LICS 2019
)
More Information...
Paper:
Titouan Carette
Timothée Hoffreumon
Émile Larroque
Renaud Vilmart
Complete Graphical Language for Hermiticity-Preserving Superoperators
(
LICS 2023
)
More Information...
Harry Vinall-Smeeth
Paper:
Harry Vinall-Smeeth
From Quantifier Depth to Quantifier Number: Separating Structures with k Variables
(
LICS 2024
)
More Information...
Caterina Viola
Paper:
Libor Barto
Silvia Butti
Alexandr Kazda
Caterina Viola
Stanislav Zivný
Algebraic Approach to Approximation
(
LICS 2024
)
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...
Short Presentation:
Antti Kuusisto
Jeremy Meyers
Jonni Virtema
Undecidable First-Order Theories of Affine Geometries
(
LICS 2012
)
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...
Paper:
Jens Oliver Gutsfeld
Arne Meier
Christoph Ohrem
Jonni Virtema
Temporal Team Semantics Revisited
(
LICS 2022
)
More Information...
Marc de Visme
Paper:
Titouan Carette
Marc de Visme
Simon Perdrix
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
(
LICS 2021
)
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 Viswanathan
Paper:
Rohit Chadha
A. Prasad Sistla
Mahesh Viswanathan
Verification of randomized security protocols
(
LICS 2017
)
More Information...
Paper:
Gilles Barthe
Rohit Chadha
Vishal Jagannath
A. Prasad Sistla
Mahesh Viswanathan
Deciding Differential Privacy for Programs with Finite Inputs and Outputs
(
LICS 2020
)
More Information...
Paper:
Umang Mathur
Andreas Pavlogiannis
Mahesh Viswanathan
The Complexity of Dynamic Data Race Prediction
(
LICS 2020
)
More Information...
Paper:
Rohit Chadha
A. Prasad Sistla
Mahesh Viswanathan
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
(
LICS 2021
)
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...
Marco Voigt
Paper:
Thomas Sturm
Marco Voigt
Christoph Weidenbach
Deciding First-Order Satisfiability when Universal and Existential Variables are Separated
(
LICS 2016
)
More Information...
Paper:
Marco Voigt
A fine-grained hierarchy of hard problems in the separated fragment
(
LICS 2017
)
More Information...
Janis Voigtländer
Paper:
Patricia Johann
Alex Simpson
Janis Voigtländer
A Generic Operational Metatheory for Algebraic Effects
(
LICS 2010
)
More Information...
Heribert Vollmer
Paper:
Arnaud Durand
Anselm Haak
Heribert Vollmer
Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth
(
LICS 2018
)
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...
Mikhail Vyalyi
Paper:
Dmitry Chistikov
Mikhail Vyalyi
Re-pairing brackets
(
LICS 2020
)
More Information...
Nikhil Vyas
Paper:
S. Akshay
Blaise Genest
Nikhil Vyas
Distribution-based objectives for Markov Decision Processes
(
LICS 2018
)
More Information...
Paper:
Ronald Fagin
Jonathan Lenchner
Kenneth W. Regan
Nikhil Vyas
Multi-Structural Games and Number of Quantifiers
(
LICS 2021
)
More Information...
Last modified: 2024-10-24
9:41
Sam Staton