Dale Miller

Cited by

	All	Since 2016
Citations	10280	2165
h-index	55	24
i10-index	110	58

440

220

110

330

19861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202126 45 95 145 139 194 272 260 419 253 282 311 281 312 239 283 286 214 251 274 304 320 306 397 427 267 351 344 245 357 303 423 330 401 310 397

Public access

View all

10 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
Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
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 PimentelUniversidade Federal do Rio Grande do NorteVerified email at mat.ufmg.br
Marco VolpeUniversity of Osnabrück, Institute of Cognitive Science, Department of Artificial IntelligenceVerified email at uni-osnabrueck.de
Tomer LibalAmerican University of ParisVerified email at aup.edu
Yuting WangShanghai Jiao Tong UniversityVerified email at sjtu.edu.cn
Ulysse GérardUniversité Paris DiderotVerified email at irif.fr
Christoph BenzmüllerProfessor, FU BerlinVerified email at fu-berlin.de
Alberto MomiglianoDI, University of MilanVerified email at di.unimi.it
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Remo PareschiAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it

Dale Miller

Director of Research (DRCE), 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	863	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	764	1991
Logic programming in a fragment of intuitionistic linear logic JS Hodas, D Miller Information and computation 110 (2), 327-365, 1994	632	1994
An overview of λProlog G Nadathur, D Miller Fifth International Logic Programming Conference, 810--827, 1988	623*	1988
A logical analysis of modules in logic programming D Miller The Journal of Logic Programming 6 (1-2), 79-108, 1989	383	1989
Unification under a mixed prefix D Miller Journal of symbolic computation 14 (4), 321-358, 1992	279	1992
Higher-order logic programming DA Miller, G Nadathur International Conference on Logic Programming, 448-462, 1986	256	1986
A multiple-conclusion specification logic D Miller Theoretical computer science 165 (1), 201-232, 1996	244	1996
Focusing and polarization in linear, intuitionistic, and classical logics C Liang, D Miller Theoretical Computer Science 410 (46), 4747-4768, 2009	209	2009
Programming with higher-order logic D Miller, G Nadathur Cambridge University Press, 2012	187	2012
A proof theory for generic judgments D Miller, A Tiu ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005	178	2005
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 compact representation of proofs DA Miller Studia Logica 46 (4), 347-370, 1987	169	1987
From operational semantics to abstract machines J Hannan, D Miller Mathematical Structures in Computer Science 2 (4), 415-459, 1992	168*	1992
Specifying theorem provers in a higher-order logic programming language A Felty, D Miller International Conference on Automated Deduction, 61-80, 1988	165	1988
A logic programming approach to manipulating formulas and programs D Miller, G Nadathur IEEE Symposium on Logic Programming, 379--388, 1987	152	1987
A multiple-conclusion meta-logic D Miller Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 272-281, 1994	151	1994
Higher-Order Logic Programming G Nadathur, D Miller Handbook of Logic in Artificial Intelligence and Logic Programming 5, 499-590, 1998	149	1998
Higher-order Horn clauses G Nadathur, D Miller Journal of the ACM (JACM) 37 (4), 777-814, 1990	133	1990
Cut-elimination for a logic with definitions and induction R McDowell, D Miller Theoretical Computer Science 232 (1-2), 91-119, 2000	130	2000

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 this author

Cited by

Co-authors