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
(13)
Luís Caires
10
Joao Carlos Seco
3
Lucia Helena
3
Garofalo Chaves (Garófalo Chaves)
2
Ricardo A. Viegas (Ricardo A. Viégas)
2
Conferences
(2)
ESOP
3
TGC
1
Journals
(3)
ENTCS
2
TCS
1
Fuel and Energy Abstracts
1
Keywords
(55)
Embed
Subscribe
Academic
Authors
Hugo Torres Vieira
Edit
Hugo Torres Vieira
Universidade Nova de Lisboa
Publications: 16
|
Citations: 80
|
G-Index: 8
|
H-Index: 5
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
,
Engineering
View FAQ about top research area and research interests
Collaborated with
13 co-authors
from 2003 to 2011
; Cited by
77 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(16)
BibTeX
|
RIS
|
RefWorks
Download
Type-based Access Control in Data-Centric Systems
Luís Caires
,
Jorge A. Perez
,
Joao Costa Seco
,
Hugo Torres Vieira
Conference:
European Symposium on Programming - ESOP
, pp. 136-155, 2011
Conversation Types
(
Citations: 18
)
Luís Caires
,
Hugo Torres Vieira
Journal:
Theoretical Computer Science - TCS
, vol. 411, no. 51-52, pp. 285-300, 2010
Conversation types
Luís Caires
,
Hugo Torres Vieira
Journal:
Fuel and Energy Abstracts
, vol. 411, no. 51, pp. 4399-4440, 2010
Conversation Types
(
Citations: 18
)
Luís Caires
,
Hugo Torres Vieira
Conference:
European Symposium on Programming - ESOP
, 2009
The Conversation Calculus: A Model of Service-Oriented Computation
(
Citations: 30
)
Hugo Torres Vieira
,
Luís Caires
,
João Costa Seco
Conference:
European Symposium on Programming - ESOP
, pp. 269-283, 2008
Order by:
Citations
(80 times by 58 publications)
An abstract model of service discovery and binding
(
Citations: 5
)
José Luiz Fiadeiro
,
Antónia Lopes
,
Laura Bocchi
Published in 2011.
Dynamic multirole session types
(
Citations: 2
)
Pierre-Malo Deniélou
,
Nobuko Yoshida
Published in 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
Conversation Types
(
Citations: 18
)
Luís Caires
,
Hugo Torres Vieira
Journal:
Theoretical Computer Science - TCS
, vol. 411, no. 51-52, pp. 285-300, 2010
Parameterised Multiparty Session Types
(
Citations: 5
)
Nobuko Yoshida
,
Pierre-malo Deniélou
,
Andi Bejleri
,
Raymond Hu
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 128-145, 2010
Comments