Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(180)
Gopalan Nadathur
22
Bill Merrilees
19
Alwen Fernanto Tiu
10
Amy P. Felty
10
John Hannan
10
Conferences
(34)
ICLP(JICSLP)
9
CADE
9
LICS
8
ELP
4
LPAR(RCLP)
3
Journals
(30)
ENTCS
10
CORR
7
TCS
5
J BUS RES
5
TOCL
3
Keywords
(281)
Embed
Subscribe
Academic
Authors
Dale Miller
Edit
Dale Miller
The French National Institute for Research in Computer Science and Control
Publications: 205
|
Citations: 4586
|
G-Index: 64
|
H-Index: 34
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Programming Languages
,
Business Administration & Economics
View FAQ about top research area and research interests
Collaborated with
180 co-authors
from 1966 to 2011
; Cited by
2089 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(205)
BibTeX
|
RIS
|
RefWorks
Download
Nominal abstraction
(
Citations: 1
)
Andrew Gacek
,
Dale Miller
,
Gopalan Nadathur
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 1, pp. 48-73, 2011
A focused approach to combining logics
Chuck Liang
,
Dale Miller
Journal:
Annals of Pure and Applied Logic - APAL
, vol. 162, no. 9, pp. 679-697, 2011
Focused Inductive Theorem Proving
(
Citations: 6
)
David Baelde
,
Dale Miller
,
Zachary Snow
Conference:
Conference on Automated Deduction - CADE
, pp. 278-292, 2010
Proof search specifications of bisimulation and modal logics for the pi-calculus
(
Citations: 5
)
Alwen Tiu
,
Dale Miller
Journal:
ACM Transactions on Computational Logic - TOCL
, vol. 11, no. 2, pp. 1-35, 2010
A Framework for Proof Systems
(
Citations: 1
)
Vivek Nigam
,
Dale Miller
Journal:
Journal of Automated Reasoning - JAR
, vol. 45, no. 2, pp. 157-188, 2010
Order by:
Citations
(4586 times by 2294 publications)
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language
(
Citations: 1
)
Steffen Mazanek
,
Michael Hanus
Journal:
Journal of Visual Languages and Computing - VLC
, vol. 22, no. 1, pp. 66-89, 2011
Mechanizing the metatheory of LF
(
Citations: 1
)
Christian Urban
,
James Cheney
,
Stefan Berghofer
Journal:
ACM Transactions on Computational Logic - TOCL
, vol. 12, no. 2, pp. 1-42, 2011
Nominal abstraction
(
Citations: 1
)
Andrew Gacek
,
Dale Miller
,
Gopalan Nadathur
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 1, pp. 48-73, 2011
Development of new alumina-modified sorbents for CO 2 sorption and regeneration at temperatures below 200 °C
(
Citations: 1
)
Soo Chool Lee
,
Yong Mok Kwon
,
Chun Yong Ryu
,
Ho Jin Chae
,
Dhanusuraman Ragupathy
,
Suk Yong Jung
,
Joong Beom Lee
,
Chong Kul Ryu
,
Jae Chang Kim
Journal:
Fuel
, vol. 90, no. 4, pp. 1465-1470, 2011
Declarative programming for agent applications
John W. Lloyd
,
Kee Siong Ng
Journal:
Autonomous Agents and Multi-agent Systems - AAMAS
, vol. 23, no. 2, pp. 224-272, 2011
Comments