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
Co-authors
(24)
Camilo Rueda
13
Alberto Delgado
6
Carlos Alberto Olarte
6
Frank D. Valencia
5
Alan Schmitt
4
Conferences
(7)
ICLP(JICSLP)
4
MOZ
2
ICALP
1
LICS
1
SARA
1
Journals
(3)
IANDC
1
ENTCS
1
Electronic Proceedings in Theoretical Computer Science
1
Keywords
(64)
Embed
Subscribe
Academic
Authors
Jorge A. Perez
Edit
Jorge A. Perez (Jorge A. Pérez)
Universidade Nova de Lisboa
Publications: 24
|
Citations: 55
|
G-Index: 6
|
H-Index: 4
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:
Programming Languages
,
Algorithms & Theory
,
Artificial Intelligence
View FAQ about top research area and research interests
Collaborated with
24 co-authors
from 2004 to 2011
; Cited by
55 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(24)
BibTeX
|
EndNote
|
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
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
Towards a Unified Framework for Declarative Structured Communications
(
Citations: 4
)
Hugo A. López
,
Carlos Olarte
,
Jorge A. Perez
Published in 2010.
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Ivan Lanese
,
Jorge A. Perez
,
Davide Sangiorgi
,
Alan Schmitt
Conference:
International Colloquium on Automata, Languages and Programming - ICALP
, pp. 442-453, 2010
Towards a Unified Framework for Declarative Structured Communications
Hugo A. López
,
Carlos Olarte
,
Jorge A. Pérez
Journal:
Electronic Proceedings in Theoretical Computer Science
, vol. 17, pp. 1-15, 2010
Order by:
Citations
(55 times by 38 publications)
Characterizing Contextual Equivalence in Calculi with Passivation
(
Citations: 1
)
Alan Schmitt
,
Jean-Bernard Stefani
Published in 2010.
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Ivan Lanese
,
Jorge A. Perez
,
Davide Sangiorgi
,
Alan Schmitt
Conference:
International Colloquium on Automata, Languages and Programming - ICALP
, pp. 442-453, 2010
Declarative workflows to efficiently manage flexible and advanced business processes
Romain Demeyer
,
Maxime Van Assche
,
Ludovic Langevine
,
Wim Vanhoof
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 209-218, 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
Bisimulations for Open Processes in Higher Order p-Calculus
Zining Cao
Conference:
Theoretical Aspects of Software Engineering - TASE
, 2010
Comments