Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Vieira, Hugo Torres
1174
Ergebnisse:
Online X
englisch X
Personensuche
X
Format
Online (1174)
Medientypen
E-Books (1)
Artikel (Online) (965)
Buchkapitel (Online) (60)
OpenAccess-Volltexte (148)
Sortierung: Relevanz
Sortierung: Jahr
?
1
Preface for the special issue on tool papers of the 23rd In..:
Audrito, Giorgio
;
Inverso, Omar
;
Vieira, Hugo Torres
Science of Computer Programming. 225 (2023) - p. 102899 , 2023
Link:
https://doi.org/10.1016/..
?
2
Preface for the special issue on tool papers of the 21st In..:
Inverso, Omar
;
Vieira, Hugo Torres
Science of Computer Programming. 204 (2021) - p. 102592 , 2021
Link:
https://doi.org/10.1016/..
?
3
The C-calculus: A model for confidential name passing:
Prokić, Ivan
;
Vieira, Hugo Torres
Journal of Logical and Algebraic Methods in Programming. 119 (2021) - p. 100622 , 2021
Link:
https://doi.org/10.1016/..
?
4
A calculus for modeling floating authorizations:
Prokić, Ivan
;
Pantović, Jovanka
;
Vieira, Hugo Torres
Journal of Logical and Algebraic Methods in Programming. 107 (2019) - p. 136-174 , 2019
Link:
https://doi.org/10.1016/..
?
5
Preface for the special issue on Interaction and Concurrenc..:
Lanese, Ivan
;
Lluch Lafuente, Alberto
;
Knight, Sophia
.
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 1 , 2017
Link:
https://doi.org/10.1016/..
?
6
Dynamic role authorization in multiparty conversations:
Ghilezan, Silvia
;
Jakšić, Svetlana
;
Pantović, Jovanka
..
Formal Aspects of Computing. 28 (2016) 4 - p. 643-667 , 2016
Link:
https://doi.org/10.1007/..
?
7
DisCoTec 2016 conference report:
Vieira, Hugo Torres
ACM SIGLOG News. 3 (2016) 3 - p. 78-79 , 2016
Link:
https://doi.org/10.1145/..
?
8
DisCoTec 2016 conference report:
Vieira, Hugo Torres
ACM SIGLOG News. 3 (2016) 3 - p. 78-79 , 2016
Link:
https://dl.acm.org/doi/1..
?
9
Foundations of Session Types and Behavioural Contracts:
Hüttel, Hans
;
Lanese, Ivan
;
Vasconcelos, Vasco T.
...
ACM Computing Surveys (CSUR). 49 (2016) 1 - p. 1-36 , 2016
Link:
https://dl.acm.org/doi/1..
?
10
Foundations of Session Types and Behavioural Contracts:
Hüttel, Hans
;
Lanese, Ivan
;
Vasconcelos, Vasco T.
...
ACM Computing Surveys. 49 (2016) 1 - p. 1-36 , 2016
Link:
https://doi.org/10.1145/..
?
11
Session details: Volume II: Software design and development..:
, In:
Proceedings of the 31st Annual ACM Symposium on Applied Computing
,
ter Beek, Maurice
;
Melgratti, Hernán
;
Vieira, Hugo Torres
, 2016
Link:
https://dl.acm.org/doi/1..
?
12
Combining behavioural types with security analysis:
Bartoletti, Massimo
;
Castellani, Ilaria
;
Deniélou, Pierre-Malo
...
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 6 - p. 763-780 , 2015
Link:
https://doi.org/10.1016/..
?
13
Conversation types:
Caires, Luís
;
Vieira, Hugo Torres
Theoretical Computer Science. 411 (2010) 51-52 - p. 4399-4440 , 2010
Link:
https://doi.org/10.1016/..
?
14
Extensionality of Spatial Observations in Distributed Syste..:
Caires, Luís
;
Vieira, Hugo Torres
Electronic Notes in Theoretical Computer Science. 175 (2007) 3 - p. 131-149 , 2007
Link:
https://doi.org/10.1016/..
?
15
An Observational Model for Spatial Logics:
Tuosto, Emilio
;
Vieira, Hugo Torres
Electronic Notes in Theoretical Computer Science. 142 (2006) - p. 229-254 , 2006
Link:
https://doi.org/10.1016/..
1-15