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:

• Alexis Maciel
• Ian Mackie
• Roger D. Maddux
• Florent Madelaine
• Florent R. Madelaine
• Parthasarathy Madhusudan
• Frédéric Magniez
• Pritha Mahata
• Michael J. Maher
• Roberto Maieli
• Harry G. Mairson
• Rupak Majumdar
• Michael Makkai
• Johann A. Makowsky
• Pasquale Malacaria
• Oded Maler
• Zohar Manna
• Panagiotis Manolios
• Giulio Manzonetto
• Claude Marché
• J. Raymundo Marcial-Romero
• Jerzy Marcinkowski
• Victor W. Marek
• Jean-Yves Marion
• Nicolas Markey
• Petar Markovic
• Bruno Marnette
• João P. Marques-Silva
• Kim Marriott
• Ursula Martin
• Barnaby Martin
• Maarten Marx
• Dániel Marx
• Michael Marz
• Ian A. Mason
• Francesc Massanés
• Paulo Mateus
• Yuri Matiyasevich
• Oliver Matz
• Francois Maurel
• Richard Mayr
• David A. McAllester
• Ken McAloon
• John McCarthy
• Gregory L. McColm
• William McCune
• Guy McCusker
• Raymond C. McDowell
• Pierre McKenzie
• Ralph McKenzie
• Richard McKinley
• Kenneth L. McMillan
• J. Antonio Medina
• Nimrod Megiddo
• Paul-André Melliès
• Paul-André Melliès
• Mohamed N. Menaa
• Nax P. Mendler
• Paul F. Mendler
• Alexandru Mereacre
• José Meseguer
• Albert R. Meyer
• Christoph Meyer
• Antoine Meyer
• Jakub Michaliszyn
• Spiro Michaylov
• Marino Miculan
• Aart Middeldorp
• Alex Mifsud
• Stefan Milius
• Dale A. Miller
• Robin Milner
• Tova Milo
• Kathleen Milsted
• Peter Bro Miltersen
• Samuel Mimram
• Alexandre Miquel
• Michael W. Mislove
• John C. Mitchell
• Wojciech Moczydlowski
• Fabio Mogavero
• Virgile Mogbil
• Rasmus E. Møgelberg
• Eugenio Moggi
• Christine Mohring
• Faron Moller
• Stefan Monnier
• Antonio Montalbán
• Ugo Montanari
• Angelo Montanari
• Luís F. Monteiro
• J. Strother Moore
• Barbara Morawska
• Carroll Morgan
• Tsuyoshi Morioka
• Peter Morris
• Yiannis N. Moschovakis
• Lawrence S. Moss
• Peter D. Mosses
• Ben C. Moszkowski
• Mohammad R. Mousavi
• David E. Muller
• Martin Müller
• Philip Mulry
• César A. Munoz
• Aniello Murano
• Andrzej S. Murawski
• Tom Murphy VII
• Chetan R. Murthy
• Anca Muscholl
• David R. Musser
• Rasmus Ejlers Møgelberg

Alexis Maciel

• Paper: Alexis Maciel Toniann Pitassi
  A Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives (LICS 2006) More Information...

Ian Mackie

• Paper: Ian Mackie
  Linear Logic With Boxes (LICS 1998) More Information...
• Paper: Maribel Fernández Ian Mackie
  Coinductive Techniques for Operational Equivalence of Interaction Nets (LICS 1998) More Information...

Roger D. Maddux

• Paper: Marcelo F. Frias Roger D. Maddux
  Completeness of a Relational Calculus for Program Schemes (LICS 1998) More Information...

Florent Madelaine

• Paper: Hubie Chen Florent Madelaine Barnaby Martin
  Quantified Constraints and Containment Problems (LICS 2008) More Information...
• Paper: Barnaby Martin Florent Madelaine
  The Complexity of Positive First-order Logic without Equality (LICS 2009) More Information...

Florent R. Madelaine

• Paper: Florent R. Madelaine Barnaby Martin
  A Tetrachotomy for Positive First-Order Logic without Equality (LICS 2011) More Information...

Parthasarathy Madhusudan

• Paper: Parthasarathy Madhusudan
  Model-checking Trace Event Structures (LICS 2003) More Information...
• Paper: Salvatore La Torre Parthasarathy Madhusudan Gennaro Parlato
  A Robust Class of Context-Sensitive Languages (LICS 2007) More Information...

Frédéric Magniez

• Paper: Sophie Laplante Richard Lassaigne Frédéric Magniez Sylvain Peyronnet Michel de Rougemont
  Probabilistic abstraction for model checking: An approach based on property testing (LICS 2002) More Information...
• Paper: Eldar Fischer Frédéric Magniez Michel de Rougemont
  Approximate Satisfiability and Equivalence (LICS 2006) More Information...

Pritha Mahata

• Paper: Parosh A. Abdulla Johann Deneux Pritha Mahata
  Multi-Clock Timed Networks (LICS 2004) More Information...

Michael J. Maher

• Paper: Michael J. Maher
  Complete axiomatizations of the algebras of finite, rational and infinite trees (LICS 1988) More Information...
• Paper: Michael J. Maher
  Herbrand Constraint Abduction (LICS 2005) More Information...

Roberto Maieli

• Short Presentation: Roberto Maieli Paul Ruet
  Interactive correctness criterion for multiplicative-additive proof-nets (LICS 2006) More Information...
• Paper: Olivier Laurent Roberto Maieli
  Cut Elimination for Monomial MALL Proof Nets (LICS 2008) More Information...

Harry G. Mairson

• Paper: Haim Gaifman Harry G. Mairson Yehoshua Sagiv Moshe Y. Vardi
  Undecidable Optimization Problems for Database Logic Programs (LICS 1987) More Information...
• Paper: Gerd G. Hillebrand Paris C. Kanellakis Harry G. Mairson
  Database query languages embedded in the typed lambda calculus (LICS 1993) More Information...

Rupak Majumdar

• Paper: Luca de Alfaro Thomas A. Henzinger Rupak Majumdar
  From Verification to Control: Dynamic Programs for Omega-Regular Objectives (LICS 2001) More Information...
• Paper: Luca de Alfaro Rupak Majumdar Vishwanath Raman Mariëlle Stoelinga
  Game Relations and Metrics (LICS 2007) More Information...

Michael Makkai

• Paper: Claudio Hermida Michael Makkai A. John Power
  Higher Dimensional Multigraphs (LICS 1998) More Information...

Johann A. Makowsky

• Paper: Johann A. Makowsky Ildikó Sain
  On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems (LICS 1986) More Information...

Pasquale Malacaria

• Paper: Pasquale Malacaria Laurent Regnier
  Some results on the interpretation of λ-calculus in operator algebras (LICS 1991) More Information...
• Paper: Pasquale Malacaria Chris Hankin
  Non-Deterministic Games and Program Analysis: An Application to Security (LICS 1999) More Information...

Oded Maler

• Paper: Eugene Asarin Paul Caspi Oded Maler
  A Kleene theorem for timed automata (LICS 1997) More Information...

Zohar Manna

• Paper: Bengt Jonsson Zohar Manna Richard J. Waldinger
  Towards Deductive Synthesis of Dataflow Networks (LICS 1986) More Information...
• Paper: Martín Abadi Zohar Manna
  A Timely Resolution (LICS 1986) More Information...
• Paper: Edward Y. Chang Zohar Manna Amir Pnueli
  Compositional verification of real-time systems (LICS 1994) More Information...

Panagiotis Manolios

• Paper: Panagiotis Manolios Richard J. Trefler
  Safety and Liveness in Branching Time (LICS 2001) More Information...

Giulio Manzonetto

• Paper: Giulio Manzonetto Antonino Salibra
  Boolean algebras for lambda calculus (LICS 2006) More Information...

Claude Marché

• Paper: Claude Marché
  Normalised rewriting and normalised completion (LICS 1994) More Information...

J. Raymundo Marcial-Romero

• Paper: J. Raymundo Marcial-Romero Martín H. Escardó
  Semantics of a Sequential Language for Exact Real-Number Computation (LICS 2004) More Information...

Jerzy Marcinkowski

• Paper: Jerzy Marcinkowski
  DATALOG SIRUPs uniform boundedness is undecidable (LICS 1996) More Information...
• Paper: Giacomo Lenzi André Arnold Jerzy Marcinkowski
  The Hierarchy inside Closed Monadic S1 Collapses on the Infinite Binary Tree (LICS 2001) More Information...
• Paper: Jerzy Marcinkowski Jakub Michaliszyn
  The Ultimate Undecidability Result for the Halpern-Shoham Logic (LICS 2011) More Information...

Victor W. Marek

• Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
  A theory of nonmonotonic rule systems (LICS 1990) More Information...
• Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
  Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (LICS 1995) More Information...
• Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
  On the Complexity of Abduction (LICS 1996) More Information...

Jean-Yves Marion

• Paper: Jean-Yves Marion
  A Type System for Complexity Flow Analysis (LICS 2011) More Information...

Nicolas Markey

• Paper: François Laroussinie Nicolas Markey Philippe Schnoebelen
  Temporal Logic with Forgettable Past (LICS 2002) More Information...
• Paper: Patricia Bouyer Nicolas Markey Joël Ouaknine James Worrell
  The Cost of Punctuality (LICS 2007) More Information...

Petar Markovic

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

Bruno Marnette

• Invited Paper: Andrea Calì Georg Gottlob Thomas Lukasiewicz Bruno Marnette Andreas Pieris
  Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (LICS 2010) More Information...

João P. Marques-Silva

• Short Presentation: Inês Lynce João P. Marques-Silva
  Integrating Simplification Techniques in SAT Algorithms (LICS 2001) More Information...

Kim Marriott

• Paper: Moreno Falaschi Maurizio Gabbrielli Kim Marriott Catuscia Palamidessi
  Compositional analysis for concurrent constraint programming (LICS 1993) More Information...

Ursula Martin

• Paper: Ursula Martin Elizabeth Scott
  The order types of termination orderings on monadic terms, strings and multisets (LICS 1993) More Information...

Barnaby Martin

• Paper: Hubie Chen Florent Madelaine Barnaby Martin
  Quantified Constraints and Containment Problems (LICS 2008) More Information...
• Paper: Barnaby Martin Florent Madelaine
  The Complexity of Positive First-order Logic without Equality (LICS 2009) More Information...
• Paper: Manuel Bodirsky Martin Hils Barnaby Martin
  On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (LICS 2010) More Information...
• Paper: Florent R. Madelaine Barnaby Martin
  A Tetrachotomy for Positive First-Order Logic without Equality (LICS 2011) More Information...

Maarten Marx

• Short Presentation: Carlos E. Areces Patrick Blackburn Maarten Marx
  Repairing the Interpolation Theorem in First-Order Modal Logic (LICS 2001) More Information...

Dániel Marx

• Paper: Andrei A. Bulatov Dániel Marx
  The Complexity of Global Cardinality Constraints (LICS 2009) More Information...

Michael Marz

• Paper: Michael Marz Alexander Rohr Thomas Streicher
  Full Abstraction and Universality via Realisability (LICS 1999) More Information...

Ian A. Mason

• Paper: Ian A. Mason
  Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation (LICS 1986) More Information...
• Paper: Ian A. Mason Carolyn L. Talcott
  Axiomatizing operational equivalence in the presence of side effects (LICS 1989) More Information...
• Paper: Ian A. Mason Carolyn L. Talcott
  References, local variables and operational reasoning (LICS 1992) More Information...
• Short Presentation: Jonathan Ford Ian A. Mason Natarajan Shankar
  Lessons Learned from Formal Developments in PVS (LICS 2002) More Information...

Francesc Massanés

• Paper: Carles Creus Guillem Godoy Francesc Massanés Ashish Tiwari
  Non-linear Rewrite Closure and Weak Normalization (LICS 2009) More Information...

Paulo Mateus

• Short Presentation: Paulo Mateus Amilcar Sernadas
  Complete exogenous quantum propositional logic (LICS 2005) More Information...

Yuri Matiyasevich

• Paper: Anatoli Degtyarev Yuri Matiyasevich Andrei Voronkov
  Simultaneous Rigid E-Unification and Related Algorithmic Problems (LICS 1996) More Information...
• Paper: Yuri Matiyasevich Géraud Sénizergues
  Decision Problems for Semi-Thue Systems with a Few Rules (LICS 1996) More Information...

Oliver Matz

• Paper: Oliver Matz Wolfgang Thomas
  The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite (LICS 1997) More Information...

Francois Maurel

• Short Presentation: Claudia Faggian Francois Maurel
  Ludics on Graphs. Towards Concurrency (LICS 2004) More Information...
• Paper: Claudia Faggian Francois Maurel
  Ludics Nets, a game Model of Concurrent Interaction (LICS 2005) More Information...

Richard Mayr

• Paper: Javier Esparza Alain Finkel Richard Mayr
  On the Verification of Broadcast Protocols (LICS 1999) More Information...
• Paper: Javier Esparza Antonín Kucera Richard Mayr
  Model Checking Probabilistic Pushdown Automata (LICS 2004) More Information...
• Paper: Javier Esparza Antonín Kucera Richard Mayr
  Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (LICS 2005) More Information...
• Paper: Richard Mayr Parosh A. Abdulla Noomene Ben Henda
  Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property (LICS 2005) More Information...
• Paper: Stefan Göller Richard Mayr Anthony Widjaja To
  On the Computational Complexity of Verifying One-Counter Processes (LICS 2009) More Information...
• Paper: Parosh A. Abdulla Richard Mayr
  Computing Optimal Coverability Costs in Priced Timed Petri Nets (LICS 2011) More Information...

David A. McAllester

• Paper: David A. McAllester Robert Givan Carl Witty Dexter C. Kozen
  Tarskian Set Constraints (LICS 1996) More Information...
• Invited Paper: David A. McAllester
  Methods of Automated Complexity for Inference Rules (LICS 1997) More Information...
• Paper: Nevin Heintze David A. McAllester
  On the Cubic Bottleneck in Subtyping and Flow Analysis (LICS 1997) More Information...
• Paper: Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz
  The Horn Mu-calculus (LICS 1998) More Information...

Ken McAloon

• Paper: Gabriel M. Kuper Ken McAloon Krishna V. Palem Kenneth J. Perry
  Efficient parallel algorithms for anti-unification and relative complement (LICS 1988) More Information...
• Paper: Jean-Louis Lassez Ken McAloon
  A constraint sequent calculus (LICS 1990) More Information...

John McCarthy

• Invited Paper: John McCarthy
  Advice about logical AI (LICS 2003) More Information...

Gregory L. McColm

• Paper: Erich Grädel Gregory L. McColm
  Deterministic vs. nondeterministic transitive closure logic (LICS 1992) More Information...
• Paper: Gregory L. McColm
  Zero-one laws for Gilbert random graphs (LICS 1996) More Information...

William McCune

• Invited Paper: William McCune
  Searching for Fixed-Point Combinators with the Kernel Method (LICS 1990) More Information...

Guy McCusker

• Paper: Samson Abramsky Guy McCusker
  Games and Full Abstraction for the Lazy Lambda-Calculus (LICS 1995) More Information...
• Paper: Guy McCusker
  Games and Full Abstraction for FPC (LICS 1996) More Information...
• Paper: Samson Abramsky Kohei Honda Guy McCusker
  A Fully Abstract Game Semantics for General References (LICS 1998) More Information...
• Paper: Russell Harmer Guy McCusker
  A Fully Abstract Game Semantics for Finite Nondeterminism (LICS 1999) More Information...
• Paper: Martin Churchill James Laird Guy McCusker
  Imperative Programs as Proofs via Game Semantics (LICS 2011) More Information...

Raymond C. McDowell

• Paper: Raymond C. McDowell Dale A. Miller
  A Logic for Reasoning with Higher-Order Abstract Syntax (LICS 1997) More Information...

Pierre McKenzie

• Paper: Augustin Baziramwabo Pierre McKenzie Denis Thérien
  Modular Temporal Logic (LICS 1999) More Information...

Ralph McKenzie

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

Richard McKinley

• Short Presentation: Richard McKinley
  Categorical Models of First-Order Classical Sequent Proofs (LICS 2004) More Information...

Kenneth L. McMillan

• Paper: Edmund M. Clarke David E. Long Kenneth L. McMillan
  Compositional model checking (LICS 1989) More Information...
• Paper: Jerry R. Burch Edmund M. Clarke Kenneth L. McMillan David L. Dill L. James Hwang
  Symbolic model checking: 10^20 states and beyond (LICS 1990) More Information...
• Paper: Rajeev Alur Kenneth L. McMillan Doron A. Peled
  Model-checking of correctness conditions for concurrent objects (LICS 1996) More Information...
• Invited Paper: Kenneth L. McMillan
  Some Strategies for Proving Theorems with a Model Checker (LICS 2000) More Information...

J. Antonio Medina

• Paper: J. Antonio Medina Neil Immerman
  A syntactic characterization of NP-completeness (LICS 1994) More Information...
• Paper: J. Antonio Medina Neil Immerman
  A generalization of Fagin's theorem (LICS 1996) More Information...

Nimrod Megiddo

• Paper: Ronald Fagin Joseph Y. Halpern Nimrod Megiddo
  A logic for reasoning about probabilities (LICS 1988) More Information...

Paul-André Melliès

• Paper: Paul-André Melliès
  Segal condition meets computational effects (LICS 2010) More Information...

Paul-André Melliès

• Paper: Georges Gonthier Jean-Jacques Lévy Paul-André Melliès
  An abstract standardisation theorem (LICS 1992) More Information...
• Paper: Paul-André Melliès
  A Stability Theorem in Rewriting Theory (LICS 1998) More Information...
• Paper: Samson Abramsky Paul-André Melliès
  Concurrent Games and Full Completeness (LICS 1999) More Information...
• Paper: Paul-André Melliès Jerome Vouillon
  Recursive Polymorphic Types and Parametricity in an Operational Framework (LICS 2005) More Information...
• Paper: Paul-André Melliès
  Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic (LICS 2005) More Information...
• Invited Paper: Russell Harmer Martin Hyland Paul-André Melliès
  Categorical Combinatorics for Innocent Strategies (LICS 2007) More Information...
• Paper: Paul-André Melliès Nicolas Tabareau
  Resource modalities in game semantics (LICS 2007) More Information...

Mohamed N. Menaa

• Short Presentation: Mohamed N. Menaa
  On the Compositionality of Round Abstraction (LICS 2010) More Information...

Nax P. Mendler

• Paper: Nax P. Mendler Prakash Panangaden Robert L. Constable
  Infinite Objects in Type Theory (LICS 1986) More Information...
• Paper: Nax P. Mendler
  Recursive Types and Type Constraints in Second-Order Lambda Calculus (LICS 1987) More Information...
• Paper: Nax P. Mendler
  Predictive type universes and primitive recursion (LICS 1991) More Information...

Paul F. Mendler

• Paper: Paul F. Mendler Peter Aczel
  The notion of a framework and a framework for LTC (LICS 1988) More Information...

Alexandru Mereacre

• Paper: Taolue Chen Tingting Han Joost-Pieter Katoen Alexandru Mereacre
  Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (LICS 2009) More Information...

José Meseguer

• Paper: Joseph A. Goguen José Meseguer
  Order-Sorted Algebra solves the Constructor-Selector, Multiple (LICS 1987) More Information...
• Paper: José Meseguer Ugo Montanari
  Petri nets are monoids: a new algebraic foundation for net theory (LICS 1988) More Information...
• Paper: Pierpaolo Degano José Meseguer Ugo Montanari
  Axiomatizing net computations and processes (LICS 1989) More Information...

Albert R. Meyer

• Paper: Albert R. Meyer
  Floyd-Hoare Logic Defines Semantics: Preliminary Version (LICS 1986) More Information...
• Paper: Val Breazu-Tannen Albert R. Meyer
  Polymorphism is conservative over simple types (Preliminary Report) (LICS 1987) More Information...
• Invited Paper: Albert R. Meyer Stavros S. Cosmadakis
  Semantical paradigms: notes for an invited lecture (LICS 1988) More Information...
• Paper: Stavros S. Cosmadakis Albert R. Meyer Jon G. Riecke
  Completeness for typed lazy inequalities (LICS 1990) More Information...
• Paper: Lalita Jategaonkar Albert R. Meyer
  Self-synchronization of concurrent processes (LICS 1993) More Information...

Christoph Meyer

• Paper: Harald Ganzinger Christoph Meyer Margus Veanes
  The Two-Variable Guarded Fragment with Transitive Relations (LICS 1999) More Information...

Antoine Meyer

• Paper: Arnaud Carayol Matthew Hague Antoine Meyer C.-H. Luke Ong Olivier Serre
  Winning Regions of Higher-Order Pushdown Games (LICS 2008) More Information...

Jakub Michaliszyn

• Paper: Jerzy Marcinkowski Jakub Michaliszyn
  The Ultimate Undecidability Result for the Halpern-Shoham Logic (LICS 2011) More Information...

Spiro Michaylov

• Paper: Soumitra Bose Edmund M. Clarke David E. Long Spiro Michaylov
  PARTHENON: a parallel theorem prover for non-Horn clauses (LICS 1989) More Information...

Marino Miculan

• Paper: Marino Miculan Fabio Gadducci
  Modal µ-Types for Processes (LICS 1995) More Information...

Aart Middeldorp

• Paper: Aart Middeldorp
  A sufficient condition for the termination of the direct sum of term rewriting systems (LICS 1989) More Information...

Alex Mifsud

• Paper: Alex Mifsud Robin Milner A. John Power
  Control Structures (LICS 1995) More Information...

Stefan Milius

• Short Presentation: Jiri Adamek Stefan Milius
  Wellfounded Coalgebras (LICS 2005) More Information...
• Paper: Stefan Milius
  A Sound and Complete Calculus for Finite Stream Circuits (LICS 2010) More Information...

Dale A. Miller

• Paper: Dale A. Miller Gopalan Nadathur Andre Scedrov
  Hereditary Harrop Formulas and Uniform Proof Systems (LICS 1987) More Information...
• Paper: Joshua S. Hodas Dale A. Miller
  Logic programming in a fragment of intuitionistic linear logic (LICS 1991) More Information...
• Paper: Dale A. Miller
  A multiple-conclusion meta-logic (LICS 1994) More Information...
• Paper: Raymond C. McDowell Dale A. Miller
  A Logic for Reasoning with Higher-Order Abstract Syntax (LICS 1997) More Information...
• Paper: Dale A. Miller Alwen F. Tiu
  A Proof Theory for Generic Judgments: An extended abstract (LICS 2003) More Information...
• Paper: Andrew Gacek Dale A. Miller Gopalan Nadathur
  Combining Generic Judgments with Recursive Definitions (LICS 2008) More Information...
• Paper: Olivier Delande Dale A. Miller
  A Neutral Approach to Proof and Refutation in MALL (LICS 2008) More Information...
• Paper: Chuck Liang Dale A. Miller
  A Unified Sequent Calculus for Focused Proofs (LICS 2009) More Information...

Robin Milner

• Invited Paper: Robin Milner
  Some Uses of Maximal Fixed Points (LICS 1987) More Information...
• Paper: Alex Mifsud Robin Milner A. John Power
  Control Structures (LICS 1995) More Information...
• Invited Paper: Robin Milner
  Calculi for Interactions (LICS 1996) More Information...

Tova Milo

• Paper: Noga Alon Tova Milo Frank Neven Dan Suciu Victor Vianu
  Typechecking XML Views of Relational Databases (LICS 2001) More Information...

Kathleen Milsted

• Paper: Giuseppe Longo Kathleen Milsted Sergei Soloviev
  The genericity theorem and the notion of parametricity in the polymorphic λ-calculus (LICS 1993) More Information...
• Paper: Giuseppe Longo Kathleen Milsted Sergei Soloviev
  A logic of subtyping (LICS 1995) More Information...

Peter Bro Miltersen

• Paper: Kristoffer Arnsfelt Hansen Michal Koucký Peter Bro Miltersen
  Winning Concurrent Reachability Games Requires Doubly-Exponential Patience (LICS 2009) More Information...

Samuel Mimram

• Paper: Samuel Mimram
  The Structure of First-Order Causality (LICS 2009) More Information...

Alexandre Miquel

• Paper: Alexandre Miquel
  A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping (LICS 2000) More Information...
• Paper: Alexandre Miquel
  Forcing as a Program Transformation (LICS 2011) More Information...

Michael W. Mislove

• Paper: Michael W. Mislove Lawrence S. Moss Frank J. Oles
  Non-well-founded sets obtained from ideal fixed points (LICS 1989) More Information...

John C. Mitchell

• Paper: John C. Mitchell Eugenio Moggi
  Kripke-Style models for typed lambda calculus (LICS 1987) More Information...
• Paper: Patrick Lincoln John C. Mitchell
  Operational aspects of linear lambda calculus (LICS 1992) More Information...
• Paper: John C. Mitchell Furio Honsell Kathleen Fisher
  A lambda calculus of objects and method specialization (LICS 1993) More Information...
• Paper: My Hoang John C. Mitchell Ramesh Viswanathan
  Standard ML-NJ weak polymorphism and imperative constructs (LICS 1993) More Information...
• Invited Paper: John C. Mitchell Ajith Ramanathan Vanessa Teague Andre Scedrov
  Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis (LICS 2001) More Information...
• Paper: Adam Barth John C. Mitchell
  Managing Digital Rights using Linear Logic (LICS 2006) More Information...

Wojciech Moczydlowski

• Paper: Wojciech Moczydlowski
  A Dependent Set Theory (LICS 2007) More Information...

Fabio Mogavero

• Paper: Alessandro Bianco Fabio Mogavero Aniello Murano
  Graded Computation Tree Logic (LICS 2009) More Information...

Virgile Mogbil

• Paper: Paulin Jacobé de Naurois Virgile Mogbil
  Correctness of Multiplicative Additive Proof Structures is NL-Complete (LICS 2008) More Information...

Rasmus E. Møgelberg

• Paper: Rasmus E. Møgelberg Alex K. Simpson
  Relational Parametricity for Computational Effects (LICS 2007) More Information...

Eugenio Moggi

• Paper: John C. Mitchell Eugenio Moggi
  Kripke-Style models for typed lambda calculus (LICS 1987) More Information...
• Paper: Eugenio Moggi
  Computational lambda-calculus and monads (LICS 1989) More Information...
• Paper: Eugenio Moggi
  A general semantics for Evaluation Logic (LICS 1994) More Information...
• Paper: Marcelo P. Fiore Eugenio Moggi Davide Sangiorgi
  A Fully-Abstract Model for the pi-calculus (Extended Abstract) (LICS 1996) More Information...

Christine Mohring

• Paper: Christine Mohring
  Algorithm Development in the Calculus of Constructions (LICS 1986) More Information...

Faron Moller

• Paper: Faron Moller
  The nonexistence of finite axiomatisations for CCS congruences (LICS 1990) More Information...
• Paper: Søren Christensen Yoram Hirshfeld Faron Moller
  Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes (LICS 1993) More Information...
• Paper: Faron Moller Alexander M. Rabinovich
  On the Expressive Power of CTL (LICS 1999) More Information...

Stefan Monnier

• Paper: Nadeem A. Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni
  A Syntactic Approach to Foundational Proof-Carrying Code (LICS 2002) More Information...

Antonio Montalbán

• Paper: Greg Hjorth Bakhadyr Khoussainov Antonio Montalbán André Nies
  From Automatic Structures to Borel Structures (LICS 2008) More Information...

Ugo Montanari

• Paper: Pierpaolo Degano Rocco De Nicola Ugo Montanari
  On the consistency of `truly concurrent' operational and denotational semantics (LICS 1988) More Information...
• Paper: José Meseguer Ugo Montanari
  Petri nets are monoids: a new algebraic foundation for net theory (LICS 1988) More Information...
• Paper: Pierpaolo Degano José Meseguer Ugo Montanari
  Axiomatizing net computations and processes (LICS 1989) More Information...
• Invited Paper: Roberto Bruni Ugo Montanari
  Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus (LICS 1999) More Information...
• Paper: Filippo Bonchi Ugo Montanari Barbara König
  Saturated Semantics for Reactive Systems (LICS 2006) More Information...

Angelo Montanari

• Paper: Angelo Montanari Gabriele Puppis
  A Contraction Method to Decide MSO Theories of Deterministic Trees (LICS 2007) More Information...
• Paper: Davide Bresolin Angelo Montanari Pietro Sala Guido Sciavicco
  What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL (LICS 2011) More Information...

Luís F. Monteiro

• Paper: Luís F. Monteiro Fernando C. N. Pereira
  A Sheaf-Theoretic Model of Concurrency (LICS 1986) More Information...

J. Strother Moore

• Invited Paper: J. Strother Moore
  Theorem Proving for Verification: The Early Days (LICS 2010) More Information...

Barbara Morawska

• Paper: Christopher Lynch Barbara Morawska
  Automatic Decidability (LICS 2002) More Information...

Carroll Morgan

• Paper: Yuxin Deng Rob J. van Glabbeek Matthew Hennessy Carroll Morgan Chenyi Zhang
  Characterising Testing Preorders for Finite Probabilistic Processes (LICS 2007) More Information...

Tsuyoshi Morioka

• Short Presentation: Tsuyoshi Morioka
  The Relative Complexity of Local Search Heuristics and the Iteration Principle (LICS 2003) More Information...

Peter Morris

• Paper: Thorsten Altenkirch Peter Morris
  Indexed Containers (LICS 2009) More Information...

Yiannis N. Moschovakis

• Paper: Yiannis N. Moschovakis
  A game-theoretic modeling of concurrency (LICS 1989) More Information...
• Invited Paper: Yiannis N. Moschovakis
  The Axiomatic Derivation of Absolute Lower Bounds (LICS 2008) More Information...

Lawrence S. Moss

• Paper: Michael W. Mislove Lawrence S. Moss Frank J. Oles
  Non-well-founded sets obtained from ideal fixed points (LICS 1989) More Information...

Peter D. Mosses

• Paper: Peter D. Mosses
  Unified algebras and institutions (LICS 1989) More Information...

Ben C. Moszkowski

• Paper: Ben C. Moszkowski
  A Complete Axiomatization of Interval Temporal Logic with Infinite Time (LICS 2000) More Information...

Mohammad R. Mousavi

• Paper: Mohammad R. Mousavi Michel A. Reniers Jan F. Groote
  Congruence for SOS with Data (LICS 2004) More Information...

David E. Muller

• Paper: David E. Muller Ahmed Saoudi Paul E. Schupp
  Weak alternating automata give a simple explanation of why most temporal and dynamic logics are decidable in exponential time (LICS 1988) More Information...

Martin Müller

• Paper: Martin Müller Joachim Niehren Ralf Treinen
  The First-Order Theory of Ordering Constraints over Feature Trees (LICS 1998) More Information...
• Paper: Joachim Niehren Martin Müller Jean-Marc Talbot
  Entailment of Atomic Set Constraints is PSPACE-Complete (LICS 1999) More Information...

Philip Mulry

• Paper: Peter J. Freyd Philip Mulry Giuseppe Rosolini Dana S. Scott
  Extensional PERs (LICS 1990) More Information...

César A. Munoz

• Paper: César A. Munoz
  Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus (LICS 1996) More Information...

Aniello Murano

• Paper: Marco Faella Salvatore La Torre Aniello Murano
  Dense Real-time Games (LICS 2002) More Information...
• Paper: Alessandro Bianco Fabio Mogavero Aniello Murano
  Graded Computation Tree Logic (LICS 2009) More Information...

Andrzej S. Murawski

• Paper: Andrzej S. Murawski C.-H. Luke Ong
  Dominator Trees and Fast Verification of Proof Nets (LICS 2000) More Information...
• Paper: Andrzej S. Murawski
  On Program Equivalence in Languages with Ground-Type References (LICS 2003) More Information...
• Paper: Samson Abramsky Dan R. Ghica Andrzej S. Murawski C.-H. Luke Ong Ian D. B. Stark
  Nominal Games and Full Abstraction for the Nu-Calculus (LICS 2004) More Information...
• Short Presentation: Andrzej S. Murawski
  On the Effect of Bad Variables (LICS 2007) More Information...
• Paper: Andrzej S. Murawski
  Reachability Games and Game Semantics: Comparing Nondeterministic Programs (LICS 2008) More Information...
• Paper: Matthew Hague Andrzej S. Murawski C.-H. Luke Ong Olivier Serre
  Collapsible Pushdown Automata and Recursion Schemes (LICS 2008) More Information...
• Paper: Andrzej S. Murawski Nikos Tzevelekos
  Game Semantics for Good General References (LICS 2011) More Information...
• Short Presentation: Andrzej S. Murawski Nikos Tzevelekos
  Algorithmic nominal game semantics (LICS 2011) More Information...

Tom Murphy VII

• Paper: Tom Murphy VII Karl Crary Robert Harper Frank Pfenning
  A Symmetric Modal Lambda Calculus for Distributed Computing (LICS 2004) More Information...

Chetan R. Murthy

• Paper: Chetan R. Murthy James R. Russell
  A constructive proof of Higman's lemma (LICS 1990) More Information...
• Paper: Chetan R. Murthy
  An evaluation semantics for classical proofs (LICS 1991) More Information...
• Paper: Chetan R. Murthy
  A computational analysis of Girard's translation and LC (LICS 1992) More Information...

Anca Muscholl

• Paper: Ahmed Bouajjani Anca Muscholl Tayssir Touili
  Permutation Rewriting and Algorithmic Verification (LICS 2001) More Information...
• Paper: Mikołaj Bojańczyk Anca Muscholl Thomas Schwentick Luc Segoufin Claire David
  Two-Variable Logic on Words with Data (LICS 2006) More Information...

David R. Musser

• Paper: Deepak Kapur David R. Musser
  Inductive Reasoning with Incomplete Specifications (Preliminary Report) (LICS 1986) More Information...

Rasmus Ejlers Møgelberg

• Paper: Lars Birkedal Rasmus Ejlers Møgelberg Jan Schwinghammer Kristian Støvring
  First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LICS 2011) More Information...