Dale Miller

Cited by

	All	Since 2018
Citations	10952	1966
h-index	56	23
i10-index	115	53

460

230

115

345

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202358 95 147 173 198 256 266 449 262 264 302 295 313 232 285 280 211 243 313 305 335 341 364 424 271 348 354 244 376 303 410 334 408 278 358 263 324

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
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 LeicesterVerified email at leicester.ac.uk
Matteo ManighettiINRIA, École PolytechniqueVerified email at lix.polytechnique.fr
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
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
Sonia MarinLecturer, University of BirminghamVerified email at bham.ac.uk

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	898	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	785	1991
Logic programming in a fragment of intuitionistic linear logic JS Hodas, D Miller Information and computation 110 (2), 327-365, 1994	647	1994
An overview of λProlog G Nadathur, D Miller Fifth International Logic Programming Conference, 810--827, 1988	641*	1988
A logical analysis of modules in logic programming D Miller The Journal of Logic Programming 6 (1-2), 79-108, 1989	405	1989
Unification under a mixed prefix D Miller Journal of symbolic computation 14 (4), 321-358, 1992	303	1992
Higher-order logic programming DA Miller, G Nadathur International Conference on Logic Programming, 448-462, 1986	261	1986
A multiple-conclusion specification logic D Miller Theoretical computer science 165 (1), 201-232, 1996	249	1996
Focusing and polarization in linear, intuitionistic, and classical logics C Liang, D Miller Theoretical Computer Science 410 (46), 4747-4768, 2009	235	2009
Programming with higher-order logic D Miller, G Nadathur Cambridge University Press, 2012	226	2012
A proof theory for generic judgments D Miller, A Tiu ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005	193	2005
From operational semantics to abstract machines J Hannan, D Miller Mathematical Structures in Computer Science 2 (4), 415-459, 1992	180*	1992
Specifying theorem provers in a higher-order logic programming language A Felty, D Miller International Conference on Automated Deduction, 61-80, 1988	180	1988
A compact representation of proofs DA Miller Studia Logica 46, 347-370, 1987	176	1987
The π-calculus as a theory in linear logic: Preliminary results D Miller International Workshop on Extensions of Logic Programming, 242-264, 1992	173	1992
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	152	1994
Higher-Order Logic Programming G Nadathur, D Miller Handbook of Logic in Artificial Intelligence and Logic Programming 5, 499-590, 1998	147	1998
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	138	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