ACM/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:

• Matthias Naaf
• Gopalan Nadathur
• Rajagopal Nagarajan
• Ramana Nagasamudram
• Sumit Nain
• Yoshiki Nakamura
• Hiroshi Nakano
• Kedar S. Namjoshi
• Yoji Nanjo
• Paliath Narendran
• Vaidhyanathan Natarajan
• Aniruddh Nath
• David A. Naumann
• Pavel Naumov
• George C. Necula
• Roger M. Needham
• Sara Negri
• Daniel Neider
• Shiva Nejati
• Anil Nerode
• Daniel Neuen
• Dhruv Nevatia
• Frank Neven
• Kang Feng Ng
• Phuong Nguyen
• Zhaozhong Ni
• Xavier Nicollin
• Joachim Niehren
• Mogens Nielsen
• Hannu Niemistö
• André Nies
• Robert Nieuwenhuis
• Joris Nieuwveld
• Matthias Niewerth
• Vivek Nigam
• Tobias Nipkow
• Gabriel Nivasch
• Damian Niwinski
• Gustav Nordh
• Jakob Nordström
• Fredrik Nordvall Forsberg
• Paige Randall North
• Klara Nosan
• Petr Novotný
• Juha Nurmonen
• Andreas Nuyts
• Mikkel Nygaard
• Aletta Nylén

Matthias Naaf

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

Gopalan Nadathur

• Paper: Dale A. Miller Gopalan Nadathur Andre Scedrov
  Hereditary Harrop Formulas and Uniform Proof Systems (LICS 1987) More Information...
• Paper: Gopalan Nadathur Donald W. Loveland
  Uniform proofs and disjunctive logic programming (LICS 1995) More Information...
• Paper: Andrew Gacek Dale A. Miller Gopalan Nadathur
  Combining Generic Judgments with Recursive Definitions (LICS 2008) More Information...
• Paper: David Baelde Gopalan Nadathur
  Combining Deduction Modulo and Logics of Fixed-Point Definitions (LICS 2012) More Information...

Rajagopal Nagarajan

• Paper: Simon J. Gay Rajagopal Nagarajan
  A Typed Calculus of Synchronous Processes (LICS 1995) More Information...

Ramana Nagasamudram

• Paper: Ramana Nagasamudram David A. Naumann
  Alignment Completeness for Relational Hoare Logics (LICS 2021) More Information...

Sumit Nain

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

Yoshiki Nakamura

• Paper: Yoshiki Nakamura
  Partial derivatives on graphs for Kleene allegories (LICS 2017) More Information...

Hiroshi Nakano

• Paper: Hiroshi Nakano
  A constructive formalization of the catch and throw mechanism (LICS 1992) More Information...
• Paper: Hiroshi Nakano
  A Modality for Recursion (LICS 2000) More Information...

Kedar S. Namjoshi

• Paper: E. Allen Emerson Kedar S. Namjoshi
  On Model Checking for Non-Deterministic Infinite-State Systems (LICS 1998) More Information...
• Paper: Dennis Dams Kedar S. Namjoshi
  The Existence of Finite Abstractions for Branching Time Model Checking (LICS 2004) More Information...

Yoji Nanjo

• Paper: Yoji Nanjo Hiroshi Unno Eric Koskinen Tachio Terauchi
  A Fixpoint Logic and Dependent Effects for Temporal Property Verification (LICS 2018) More Information...

Paliath Narendran

• Paper: Jean H. Gallier Wayne Snyder Paliath Narendran David A. Plaisted
  Rigid E-unification is NP-complete (LICS 1988) More Information...
• Paper: Deepak Kapur Paliath Narendran
  Double-exponential complexity of computing a complete set of AC-unifiers (LICS 1992) More Information...
• Paper: Paliath Narendran Michaël Rusinowitch
  The unifiability problem in ground AC theories (LICS 1993) More Information...
• Paper: Paliath Narendran Frank Pfenning Richard Statman
  On the unification problem for Cartesian closed categories (LICS 1993) More Information...
• Paper: Paliath Narendran
  Solving linear equations over polynomial semirings (LICS 1996) More Information...
• Paper: Hubert Comon-Lundh Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
  Decision Problems in Ordered Rewriting (LICS 1998) More Information...

Vaidhyanathan Natarajan

• Paper: Vaidhyanathan Natarajan Rance Cleaveland
  An Algebraic Theory of Process Efficiency (LICS 1996) More Information...

Aniruddh Nath

• Invited Paper: Pedro M. Domingos Daniel Lowd Stanley Kok Aniruddh Nath Hoifung Poon Matthew Richardson Parag Singla
  Unifying Logical and Statistical AI (LICS 2016) More Information...

David A. Naumann

• Paper: David A. Naumann Michael Barnett
  Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (LICS 2004) More Information...
• Paper: Ramana Nagasamudram David A. Naumann
  Alignment Completeness for Relational Hoare Logics (LICS 2021) More Information...

Pavel Naumov

• Short Presentation: Pavel Naumov
  Logic of Subtyping (LICS 2003) More Information...

George C. Necula

• Paper: George C. Necula Peter Lee
  Efficient Representation and Validation of Proofs (LICS 1998) More Information...
• Paper: George C. Necula Robert R. Schneck
  A Sound Framework for Untrusted Verification-Condition Generators (LICS 2003) More Information...

Roger M. Needham

• Invited Paper: Roger M. Needham
  Logic and Over-Simplification (LICS 1998) More Information...

Sara Negri

• Paper: Deepak Garg Valerio Genovese Sara Negri
  Countermodels from Sequent Calculi in Multi-Modal Logics (LICS 2012) More Information...

Daniel Neider

• Short Presentation: Daniel Neider Roman Rabinovich Martin Zimmermann
  Down the Borel Hierarchy: Solving Muller Games via Safety Games (LICS 2012) More Information...

Shiva Nejati

• Short Presentation: Shiva Nejati Arie Gurfinkel
  Stuttering Refinement on Partial Systems (LICS 2003) More Information...

Anil Nerode

• Invited Paper: Anil Nerode
  A Logician Looks at Expert Systems: Areas for Mathematical Research (LICS 1986) More Information...
• Paper: Anil Nerode Jeffrey B. Remmel Andre Scedrov
  Polynomially graded logic I. A graded version of system T (LICS 1989) More Information...
• 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...

Daniel Neuen

• Paper: Martin Grohe Daniel Neuen
  Canonisation and Definability for Graphs of Bounded Rank Width (LICS 2019) More Information...

Dhruv Nevatia

• Paper: Amaldev Manuel Dhruv Nevatia
  An Algebraic Characterisation of First-Order Logic with Neighbour (LICS 2021) More Information...

Frank Neven

• Paper: Noga Alon Tova Milo Frank Neven Dan Suciu Victor Vianu
  Typechecking XML Views of Relational Databases (LICS 2001) More Information...
• Paper: Leonid Libkin Frank Neven
  Logical Definability and Query Languages over Unranked Trees (LICS 2003) More Information...

Kang Feng Ng

• Paper: Amar Hadzihasanovic Kang Feng Ng Quanlong Wang
  Two complete axiomatisations of pure-state qubit quantum computing (LICS 2018) More Information...

Phuong Nguyen

• Paper: Phuong Nguyen Stephen A. Cook
  VTC⁰: A Second-Order Theory for TC⁰ (LICS 2004) More Information...
• Paper: Phuong Nguyen
  Separating DAG-Like and Tree-Like Proof Systems (LICS 2007) More Information...
• Paper: Phuong Nguyen Stephen A. Cook
  The Complexity of Proving the Discrete Jordan Curve Theorem (LICS 2007) More Information...

Zhaozhong Ni

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

Xavier Nicollin

• Paper: Thomas A. Henzinger Xavier Nicollin Joseph Sifakis Sergio Yovine
  Symbolic model checking for real-time systems (LICS 1992) More Information...

Joachim Niehren

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

Mogens Nielsen

• Paper: André Joyal Mogens Nielsen Glynn Winskel
  Bisimulation and open maps (LICS 1993) More Information...

Hannu Niemistö

• Paper: Hannu Niemistö
  On Locality and Uniform Reduction (LICS 2005) More Information...

André Nies

• Paper: Bakhadyr Khoussainov André Nies Sasha Rubin Frank Stephan
  Automatic Structures: Richness and Limitations (LICS 2004) More Information...
• Paper: Greg Hjorth Bakhadyr Khoussainov Antonio Montalbán André Nies
  From Automatic Structures to Borel Structures (LICS 2008) More Information...
• Paper: Benoit Monin André Nies
  A Unifying Approach to the Gamma Question (LICS 2015) More Information...

Robert Nieuwenhuis

• Paper: Hubert Comon-Lundh Robert Nieuwenhuis Albert Rubio
  Orderings, AC-theories and Symbolic Constraint Solving (LICS 1995) More Information...
• Paper: Robert Nieuwenhuis
  Basic Paramodulation and Decidable Theories (LICS 1996) More Information...
• Paper: Hubert Comon-Lundh Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
  Decision Problems in Ordered Rewriting (LICS 1998) More Information...
• Paper: Miquel Bofill Guillem Godoy Robert Nieuwenhuis Albert Rubio
  Paramodulation with Non-Monotonic Orderings (LICS 1999) More Information...
• Paper: Guillem Godoy Robert Nieuwenhuis
  Paramodulation with Built-In Abelian Groups (LICS 2000) More Information...
• Paper: Guillem Godoy Robert Nieuwenhuis
  On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups (LICS 2001) More Information...

Joris Nieuwveld

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

Matthias Niewerth

• Paper: Matthias Niewerth
  MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras (LICS 2018) More Information...

Vivek Nigam

• Paper: Vivek Nigam
  On the Complexity of Linear Authorization Logics (LICS 2012) More Information...

Tobias Nipkow

• Paper: Tobias Nipkow
  Proof transformations for equational theories (LICS 1990) More Information...
• Paper: Tobias Nipkow
  Higher-order critical pairs (LICS 1991) More Information...
• Paper: Tobias Nipkow
  Functional unification of higher-order patterns (LICS 1993) More Information...

Gabriel Nivasch

• Paper: Jeff Erickson Gabriel Nivasch Junyan Xu
  Fusible numbers and Peano Arithmetic (LICS 2021) More Information...

Damian Niwinski

• Paper: Damian Niwinski
  Fixed points vs. infinite generation (LICS 1988) More Information...
• Paper: Damian Niwinski Alexei P. Stolboushkin
  y=2x vs. y=3x (LICS 1993) More Information...
• Paper: Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz
  The Horn Mu-calculus (LICS 1998) More Information...

Gustav Nordh

• Paper: Gustav Nordh Peter Jonsson
  An Algebraic Approach to the Complexity of Propositional Circumscription (LICS 2004) More Information...
• Paper: Arnaud Durand Miki Hermann Gustav Nordh
  Trichotomy in the Complexity of Minimal Inference (LICS 2009) More Information...

Jakob Nordström

• Paper: Christoph Berkholz Jakob Nordström
  Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps (LICS 2016) More Information...

Fredrik Nordvall Forsberg

• Paper: Neil Ghani Lorenzo Malatesta Fredrik Nordvall Forsberg Anton Setzer
  Fibred Data Types (LICS 2013) More Information...

Paige Randall North

• Paper: Benedikt Ahrens Paige Randall North Michael Shulman Dimitris Tsementzis
  A Higher Structure Identity Principle (LICS 2020) More Information...
• Paper: Benedikt Ahrens Paige Randall North Niels van der Weide
  Semantics for two-dimensional type theory (LICS 2022) More Information...

Klara Nosan

• Paper: Nikhil Balaji Klara Nosan Mahsa Shirmohammadi James Worrell
  Identity Testing for Radical Expressions (LICS 2022) More Information...

Petr Novotný

• Paper: Tomáš Brázdil Stefan Kiefer Antonín Kučera Petr Novotný Joost-Pieter Katoen
  Zero-reachability in probabilistic multi-counter automata (LICS 2014) More Information...
• Paper: Tomáš Brázdil Stefan Kiefer Antonín Kučera Petr Novotný
  Long-Run Average Behaviour of Probabilistic Vector Addition Systems (LICS 2015) More Information...
• 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...

Juha Nurmonen

• Paper: Juha Nurmonen
  Counting Modulo Quantifiers on Finite Linearly Ordered Trees (LICS 1996) More Information...
• Paper: Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong
  Logics with Aggregate Operators (LICS 1999) More Information...

Andreas Nuyts

• Paper: Andreas Nuyts Dominique Devriese
  Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory (LICS 2018) More Information...
• Paper: Daniel Gratzer G. A. Kavvos Andreas Nuyts Lars Birkedal
  Multimodal Dependent Type Theory (LICS 2020) More Information...

Mikkel Nygaard

• Paper: Mikkel Nygaard Glynn Winskel
  Linearity in Process Languages (LICS 2002) More Information...

Aletta Nylén

• Paper: Parosh A. Abdulla Aletta Nylén
  Better is Better than Well: On Efficient Verification of Infinite-State Systems (LICS 2000) More Information...