Dale Miller

Cited by

	All	Since 2017
Citations	10472	2028
h-index	55	22
i10-index	112	53

440

220

110

330

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202228 47 86 147 161 196 290 261 423 249 281 310 278 298 232 288 275 214 252 286 306 320 307 396 425 271 349 338 242 352 303 430 334 402 286 400 175

Public access

View all

26 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 TiuResearch School of Computer Science, The Australian National UniversityVerified email at anu.edu.au
Chuck LiangProfessor of Computer Science, Hofstra UniversityVerified email at hofstra.edu
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
Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Vivek NigamHuaweiVerified email at huawei.com
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Zakaria ChihaniCEAVerified email at cea.fr
Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Marco VolpeUniversity of Osnabrück, Institute of Cognitive Science, Department of Artificial IntelligenceVerified email at uni-osnabrueck.de
Remo PareschiAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Tomer LibalAmerican University of ParisVerified email at aup.edu
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Ulysse GérardUniversité Paris DiderotVerified email at irif.fr
Yuting WangShanghai Jiao Tong UniversityVerified email at sjtu.edu.cn
Christoph BenzmüllerFull Professor at University of Bamberg & Professor (apl.) at FU BerlinVerified email at fu-berlin.de
Alberto MomiglianoDI, University of MilanVerified email at di.unimi.it

Dale Miller

Director of Research, INRIA

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	867	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	765	1991
Logic programming in a fragment of intuitionistic linear logic JS Hodas, D Miller Information and computation 110 (2), 327-365, 1994	629	1994
An overview of λProlog G Nadathur, D Miller Fifth International Logic Programming Conference, 810--827, 1988	622*	1988
A logical analysis of modules in logic programming D Miller The Journal of Logic Programming 6 (1-2), 79-108, 1989	385	1989
Unification under a mixed prefix D Miller Journal of symbolic computation 14 (4), 321-358, 1992	283	1992
Higher-order logic programming DA Miller, G Nadathur International Conference on Logic Programming, 448-462, 1986	254	1986
A multiple-conclusion specification logic D Miller Theoretical computer science 165 (1), 201-232, 1996	245	1996
Focusing and polarization in linear, intuitionistic, and classical logics C Liang, D Miller Theoretical Computer Science 410 (46), 4747-4768, 2009	215	2009
Programming with higher-order logic D Miller, G Nadathur Cambridge University Press, 2012	206	2012
A proof theory for generic judgments D Miller, A Tiu ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005	185	2005
The π-calculus as a theory in linear logic: Preliminary results D Miller International Workshop on Extensions of Logic Programming, 242-264, 1992	173	1992
Specifying theorem provers in a higher-order logic programming language A Felty, D Miller International Conference on Automated Deduction, 61-80, 1988	173	1988
A compact representation of proofs DA Miller Studia Logica 46 (4), 347-370, 1987	168	1987
From operational semantics to abstract machines J Hannan, D Miller Mathematical Structures in Computer Science 2 (4), 415-459, 1992	167*	1992
A logic programming approach to manipulating formulas and programs D Miller, G Nadathur IEEE Symposium on Logic Programming, 379--388, 1987	160	1987
A multiple-conclusion meta-logic D Miller Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 272-281, 1994	155	1994
Higher-Order Logic Programming G Nadathur, D Miller Handbook of Logic in Artificial Intelligence and Logic Programming 5, 499-590, 1998	146	1998
A theory of modules for logic programming D Miller Third Annual IEEE Symposium on Logic Programming, 106-114, 1986	135	1986
Higher-order Horn clauses G Nadathur, D Miller Journal of the ACM (JACM) 37 (4), 777-814, 1990	134	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