Dale Miller

Cited by

	All	Since 2019
Citations	11270	1878
h-index	57	23
i10-index	117	53

460

230

115

345

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202456 97 141 172 195 263 274 458 270 262 315 285 312 232 285 296 214 270 314 297 329 344 370 429 277 351 348 255 362 304 404 335 391 282 358 272 345 229

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gopalan NadathurProfessor of Computer Science and Engineering, University of MinnesotaVerified email at cs.umn.edu
Alwen TiuSchool of Computing, The Australian National UniversityVerified email at anu.edu.au
Chuck LiangProfessor of Computer Science, Hofstra UniversityVerified email at hofstra.edu
Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Amy FeltyProfessor of Computer Science, University of OttawaVerified email at eecs.uottawa.ca
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Vivek NigamAppleVerified email at apple.com
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Zakaria ChihaniCEAVerified email at cea.fr
Roberto BlancoMPI-SPVerified email at csp.mpg.de
Marco VolpeUniversity of LeicesterVerified email at leicester.ac.uk
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Matteo ManighettiINRIA, École PolytechniqueVerified email at lix.polytechnique.fr
Tomer LibalUniversity of LuxembourgVerified email at uni.lu
Alberto MomiglianoDI, University of MilanVerified email at di.unimi.it
Ulysse GérardUniversité Paris DiderotVerified email at irif.fr
Yuting WangShanghai Jiao Tong UniversityVerified email at sjtu.edu.cn

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

Verified email at inria.fr - Homepage

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Uniform proofs as a foundation for logic programming D Miller, G Nadathur, F Pfenning, A Scedrov Annals of Pure and Applied logic 51 (1-2), 125-157, 1991	922	1991
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification D Miller Journal of Logic and Computation 1 (4), 497--536, 1991	798	1991
Logic programming in a fragment of intuitionistic linear logic JS Hodas, D Miller Information and computation 110 (2), 327-365, 1994	662	1994
An overview of λProlog G Nadathur, D Miller Fifth International Logic Programming Conference, 810--827, 1988	645*	1988
A logical analysis of modules in logic programming D Miller The Journal of Logic Programming 6 (1-2), 79-108, 1989	417	1989
Unification under a mixed prefix D Miller Journal of symbolic computation 14 (4), 321-358, 1992	307	1992
Higher-order logic programming DA Miller, G Nadathur International Conference on Logic Programming, 448-462, 1986	265	1986
Focusing and polarization in linear, intuitionistic, and classical logics C Liang, D Miller Theoretical Computer Science 410 (46), 4747-4768, 2009	257	2009
A multiple-conclusion specification logic D Miller Theoretical computer science 165 (1), 201-232, 1996	254	1996
Programming with higher-order logic D Miller, G Nadathur Cambridge University Press, 2012	244	2012
A proof theory for generic judgments D Miller, A Tiu ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005	194	2005
A compact representation of proofs DA Miller Studia Logica 46, 347-370, 1987	190	1987
Specifying theorem provers in a higher-order logic programming language A Felty, D Miller International Conference on Automated Deduction, 61-80, 1988	184	1988
From operational semantics to abstract machines J Hannan, D Miller Mathematical Structures in Computer Science 2 (4), 415-459, 1992	182*	1992
The π-calculus as a theory in linear logic: Preliminary results D Miller International Workshop on Extensions of Logic Programming, 242-264, 1992	176	1992
A logic programming approach to manipulating formulas and programs D Miller, G Nadathur IEEE Symposium on Logic Programming, 379--388, 1987	166	1987
Higher-Order Logic Programming G Nadathur, D Miller Handbook of Logic in Artificial Intelligence and Logic Programming 5, 499-590, 1998	156	1998
A multiple-conclusion meta-logic D Miller Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 272-281, 1994	155	1994
A theory of modules for logic programming D Miller Third Annual IEEE Symposium on Logic Programming, 106-114, 1986	143	1986
Higher-order Horn clauses G Nadathur, D Miller Journal of the ACM (JACM) 37 (4), 777-814, 1990	141	1990

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors