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
(35)
Ugo Montanari
15
Roberto Bruni
12
Gianluigi Zavattaro
8
Davide Sangiorgi
6
Fabrizio Montesi
6
Conferences
(19)
SEFM
3
TGC
3
COORDINATION
2
Dagstuhl Seminars
2
WSFM
2
Journals
(7)
ENTCS
4
TCS
3
IANDC
1
TPLP
1
CORR
1
Keywords
(74)
Embed
Subscribe
Academic
Authors
Ivan Lanese
Edit
Ivan Lanese
Università di Bologna
Publications: 46
|
Citations: 330
|
G-Index: 16
|
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
35 co-authors
from 2004 to 2011
; Cited by
269 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(46)
BibTeX
|
RIS
|
RefWorks
Download
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
On the Expressive Power of Primitives for Compensation Handling
(
Citations: 4
)
Ivan Lanese
,
Cátia Vaz
,
Carla Ferreira
Conference:
European Symposium on Programming - ESOP
, pp. 366-386, 2010
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
Reversing Higher-Order Pi
(
Citations: 2
)
Ivan Lanese
,
Claudio Antares Mezzina
,
Jean-Bernard Stefani
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 478-493, 2010
Static vs Dynamic SAGAs
(
Citations: 1
)
Ivan Lanese
Journal:
Electronic Proceedings in Theoretical Computer Science
, pp. 51-65, 2010
Order by:
Citations
(330 times by 213 publications)
An abstract model of service discovery and binding
(
Citations: 5
)
José Luiz Fiadeiro
,
Antónia Lopes
,
Laura Bocchi
Published in 2011.
A Formal Support to Business and Architectural Design for Service-Oriented Systems
Roberto Bruni
,
Howard Foster
,
Alberto Lluch Lafuente
,
Ugo Montanari
,
Emilio Tuosto
Journal:
Lecture Notes in Computer Science - LNCS
, vol. 6582, 2011
Hierarchical Models for Service-Oriented Systems
Roberto Bruni
,
Andrea Corradini
,
Alberto Lluch Lafuente
,
Ugo Montanari
Journal:
Lecture Notes in Computer Science - LNCS
, vol. 6582, 2011
Combustion and emission characteristics of blends of diesel fuel and methanol-to-diesel
Zhiqiang Guo
,
Tianrui Li
,
Jinlong Dong
,
Rongrong Chen
,
Peijun Xue
,
Xuehong Wei
Journal:
Fuel
, vol. 90, no. 3, pp. 1305-1308, 2011
A WSDL-based type system for asynchronous WS-BPEL processes
Alessandro Lapadula
,
Rosario Pugliese
,
Francesco Tiezzi
Journal:
Formal Methods in System Design - FMSD
, vol. 38, no. 2, pp. 119-157, 2011
Comments