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:

• Philip Wadler
• Richard J. Waldinger
• Uwe Waldmann
• David Walker
• Igor Walukiewicz
• Mitchell Wand
• Zheng-Yu Wang
• Farn Wang
• Qian Wang
• Annika Wærn
• Geoffrey Washburn
• Hiroshi Watanabe
• Scott Weinstein
• Stephanie Weirich
• Joe B. Wells
• Benjamin Werner
• Thomas Wilke
• Dan E. Willard
• Ross Willard
• Bernard Willems
• John H. Williams
• Edward L. Wimmers
• Jeannette M. Wing
• William H. Winsborough
• Glynn Winskel
• Carl Witty
• Stefan Wöhrle
• Pierre Wolper
• Frank Wolter
• Limsoon Wong
• James Worrell
• James Worthington
• David Wragg
• James Wu

Philip Wadler

• Paper: Nick Benton Philip Wadler
  Linear Logic, Monads and the Lambda Calculus (LICS 1996) 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...

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

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

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

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

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

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

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

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

Bernard Willems

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

John H. Williams

• Paper: Joseph Y. Halpern John H. Williams Edward L. Wimmers
  Good Rewrite Strategies for FP (LICS 1986) 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...

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

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

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

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

Limsoon Wong

• Paper: Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong
  Logics with Aggregate Operators (LICS 1999) 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 Rabinovich James Worrell
  Alternating Timed Automata over Bounded Time (LICS 2010) 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...

James Wu

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