Dale Miller

Cited by

	All	Since 2018
Citations	10791	1808
h-index	56	21
i10-index	114	52

440

220

110

330

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202357 91 130 162 180 257 254 431 261 268 293 279 307 234 282 283 213 259 373 307 340 335 364 424 273 347 352 250 377 304 417 328 405 288 343 280 163

Public access

View all

23 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
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
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
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
Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Zakaria ChihaniCEAVerified email at cea.fr
Marco VolpeUniversity of Osnabrück, Institute of Cognitive Science, Department of Artificial IntelligenceVerified email at uni-osnabrueck.de
Tomer LibalUniversity of LuxembourgVerified email at uni.lu
Remo PareschiAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
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
Matteo ManighettiINRIA, École PolytechniqueVerified email at lix.polytechnique.fr
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergVerified email at fu-berlin.de

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	885	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	781	1991
Logic programming in a fragment of intuitionistic linear logic JS Hodas, D Miller Information and computation 110 (2), 327-365, 1994	644	1994
An overview of λProlog G Nadathur, D Miller Fifth International Logic Programming Conference, 810--827, 1988	638*	1988
A logical analysis of modules in logic programming D Miller The Journal of Logic Programming 6 (1-2), 79-108, 1989	392	1989
Unification under a mixed prefix D Miller Journal of symbolic computation 14 (4), 321-358, 1992	292	1992
Higher-order logic programming DA Miller, G Nadathur Third International Conference on Logic Programming: Imperial College of …, 1986	260	1986
A multiple-conclusion specification logic D Miller Theoretical computer science 165 (1), 201-232, 1996	248	1996
Focusing and polarization in linear, intuitionistic, and classical logics C Liang, D Miller Theoretical Computer Science 410 (46), 4747-4768, 2009	226	2009
Programming with higher-order logic D Miller, G Nadathur Cambridge University Press, 2012	218	2012
A proof theory for generic judgments D Miller, A Tiu ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005	193	2005
Specifying theorem provers in a higher-order logic programming language A Felty, D Miller 9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988	180	1988
From operational semantics to abstract machines J Hannan, D Miller Mathematical Structures in Computer Science 2 (4), 415-459, 1992	175*	1992
The π-calculus as a theory in linear logic: Preliminary results D Miller Extensions of Logic Programming: Third International Workshop, ELP'92 …, 1993	174	1993
A compact representation of proofs DA Miller Studia Logica, 347-370, 1987	174	1987
A logic programming approach to manipulating formulas and programs D Miller, G Nadathur IEEE Symposium on Logic Programming, 379--388, 1987	166	1987
A multiple-conclusion meta-logic D Miller Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 272-281, 1994	156	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	139	1990
A theory of modules for logic programming D Miller Third Annual IEEE Symposium on Logic Programming, 106-114, 1986	138	1986

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