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
(59)
Daniel Hirschkoff
15
Naoki Kobayashi (小林直樹)
7
Michele Boreale
7
Ivan Lanese
6
Romain Demangeon
6
Conferences
(24)
LICS
9
ICALP
7
CONCUR
7
TGC
5
MFCS
3
Journals
(15)
TCS
10
IANDC
7
MSCS
7
ACTA
5
LMCS
5
Keywords
(107)
Embed
Subscribe
Academic
Authors
Davide Sangiorgi
Edit
Davide Sangiorgi
Università di Bologna
Publications: 135
|
Citations: 4649
|
G-Index: 67
|
H-Index: 33
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
59 co-authors
from 1990 to 2011
; Cited by
1495 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(135)
BibTeX
|
RIS
|
RefWorks
Download
Environmental bisimulations for higher-order languages
Davide Sangiorgi
,
Naoki Kobayashi
,
Eijiro Sumii
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 1, pp. 1-69, 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
An operational semantics for a calculus for wireless systems
(
Citations: 3
)
Ivan Lanese
,
Davide Sangiorgi
Journal:
Theoretical Computer Science - TCS
, vol. 411, no. 19, pp. 1928-1948, 2010
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
Order by:
Citations
(4649 times by 2187 publications)
An abstract model of service discovery and binding
(
Citations: 5
)
José Luiz Fiadeiro
,
Antónia Lopes
,
Laura Bocchi
Published in 2011.
The Calculus in the Calculus
(
Citations: 2
)
Xiaojuan Cai
,
Yuxi Fu
Published in 2011.
Refinement types for secure implementations
(
Citations: 3
)
Jesper Bengtson
,
Karthikeyan Bhargavan
,
Cédric Fournet
,
Andrew D. Gordon
,
Sergio Maffeis
Journal:
IEEE Computer Society
, vol. 33, no. 2, pp. 1-45, 2011
The effect of temperature and pressure on thermodynamic properties of diesel and biodiesel fuels
(
Citations: 2
)
R. Payri
,
F. J. Salvador
,
J. Gimeno
,
G. Bracho
Journal:
Fuel
, vol. 90, no. 3, pp. 1172-1180, 2011
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
Comments