ACM/IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
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
Papers and Short Presentations by Authors: N
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
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...
Last modified: 2022-10-31
13:49
Sam Staton