Hugo Torres Vieira

Cited by

	All	Since 2019
Citations	979	387
h-index	14	8
i10-index	16	6

20062007200820092010201120122013201420152016201720182019202020212022202320244 17 21 42 55 54 53 43 46 66 73 54 48 81 60 55 58 84 48

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaVerified email at fct.unl.pt
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
Carla FerreiraNOVA LINCS / NOVA University LisbonVerified email at fct.unl.pt
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonVerified email at ist.utl.pt
Yehia Abd AlrahmanAssociate Professor in Computing, University of GothenburgVerified email at gu.se
Ivan ProkićUniversity of Novi SadVerified email at uns.ac.rs
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de

Hugo Torres Vieira

Evidence Srl

Verified email at evidence.eu.com

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016	295	2016
Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016	295	2016
Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016	295	2016
The Conversation Calculus: A Model of Service-Oriented Computation HT Vieira, L Caires, JC Seco Proceedings of the Theory and practice of software, 17th European conference …, 2008	142	2008
Conversation Types L Caires, HT Vieira Theoretical Computer Science 411 (51), 4399-4440, 2010	99	2010
Conversation types L Caires, HT Vieira European Symposium on Programming, 285-300, 2009	85	2009
A Process Calculus Analysis of Compensations L Caires, C Ferreira, H Vieira Trustworthy Global Computing, 87-103, 2009	45	2009
Typing liveness in multiparty communicating systems L Padovani, VT Vasconcelos, HT Vieira Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014	32	2014
Typing Liveness in Multiparty Communicating Systems L Padovani, VT Vasconcelos, HT Vieira	32*
Type-based Access Control in Data-Centric Systems L Caires, J Pérez, J Seco, H Vieira, L Ferrão Programming Languages and Systems, 136-155, 2011	30	2011
Typing progress in communication-centred systems HT Vieira, VT Vasconcelos International Conference on Coordination Languages and Models, 236-250, 2013	28	2013
Advanced mechanisms for service combination and transactions, Rigorous software engineering for service-oriented systems C Ferreira, I Lanese, A Ravara, HT Vieira, G Zavattaro Springer-Verlag, Berlin, Heidelberg, 2011	24*	2011
Advanced mechanisms for service combination and transactions C Ferreira, I Lanese, A Ravara, HT Vieira, G Zavattaro Rigorous software engineering for service-oriented systems, 302-325, 2011	24	2011
Advanced Mechanisms for Service Combination and Transactions C Ferreira, I Lanese, A Ravara, H Vieira, G Zavattaro Rigorous software engineering for service-oriented systems, 302-325, 2011	24	2011
A type system for flexible role assignment in multiparty communicating systems P Baltazar, L Caires, VT Vasconcelos, HT Vieira Trustworthy Global Computing: 7th International Symposium, TGC 2012 …, 2013	20	2013
Combining behavioural types with security analysis M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ... Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015	16	2015
SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications L Caires, HT Vieira International Conference on Tools and Algorithms for the Construction and …, 2012	16	2012
The spatial logic model checker user’s manual H Vieira, L Caires, R Viegas	16	2004
Foundations of behavioural types H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... Report of the EU COST Action IC1201–Behavioural Types for Reliable Large …, 2014	15	2014
A type language for message passing component-based systems Z Savanović, L Galletta, HT Vieira arXiv preprint arXiv:2009.07989, 2020	11	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors