Jorge Andres Perez Parra


AuthID: R-001-WNN

Publicações Confirmadas: 25



1
TÍTULO: Disciplined structured communications with disciplined runtime adaptation  Full Text
AUTORES: Cinzia Di Giusto; Jorge A Perez ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 97, NÚMERO: P2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
TÍTULO: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTORES: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2014, FONTE: 6th International Conference on Language and Automata Theory and Applications (LATA) in INFORMATION AND COMPUTATION, VOLUME: 239
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
NO MEU: ORCID
3
TÍTULO: Towards formal interaction-based models of grid computing infrastructures  Full Text
AUTORES: Restrepo, CAR; Aranda, J; Perez, JA ; Diaz Frias, JF;
PUBLICAÇÃO: 2014, FONTE: 9th International Workshop on Developments in Computational Models, DCM 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 144
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
4
TÍTULO: Towards Global and Local Types for Adaptation
AUTORES: Mario Bravetti; Marco Carbone; Thomas Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A Perez ; Gianluigi Zavattaro;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
5
TÍTULO: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTORES: Luis Caires ; Jorge A Perez ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 35
NO MEU: ORCID
6
TÍTULO: Disciplined structured communications with consistent runtime adaptation  Full Text
AUTORES: Di Giusto, C; Perez, JA ;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
7
TÍTULO: Session types with runtime adaptation: Overview and examples  Full Text
AUTORES: Di Giusto, C; Pérez, JA ;
PUBLICAÇÃO: 2013, FONTE: 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 137
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
8
TÍTULO: ADAPTABLE PROCESSES  Full Text
AUTORES: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez ; Gianluigi Zavattaro;
PUBLICAÇÃO: 2012, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 8, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
9
TÍTULO: Linear Logical Relations for Session-Based Concurrency  Full Text
AUTORES: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: 21st European Symposium on Programming (ESOP) held as Part of the 15th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7211
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID
10
TÍTULO: Steps on the road to component evolvability
AUTORES: Bravetti, M; Di Giusto, C; Perez, JA ; Zavattaro, G;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 1 de 3. Total de resultados: 25.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service