Neil Immerman
Affiliations: University of Massachusetts Amherst, USA
According to our database^{1},
Neil Immerman
authored at least 98 papers
between 1978 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2002, "For contributions to complexity theory, descriptive complexity, and database theory.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on orcid.org

on id.loc.gov

on dnb.info

on cs.umass.edu

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
CoRR, 2024
2023
CoRR, 2023
2021
Proceedings of the Computer Aided Verification  33rd International Conference, 2021
2020
Proc. ACM Program. Lang., 2020
New Results for the Complexity of Resilience for Binary Conjunctive Queries with SelfJoins.
Proceedings of the 39th ACM SIGMODSIGACTSIGAI Symposium on Principles of Database Systems, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
2019
Log. Methods Comput. Sci., 2019
CoRR, 2019
2016
Proceedings of the 43rd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2016
2015
The Complexity of Resilience and Responsibility for SelfJoinFree Conjunctive Queries.
Proc. VLDB Endow., 2015
A Characterization of the Complexity of Resilience and Responsibility for Selfjoinfree Conjunctive Queries.
CoRR, 2015
Proceedings of the 42nd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2015
2014
ACM SIGLOG News, 2014
Proceedings of the International Conference on Management of Data, 2014
Proceedings of the 41st Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2014
2013
VLDB J., 2013
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Computer Aided Verification  25th International Conference, 2013
2012
Applicability conditions for plans with loops: Computability results and algorithms.
Artif. Intell., 2012
Proceedings of the ECOOP 2012  ObjectOriented Programming, 2012
Proceedings of the Logic and Program Semantics, 2012
2011
Artif. Intell., 2011
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011
Proceedings of the TwentyFifth AAAI Conference on Artificial Intelligence, 2011
Proceedings of the TwentyFifth AAAI Conference on Artificial Intelligence, 2011
2010
Proc. VLDB Endow., 2010
Proceedings of the 25th Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2010
Proceedings of the 25th Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2010
Proceedings of the Fields of Logic and Computation, 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
2009
J. Comput. Syst. Sci., 2009
Simulating reachability using firstorder logic with applications to verification of linked data structures
Log. Methods Comput. Sci., 2009
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009
2008
Log. Methods Comput. Sci., 2008
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008
Proceedings of the 24th International Conference on Data Engineering, 2008
Proceedings of the TwentyThird AAAI Conference on Artificial Intelligence, 2008
2007
Electron. Colloquium Comput. Complex., 2007
Proceedings of the Verification, 2007
2006
Proceedings of the Circuits, Logic, and Games, 08.11.  10.11.2006, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Firstorder expressibility of languages with neutral letters or: The Crane Beach conjecture.
J. Comput. Syst. Sci., 2005
2004
The Boundary Between Decidability and Undecidability for TransitiveClosure Logics.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
ACM Trans. Comput. Log., 2003
Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEXIII 2003), 2003
2002
Math. Oper. Res., 2002
Algorithmica, 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002
2001
J. Symb. Log., 2001
Bull. Symb. Log., 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
Progress in Descriptive Complexity.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
2000
Log. J. IGPL, 2000
Inf. Comput., 2000
Proceedings of the UAI '00: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence, Stanford University, Stanford, California, USA, June 30, 2000
1999
Progress in Descriptive Complexity.
Bull. EATCS, 1999
Graduate texts in computer science, Springer, ISBN: 9780387986005, 1999
1998
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998
1997
SIAM J. Comput., 1997
J. Comput. Syst. Sci., 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
Theor. Comput. Sci., 1996
Proceedings of the Proceedings, 1996
1995
Inf. Comput., January, 1995
Theor. Comput. Sci., 1995
1994
CoRR, 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28, 1994
1992
Comb., 1992
1991
Proceedings of the Sixth Annual Structure in Complexity Theory Conference, Chicago, Illinois, USA, June 30, 1991
1990
J. Comput. Syst. Sci., 1990
1989
Inf. Comput., November, 1989
Theor. Comput. Sci., 1989
SIAM J. Comput., 1989
Proceedings of the Fundamentals of Computation Theory, 1989
1988
SIAM J. Comput., 1988
Proceedings of the Proceedings: Third Annual Structure in Complexity Theory Conference, 1988
1987
SIAM J. Comput., 1987
Inf. Process. Lett., 1987
Proceedings of the Second Annual Conference on Structure in Complexity Theory, 1987
1986
Inf. Control., 1986
Foundations of Knowledge for Distributed Systems.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986
1985
Inf. Control., 1985
Proceedings of the Automata, 1985
1983
Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983
1982
J. Comput. Syst. Sci., 1982
Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982
1981
J. Comput. Syst. Sci., 1981
1980
First Order Expressibility as a New Complexity Measure.
PhD thesis, 1980
1979
Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979
1978
Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978