Authors on this page:
- Philip Wadler
- Richard J. Waldinger
- Uwe Waldmann
- D. J. Walker
- David Walker
- Igor Walukiewicz
- I. Walukiewicz
- Mitchell Wand
- Wand, M.
- Wang, Z.-Y.
- Farn Wang
- Wang Yi
- Geoffrey Washburn
- Hiroshi Watanabe
- Scott Weinstein
- Stephanie Weirich
- J. B. Wells
- J.B. Wells
- Benjamin Werner
- Thomas Wilke
- D. Willard
- Bernard Willems
- John H. Williams
- Edward L. Wimmers
- Wimmers, E.L.
- Wing, J.M.
- W. Winsborough
- Glynn Winskel
- Carl Witty
- Stefan Wohrle
- Pierre Wolper
- Frank Wolter
- Limsoon Wong
- James Worrell
- David Wragg
- James Wu
- Annika Wærn
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...
D. J. Walker
- Paper: D. J. Walker
Bisimulations and divergence (LICS 1988) More Information...
David Walker
- Paper: Amal 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: 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 Talk: Igor Walukiewicz
A Landscape with Games in the Background (LICS 2004) More Information...
I. Walukiewicz
- Paper: S. Dziembowski M. Jurdzinski I. Walukiewicz
How much memory is needed to win infinite games? (LICS 1997) More Information... - Paper: P. S. Thiagarajan I. Walukiewicz
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (LICS 1997) 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...
Wand, M.
- Paper: Wand, M.
Type inference for record concatenation and multiple inheritance (LICS 1989) More Information... - Paper: Wand, M. Wang, Z.-Y.
Conditional lambda-theories and the verification of static properties of programs (LICS 1990) More Information...
Wang, Z.-Y.
- Paper: Wand, M. Wang, Z.-Y.
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...
Wang Yi
- Paper: Bengt Jonsson Wang Yi
Compositional Testing Preorders for Probabilistic Processes (LICS 1995) More Information...
Geoffrey Washburn
- Paper: Geoffrey Washburn Stephanie Weirich
Generalizing Parametricity Using Information-flow (LICS 2005) More Information...
Hiroshi Watanabe
- Paper: Peter Johnstone 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...
J. B. Wells
- Paper: J. B. Wells
Typability and type checking in the second-order λ-calculus are equivalent and undecidable (LICS 1994) More Information...
J.B. Wells
- Paper: A.J. Kfoury J.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...
D. Willard
- Short Presentation: I. Kiringa D. Willard
Self-Verifying Systems, the Incompleteness Theorem and the Tangibility Reflection Principle (LICS 2001) 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...
Wimmers, E.L.
- Paper: Aiken, A. Wimmers, E.L.
Solving systems of set constraints (LICS 1992) More Information...
Wing, J.M.
- Invited Talk: Wing, J.M.
Specifications in software development (LICS 1992) More Information...
W. Winsborough
- Paper: A. Cortesi G. Filé W. 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 Reif 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 Fiore Gian Luca Cattani Glynn Winskel
Weak Bisimulation and Open Maps (LICS 1999) More Information... - Paper: Mikkel Nygaard Hansen Glynn Winskel
Linearity in Distributed Computation (LICS 2002) More Information... - Invited Talk: Glynn Winskel
Relations in Concurrency (LICS 2005) More Information... - Paper: Glynn Winskel
Name Generation and Linearity (LICS 2005) More Information...
Carl Witty
- Paper: David A. McAllester Robert Givan Carl Witty Dexter Kozen
Tarskian Set Constraints (LICS 1996) More Information...
Stefan Wohrle
- Paper: Stefan Wohrle 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 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 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: Joel 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...
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...
Annika Wærn
- Paper: Lennart Beckman Rune Gustavsson Annika Wærn
An Algebraic Model of Parallel Execution of Logic Programs (LICS 1986) More Information...