Jorge Andres Perez Parra
AuthID: R-001-WNN
1
TITLE: Spontaneous Intracranial Hypotension and Multi-Level Cervical and Lumbar Epidural Blood Patches: A Case Report
AUTHORS: Parra, Andre; Relvas, Flavia; Pereira, Paulo M.; Carrilho, Alexandre;
PUBLISHED: 2022, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 14, ISSUE: 8
AUTHORS: Parra, Andre; Relvas, Flavia; Pereira, Paulo M.; Carrilho, Alexandre;
PUBLISHED: 2022, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 14, ISSUE: 8
INDEXED IN: 
WOS
WOS2
TITLE: Aquae pluviae et caducae. Drainage and Waterproofing Systems to Avoid Surface Runoff in Augusta Emerita (Merida, Spain) and Mirobriga (Santiago do Cacem, Portugal)
AUTHORS: Perez, JA; Felicio, C;
PUBLISHED: 2021, SOURCE: ZEPHYRUS-REVISTA DE PREHISTORIA Y ARQUEOLOGIA, VOLUME: 88
AUTHORS: Perez, JA; Felicio, C;
PUBLISHED: 2021, SOURCE: ZEPHYRUS-REVISTA DE PREHISTORIA Y ARQUEOLOGIA, VOLUME: 88
INDEXED IN: WOS
WOS3
TITLE: Domain-Aware Session Types (Extended Version) PDF
AUTHORS: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.01318
AUTHORS: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.01318
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv4
TITLE: Bioactivity, mechanical properties and drug delivery ability of bioactive glass-ceramic scaffolds coated with a natural-derived polymer Full Text
AUTHORS: Araújo, M; Viveiros, R; Philippart, A; Miola, M; Doumett, S; Baldi, G; Perez, J; Boccaccini, AR; Aguiar Ricardo, A; Verné, E;
PUBLISHED: 2017, SOURCE: Materials Science and Engineering C, VOLUME: 77
AUTHORS: Araújo, M; Viveiros, R; Philippart, A; Miola, M; Doumett, S; Baldi, G; Perez, J; Boccaccini, AR; Aguiar Ricardo, A; Verné, E;
PUBLISHED: 2017, SOURCE: Materials Science and Engineering C, VOLUME: 77
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef5
TITLE: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTHORS: Luis Caires ; Jorge A Perez;
PUBLISHED: 2016, SOURCE: 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems(FORTE) held as part of the 11th International Federated Conference on Distributed Computing Techniques (DisCoTec) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), VOLUME: 9688
AUTHORS: Luis Caires ; Jorge A Perez;
PUBLISHED: 2016, SOURCE: 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems(FORTE) held as part of the 11th International Federated Conference on Distributed Computing Techniques (DisCoTec) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), VOLUME: 9688
6
TITLE: Adaptable Processes (Extended Abstract)
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez; Gianluigi Zavattaro;
PUBLISHED: 2011, SOURCE: Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, VOLUME: 6722
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez; Gianluigi Zavattaro;
PUBLISHED: 2011, SOURCE: Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, VOLUME: 6722
INDEXED IN: WOS
WOS