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
(22)
Davide Sangiorgi
15
Damien Pous
10
Romain Demangeon
6
Etienne Lozes (Étienne Lozes)
5
Pascal Zimmer
3
Conferences
(14)
CONCUR
3
FoSSaCS
2
ICALP
1
LICS
1
TACAS
1
Journals
(8)
ENTCS
4
CORR
3
LMCS
3
JLP
2
STTT
1
Keywords
(53)
Embed
Subscribe
Academic
Authors
Daniel Hirschkoff
Edit
Daniel Hirschkoff
University of Lyon
Publications: 38
|
Citations: 253
|
G-Index: 14
|
H-Index: 10
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
,
Software Engineering
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
22 co-authors
from 1997 to 2010
; Cited by
213 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(38)
BibTeX
|
RIS
|
RefWorks
Download
Termination in Impure Concurrent Languages
(
Citations: 2
)
Romain Demangeon
,
Daniel Hirschkoff
,
Davide Sangiorgi
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 328-342, 2010
Termination in higher-order concurrent calculi
(
Citations: 1
)
Romain Demangeon
,
Daniel Hirschkoff
,
Davide Sangiorgi
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 79, no. 7, pp. 550-577, 2010
On Bisimilarity and Substitution in Presence of Replication
Daniel Hirschkoff
,
Damien Pous
Conference:
International Colloquium on Automata, Languages and Programming - ICALP
, pp. 454-465, 2010
Termination in Higher-Order Concurrent Calculi
(
Citations: 2
)
Romain Demangeon
,
Daniel Hirschkoff
,
Davide Sangiorgi
Conference:
Fundamentals of Software Engineering - FSEN
, pp. 81-96, 2009
Mobile Processes and Termination
(
Citations: 1
)
Romain Demangeon
,
Daniel Hirschkoff
,
Davide Sangiorgi
Conference:
Birthday ...
, pp. 250-273, 2009
Order by:
Citations
(253 times by 202 publications)
A decompilation of the pi-calculus and its application to termination
(
Citations: 1
)
Roberto M. Amadio
Journal:
Computing Research Repository - CORR
, vol. abs/1102.2, 2011
On the expressiveness and decidability of higher-order process calculi
Ivan Lanese
,
Jorge A. Pérez
,
Davide Sangiorgi
,
Alan Schmitt
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 2, pp. 198-226, 2011
A decentralised graphical implementation of mobile ambients
Fabio Gadducci
,
Giacoma Valentina Monreale
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 80, no. 2, pp. 113-136, 2011
A Type System for Complexity Flow Analysis
Jean-Yves Marion
Conference:
Logic in Computer Science - LICS
, pp. 123-132, 2011
Cost-driven autonomous mobility
(
Citations: 9
)
Xiao Yan Deng
,
Greg Michaelson
,
Philip W. Trinder
Journal:
Computer Languages, Systems & Structures - CL
, vol. 36, no. 1, pp. 34-59, 2010
Comments