IEEE Symposium on Logic in Computer Science

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

Authors on this page:

• Philip Wadler
• Noah Abou El Wafa
• Dominik Wagner
• Aymeric Walch
• Richard J. Waldinger
• Uwe Waldmann
• Taylor Walenczyk
• David Walker
• Igor Walukiewicz
• Mitchell Wand
• Pengming Wang
• Qian Wang
• Quanlong Wang
• Yuanhong Wang
• Yuyi Wang
• Wensheng Wang
• Zheng-Yu Wang
• Farn Wang
• Annika Wærn
• Geoffrey Washburn
• Hiroshi Watanabe
• Kazuki Watanabe
• Matthew Z. Weaver
• Niels van der Weide
• Christoph Weidenbach
• Pascal Weil
• Maximilian Weininger
• Scott Weinstein
• Stephanie Weirich
• Joe B. Wells
• Benjamin Werner
• Daniel Wessel
• Abraham Westerbaan
• Bas Westerbaan
• John van de Wetering
• Markus A. Whiteland
• John Wickerson
• Paul Wild
• Thomas Wilke
• Richard Wilke
• Dan E. Willard
• Ross Willard
• Bernard Willems
• Ryan Williams
• R. Ryan Williams
• John H. Williams
• Matthew Wilson
• Edward L. Wimmers
• Jeannette M. Wing
• Tobias Winkler
• William H. Winsborough
• Viktor Winschel
• Glynn Winskel
• Sarah Winter
• Thorsten Wißmann
• Piotr Witkowski
• Carl Witty
• Stefan Wöhrle
• Dominik Wojczak
• Dominik Wojtczak
• Pierre Wolper
• Frank Wolter
• Limsoon Wong
• Frank Wood
• Michael Wooldridge
• James Worrell
• James Worthington
• David Wragg
• Marcin Wrochna
• Michal Wrona
• Zhilin Wu
• Wei-Lin Wu
• Jui-Hsuan Wu
• Nicolas Wu
• James Wu
• Sascha Wunderlich
• David Wärn

Philip Wadler

• Paper: Nick Benton Philip Wadler
  Linear Logic, Monads and the Lambda Calculus (LICS 1996) More Information...

Noah Abou El Wafa

• Paper: Noah Abou El Wafa André Platzer
  Complete Game Logic with Sabotage (LICS 2024) More Information...

Dominik Wagner

• Paper: C.-H. Luke Ong Dominik Wagner
  HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories (LICS 2019) More Information...
• Paper: Toby Cathcart Burn Luke Ong Steven J. Ramsay Dominik Wagner
  Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses (LICS 2021) More Information...

Aymeric Walch

• Paper: Thomas Ehrhard Aymeric Walch
  Cartesian Coherent Differential Categories (LICS 2023) More Information...

Richard J. Waldinger

• Paper: Bengt Jonsson Zohar Manna Richard J. Waldinger
  Towards Deductive Synthesis of Dataflow Networks (LICS 1986) More Information...

Uwe Waldmann

• Paper: Leo Bachmair Harald Ganzinger Uwe Waldmann
  Set constraints are the monadic class (LICS 1993) More Information...

Taylor Walenczyk

• Paper: Matthew Moore Taylor Walenczyk
  The Hidden Subgroup Problem for Universal Algebras (LICS 2020) More Information...

David Walker

• Paper: David Walker
  Bisimulations and divergence (LICS 1988) More Information...
• Paper: Amal J. Ahmed Limin Jia David Walker
  Reasoning about Hierarchical Storage (LICS 2003) More Information...
• Paper: Limin Jia Frances Spalding David Walker Neal Glew
  Certifying Compilation for a Language with Stack Allocation (LICS 2005) More Information...
• Short Presentation: Limin Jia David Walker
  A Refined Proof Theory for Reasoning About Separation (LICS 2005) More Information...

Igor Walukiewicz

• Paper: Igor Walukiewicz
  On completeness of the μ-calculus (LICS 1993) More Information...
• Paper: Igor Walukiewicz
  Completeness of Kozen's Axiomatisation of the Propositional Mu-Calculus (LICS 1995) More Information...
• Paper: Stefan Dziembowski Marcin Jurdzinski Igor Walukiewicz
  How much memory is needed to win infinite games? (LICS 1997) More Information...
• Paper: P. S. Thiagarajan Igor Walukiewicz
  An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (LICS 1997) More Information...
• Paper: Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz
  The Horn Mu-calculus (LICS 1998) More Information...
• Paper: Erich Grädel Igor Walukiewicz
  Guarded Fixed Point Logic (LICS 1999) More Information...
• Invited Paper: Igor Walukiewicz
  A Landscape with Games in the Background (LICS 2004) More Information...
• Paper: Mikołaj Bojańczyk Howard Straubing Igor Walukiewicz
  Wreath Products of Forest Algebras, with Applications to Tree Logics (LICS 2009) More Information...
• Paper: Frédéric Herbreteau B. Srivathsan Igor Walukiewicz
  Better Abstractions for Timed Automata (LICS 2012) More Information...
• Paper: Lorenzo Clemente Pawel Parys Sylvain Salvati Igor Walukiewicz
  The Diagonal Problem for Higher-Order Recursion Schemes is Decidable (LICS 2016) More Information...
• Paper: Javier Esparza Anca Muscholl Igor Walukiewicz
  Static analysis of deterministic negotiations (LICS 2017) More Information...
• Paper: Igor Walukiewicz
  Lambda Y-Calculus With Priorities (LICS 2019) More Information...
• Paper: Alex Dixon Ranko Lazic Andrzej S. Murawski Igor Walukiewicz
  Verifying higher-order concurrency with data automata (LICS 2021) More Information...
• Paper: Anca Muscholl Igor Walukiewicz
  Active learning for sound negotiations✱ (LICS 2022) More Information...
• Paper: R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz
  Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods (LICS 2022) More Information...

Mitchell Wand

• Paper: Mitchell Wand
  Complete Type Inference for Simple Objects (LICS 1987) More Information...
• Paper: Mitchell Wand
  Corrigendum: complete type interference for simple objects (LICS 1988) More Information...
• Paper: Mitchell Wand
  Type inference for record concatenation and multiple inheritance (LICS 1989) More Information...
• Paper: Mitchell Wand Zheng-Yu Wang
  Conditional lambda-theories and the verification of static properties of programs (LICS 1990) More Information...

Pengming Wang

• Paper: Anuj Dawar Pengming Wang
  Definability of semidefinite programming and lasserre lower bounds for CSPs (LICS 2017) More Information...
• Paper: Samson Abramsky Anuj Dawar Pengming Wang
  The pebbling comonad in Finite Model Theory (LICS 2017) More Information...

Qian Wang

• Short Presentation: Pierre-Yves Strub Qian Wang
  Coq Modulo Theory (LICS 2010) More Information...
• Paper: Bruno Barras Jean-Pierre Jouannaud Pierre-Yves Strub Qian Wang
  CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory (LICS 2011) More Information...

Quanlong Wang

• Paper: Bob Coecke Ross Duncan Aleks Kissinger Quanlong Wang
  Strong Complementarity and Non-locality in Categorical Quantum Mechanics (LICS 2012) More Information...
• Paper: Amar Hadzihasanovic Kang Feng Ng Quanlong Wang
  Two complete axiomatisations of pure-state qubit quantum computing (LICS 2018) More Information...
• Paper: Boldizsár Poór Quanlong Wang Razin A. Shaikh Lia Yeh Richie Yeung Bob Coecke
  Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus (LICS 2023) More Information...

Yuanhong Wang

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

Yuyi Wang

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

Wensheng Wang

• Paper: Cong Tian Wensheng Wang Zhenhua Duan
  Making Streett Determinization Tight (LICS 2020) More Information...

Zheng-Yu Wang

• Paper: Mitchell Wand Zheng-Yu Wang
  Conditional lambda-theories and the verification of static properties of programs (LICS 1990) More Information...

Farn Wang

• Paper: Farn Wang
  Timing behavior analysis for real-time systems (LICS 1995) More Information...

Annika Wærn

• Paper: Lennart Beckman Rune Gustavsson Annika Wærn
  An Algebraic Model of Parallel Execution of Logic Programs (LICS 1986) More Information...

Geoffrey Washburn

• Paper: Geoffrey Washburn Stephanie Weirich
  Generalizing Parametricity Using Information-flow (LICS 2005) More Information...

Hiroshi Watanabe

• Paper: Peter Johnstone A. John Power Toru Tsujishita Hiroshi Watanabe James Worrell
  An Axiomatics for Categories of Transition Systems as Coalgebras (LICS 1998) More Information...

Kazuki Watanabe

• Paper: Mayuko Kori Kazuki Watanabe Jurriaan Rot Shin-ya Katsumata
  Composing Codensity Bisimulations (LICS 2024) More Information...

Matthew Z. Weaver

• Paper: Matthew Z. Weaver Daniel R. Licata
  A Constructive Model of Directed Univalence in Bicubical Sets (LICS 2020) More Information...

Niels van der Weide

• Paper: Niels van der Weide
  Constructing Higher Inductive Types as Groupoid Quotients (LICS 2020) More Information...
• Paper: Benedikt Ahrens Paige Randall North Niels van der Weide
  Semantics for two-dimensional type theory (LICS 2022) More Information...

Christoph Weidenbach

• Paper: Thomas Sturm Marco Voigt Christoph Weidenbach
  Deciding First-Order Satisfiability when Universal and Existential Variables are Separated (LICS 2016) More Information...

Pascal Weil

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

Maximilian Weininger

• Paper: Pranav Ashok Krishnendu Chatterjee Jan Kretínský Maximilian Weininger Tobias Winkler
  Approximating Values of Generalized-Reachability Stochastic Games (LICS 2020) More Information...
• Paper: Jan Kretínský Tobias Meggendorfer Maximilian Weininger
  Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives (LICS 2023) More Information...

Scott Weinstein

• Paper: Steven Lindell Scott Weinstein
  The Role of Decidability in First Order Separations over Classes of Finite Structures (LICS 2000) More Information...

Stephanie Weirich

• Paper: Geoffrey Washburn Stephanie Weirich
  Generalizing Parametricity Using Information-flow (LICS 2005) More Information...

Joe B. Wells

• Paper: Joe B. Wells
  Typability and type checking in the second-order λ-calculus are equivalent and undecidable (LICS 1994) 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...

Benjamin Werner

• Paper: Herman Geuvers Benjamin Werner
  On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study (LICS 1994) More Information...

Daniel Wessel

• Paper: Peter Schuster Daniel Wessel
  Resolving finite indeterminacy: A definitive constructive universal prime ideal theorem (LICS 2020) More Information...

Abraham Westerbaan

• Paper: Abraham Westerbaan Bas Westerbaan John van de Wetering
  A characterisation of ordered abstract probabilities (LICS 2020) More Information...

Bas Westerbaan

• Paper: Abraham Westerbaan Bas Westerbaan John van de Wetering
  A characterisation of ordered abstract probabilities (LICS 2020) More Information...

John van de Wetering

• Paper: Abraham Westerbaan Bas Westerbaan John van de Wetering
  A characterisation of ordered abstract probabilities (LICS 2020) More Information...

Markus A. Whiteland

• Paper: Wojciech Czerwinski Engel Lefaucheux Filip Mazowiecki David Purser Markus A. Whiteland
  The boundedness and zero isolation problems for weighted automata over nonnegative rationals (LICS 2022) More Information...

John Wickerson

• Short Presentation: John Wickerson Mike Dodds Matthew Parkinson
  Ribbon Proofs for Separation Logic (LICS 2012) More Information...

Paul Wild

• Paper: Paul Wild Lutz Schröder Dirk Pattinson Barbara König
  A van Benthem Theorem for Fuzzy Modal Logic (LICS 2018) More Information...

Thomas Wilke

• Paper: Kousha Etessami Thomas Wilke
  An Until Hierarchy for Temporal Logic (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...
• Short Presentation: Detlef Kähler Ralf Küsters Thomas Wilke
  A Dolev-Yao-based Definition of Abuse-free Protocols (LICS 2006) More Information...

Richard Wilke

• Paper: Erich Grädel Hayyan Helal Matthias Naaf Richard Wilke
  Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics (LICS 2022) More Information...

Dan E. Willard

• Short Presentation: Iluju Kiringa Dan E. Willard
  Self-Verifying Systems, the Incompleteness Theorem and the Tangibility Reflection Principle (LICS 2001) More Information...

Ross Willard

• Paper: Pawel Idziak Petar Markovic Ralph McKenzie Matthew Valeriote Ross Willard
  Tractability and learnability arising from algebras with few subpowers (LICS 2007) More Information...
• Paper: Libor Barto Marcin Kozik Ross Willard
  Near Unanimity Constraints Have Bounded Pathwidth Duality (LICS 2012) More Information...
• Paper: Manuel Bodirsky Antoine Mottet Miroslav Olsák Jakub Oprsal Michael Pinsker Ross Willard
  Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) (LICS 2019) More Information...

Bernard Willems

• Paper: Bernard Willems Pierre Wolper
  Partial-Order Methods for Model Checking: From Linear Time to Branching Time (LICS 1996) More Information...

Ryan Williams

• Paper: Ryan Williams
  Faster decision of first-order graph properties (LICS 2014) More Information...

R. Ryan Williams

• Invited Paper: R. Ryan Williams
  Complexity Lower Bounds from Algorithm Design (LICS 2021) More Information...

John H. Williams

• Paper: Joseph Y. Halpern John H. Williams Edward L. Wimmers
  Good Rewrite Strategies for FP (LICS 1986) More Information...

Matthew Wilson

• Paper: James Hefford Matthew Wilson
  A Profunctorial Semantics for Quantum Supermaps (LICS 2024) More Information...

Edward L. Wimmers

• Paper: Joseph Y. Halpern John H. Williams Edward L. Wimmers
  Good Rewrite Strategies for FP (LICS 1986) More Information...
• Paper: Joseph Y. Halpern Edward L. Wimmers
  Full Abstraction and Expressive Completeness for FP (LICS 1987) More Information...
• Paper: Alexander Aiken Edward L. Wimmers
  Solving systems of set constraints (LICS 1992) More Information...

Jeannette M. Wing

• Invited Paper: Jeannette M. Wing
  Specifications in software development (LICS 1992) More Information...

Tobias Winkler

• Paper: Pranav Ashok Krishnendu Chatterjee Jan Kretínský Maximilian Weininger Tobias Winkler
  Approximating Values of Generalized-Reachability Stochastic Games (LICS 2020) More Information...
• Paper: Tobias Winkler Joost-Pieter Katoen
  On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata (LICS 2023) More Information...

William H. Winsborough

• Paper: Agostino Cortesi Gilberto Filé William H. Winsborough
  Prop revisited: propositional formula as abstract domain for groundness analysis (LICS 1991) More Information...

Viktor Winschel

• Paper: Neil Ghani Jules Hedges Viktor Winschel Philipp Zahn
  Compositional Game Theory (LICS 2018) More Information...

Glynn Winskel

• Paper: Glynn Winskel
  A category of labelled Petri nets and compositional proof system (LICS 1988) More Information...
• Paper: Juanito Camilleri Glynn Winskel
  CCS with priority choice (LICS 1991) More Information...
• Paper: André Joyal Mogens Nielsen Glynn Winskel
  Bisimulation and open maps (LICS 1993) More Information...
• Paper: Henrik R. Andersen Colin Stirling Glynn Winskel
  A compositional proof system for the modal μ-calculus (LICS 1994) More Information...
• Paper: Gian Luca Cattani Marcelo P. Fiore Glynn Winskel
  A Theory of Recursive Domains with Applications to Concurrency (LICS 1998) More Information...
• Paper: Marcelo P. Fiore Gian Luca Cattani Glynn Winskel
  Weak Bisimulation and Open Maps (LICS 1999) More Information...
• Paper: Mikkel Nygaard Glynn Winskel
  Linearity in Process Languages (LICS 2002) More Information...
• Invited Paper: Glynn Winskel
  Relations in Concurrency (LICS 2005) More Information...
• Paper: Glynn Winskel
  Name Generation and Linearity (LICS 2005) More Information...
• Paper: Jonathan Hayman Glynn Winskel
  Independence and Concurrent Separation Logic (LICS 2006) More Information...
• Paper: Sam Staton Glynn Winskel
  On the Expressivity of Symmetry in Event Structures (LICS 2010) More Information...
• Paper: Silvain Rideau Glynn Winskel
  Concurrent Strategies (LICS 2011) More Information...
• Paper: Pierre Clairambault Julian Gutierrez Glynn Winskel
  The Winning Ways of Concurrent Games (LICS 2012) More Information...
• Paper: Simon Castellan Pierre Clairambault Glynn Winskel
  Symmetry in concurrent games (LICS 2014) More Information...
• Paper: Simon Castellan Pierre Clairambault Glynn Winskel
  The Parallel Intensionally Fully Abstract Games Model of PCF (LICS 2015) More Information...
• Paper: Simon Castellan Pierre Clairambault Hugo Paquet Glynn Winskel
  The concurrent game semantics of Probabilistic PCF (LICS 2018) More Information...
• Paper: Glynn Winskel
  Making Concurrency Functional (LICS 2023) More Information...
• Paper: Yoàv Montacute Glynn Winskel
  Concurrent Games over Relational Structures: The Origin of Game Comonads (LICS 2024) More Information...

Sarah Winter

• Paper: Emmanuel Filiot Ismaël Jecker Christof Löding Anca Muscholl Gabriele Puppis Sarah Winter
  Finite-valued Streaming String Transducers (LICS 2024) More Information...

Thorsten Wißmann

• Paper: Thorsten Wißmann Stefan Milius
  Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (LICS 2024) More Information...

Piotr Witkowski

• Paper: Witold Charatonik Piotr Witkowski
  Two-Variable Logic with Counting and Trees (LICS 2013) More Information...
• Short Presentation: Witold Charatonik Piotr Witkowski
  Two-variable Logics with Counting and Datalog (LICS 2013) More Information...

Carl Witty

• Paper: David A. McAllester Robert Givan Carl Witty Dexter C. Kozen
  Tarskian Set Constraints (LICS 1996) More Information...

Stefan Wöhrle

• Paper: Stefan Wöhrle Wolfgang Thomas
  Model Checking Synchronized Products of Infinite Transition Systems (LICS 2004) More Information...

Dominik Wojczak

• Paper: Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Dominik Wojczak
  On strong determinacy of countable stochastic games (LICS 2017) More Information...

Dominik Wojtczak

• Paper: Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Dominik Wojtczak
  Parity objectives in countable MDPs (LICS 2017) More Information...
• Paper: Richard Mayr Sven Schewe Patrick Totzke Dominik Wojtczak
  MDPs with energy-parity objectives (LICS 2017) More Information...

Pierre Wolper

• Paper: Moshe Y. Vardi Pierre Wolper
  An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) (LICS 1986) More Information...
• Paper: Patrice Godefroid Pierre Wolper
  A partial approach to model checking (LICS 1991) More Information...
• Paper: Bernard Willems Pierre Wolper
  Partial-Order Methods for Model Checking: From Linear Time to Branching Time (LICS 1996) More Information...

Frank Wolter

• Paper: Ian M. Hodkinson Frank Wolter Michael Zakharyaschev
  Decidable and undecidable fragments of first-order branching temporal logics (LICS 2002) More Information...
• Paper: Jean Christoph Jung Fabio Papacchini Frank Wolter Michael Zakharyaschev
  Model Comparison Games for Horn Description Logics (LICS 2019) More Information...
• Paper: Jean Christoph Jung Frank Wolter
  Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments (LICS 2021) More Information...

Limsoon Wong

• Paper: Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong
  Logics with Aggregate Operators (LICS 1999) More Information...

Frank Wood

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

Michael Wooldridge

• Paper: Julian Gutierrez Michael Wooldridge
  Equilibria of concurrent games on event structures (LICS 2014) More Information...

James Worrell

• Paper: Peter Johnstone A. John Power Toru Tsujishita Hiroshi Watanabe James Worrell
  An Axiomatics for Categories of Transition Systems as Coalgebras (LICS 1998) More Information...
• Paper: Joël Ouaknine James Worrell
  Revisiting Digitization, Robustness, and Decidability for Timed Automata (LICS 2003) More Information...
• Paper: Joël Ouaknine James Worrell
  On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap (LICS 2004) More Information...
• Paper: Joël Ouaknine James Worrell
  On the Decidability of Metric Temporal Logic (LICS 2005) More Information...
• Paper: Patricia Bouyer Nicolas Markey Joël Ouaknine James Worrell
  The Cost of Punctuality (LICS 2007) More Information...
• Paper: Mark Jenkins Joël Ouaknine Alexander M. Rabinovich James Worrell
  Alternating Timed Automata over Bounded Time (LICS 2010) More Information...
• Paper: Daniel Bundala Joël Ouaknine James Worrell
  On the Magnitude of Completeness Thresholds in Bounded Model Checking (LICS 2012) More Information...
• Paper: Paul Hunter Joël Ouaknine James Worrell
  Expressive Completeness for Metric Temporal Logic (LICS 2013) More Information...
• Paper: Antonia Lechner Joël Ouaknine James Worrell
  On the Complexity of Linear Arithmetic with Divisibility (LICS 2015) More Information...
• Paper: Ventsislav Chonev Joël Ouaknine James Worrell
  On Recurrent Reachability for Continuous Linear Dynamical Systems (LICS 2016) More Information...
• Paper: Joël Ouaknine Amaury Pouly João Sousa Pinto James Worrell
  Solvability of Matrix-Exponential Equations (LICS 2016) More Information...
• Paper: Karin Quaas Mahsa Shirmohammadi James Worrell
  Revisiting reachability in timed automata (LICS 2017) More Information...
• Paper: Michael Benedikt Timothy Duff Aditya Sharad James Worrell
  Polynomial automata: Zeroness and applications (LICS 2017) More Information...
• Paper: Ehud Hrushovski Joël Ouaknine Amaury Pouly James Worrell
  Polynomial Invariants for Affine Programs (LICS 2018) More Information...
• Paper: Florent Guépin Christoph Haase James Worrell
  On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields (LICS 2019) More Information...
• Paper: Florian Luca Joël Ouaknine James Worrell
  Universal Skolem Sets (LICS 2021) More Information...
• Paper: Richard Lipton Florian Luca Joris Nieuwveld Joël Ouaknine David Purser James Worrell
  On the Skolem Problem and the Skolem Conjecture (LICS 2022) More Information...
• Paper: Nikhil Balaji Klara Nosan Mahsa Shirmohammadi James Worrell
  Identity Testing for Radical Expressions (LICS 2022) More Information...
• Paper: Nikhil Balaji Lorenzo Clemente Klara Nosan Mahsa Shirmohammadi James Worrell
  Multiplicity Problems on Algebraic Series and Context-Free Grammars (LICS 2023) More Information...
• 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...

James Worthington

• Short Presentation: James Worthington
  A Bisimulation-Based Proof System for the Equational Theory of Kleene Algebra (LICS 2007) More Information...

David Wragg

• Paper: Sophia Drossopoulou Susan Eisenbach David Wragg
  A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility (LICS 1999) More Information...

Marcin Wrochna

• Paper: Balázs F. Mezei Marcin Wrochna Stanislav Zivný
  PTAS for Sparse General-Valued CSPs (LICS 2021) More Information...

Michal Wrona

• Paper: Michal Wrona
  The complexity of minimal inference problem for conservative constraint languages (LICS 2017) More Information...
• Paper: Michal Wrona
  On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width (LICS 2020) More Information...

Zhilin Wu

• Paper: Yu-Fang Chen Ondrej Lengál Tony Tan Zhilin Wu
  Register automata with linear arithmetic (LICS 2017) More Information...

Wei-Lin Wu

• Paper: Albert Atserias Phokion G. Kolaitis Wei-Lin Wu
  On the Expressive Power of Homomorphism Counts (LICS 2021) More Information...

Jui-Hsuan Wu

• Paper: Dominic J. D. Hughes Lutz Straßburger Jui-Hsuan Wu
  Combinatorial Proofs and Decomposition Theorems for First-order Logic (LICS 2021) More Information...

Nicolas Wu

• Paper: Maciej Piróg Tom Schrijvers Nicolas Wu Mauro Jaskelioff
  Syntax and Semantics for Operations with Scopes (LICS 2018) More Information...

James Wu

• Paper: Michael Kifer James Wu
  A first-order theory of types and polymorphism in logic programming (LICS 1991) More Information...

Sascha Wunderlich

• Paper: Christel Baier Joachim Klein Sascha Klüppelholz Sascha Wunderlich
  Weight monitoring with linear temporal logic: complexity and decidability (LICS 2014) More Information...

David Wärn

• Paper: Christian Sattler David Wärn
  Natural numbers from integers (LICS 2024) More Information...