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)
Hugo Torres Vieira
10
Luis Monteiro (Luís Monteiro)
5
Joao Costa Seco (João Costa Seco)
5
Luca Cardelli
4
Joao Carlos Seco
4
Conferences
(13)
ESOP
6
CONCUR
4
ICLP(JICSLP)
2
ALP
2
TGC
2
Journals
(6)
TCS
4
IANDC
2
EATCS
1
ENTCS
1
Fuel and Energy Abstracts
1
Keywords
(106)
Embed
Subscribe
Academic
Authors
Luís Caires
Edit
Luís Caires
Universidade Nova de Lisboa
Publications: 45
|
Citations: 730
|
G-Index: 26
|
H-Index: 13
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
35 co-authors
from 1989 to 2011
; Cited by
446 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(45)
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
Session Types as Intuitionistic Linear Propositions
(
Citations: 3
)
Lu ´ is Caires
,
Frank Pfenning
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 222-236, 2010
Aliasing control with view-based typestate
(
Citations: 1
)
Filipe Militão
,
Jonathan Aldrich
,
Luís Caires
Published in 2010.
A Type System for Access Control Views in Object-Oriented Languages
Mário Pires
,
Luís Caires
Conference:
Workshop on Issues in the Theory of Security - WITS
, pp. 59-76, 2010
Order by:
Citations
(730 times by 433 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 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 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
Comments