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
Pantović, Jovanka
18
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Precise Subtyping for Asynchronous Multiparty Sessions:
Ghilezan, Silvia
;
Pantović, Jovanka
;
Prokić, Ivan
..
ACM Transactions on Computational Logic. 24 (2023) 2 - p. 1-73 , 2023
Link:
https://doi.org/10.1145/..
?
2
Precise subtyping for asynchronous multiparty sessions:
Ghilezan, Silvia
;
Pantović, Jovanka
;
Prokić, Ivan
..
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021
Link:
https://dl.acm.org/doi/1..
?
3
Modelling the urban freight flows for impact assessment of ..:
Veličković, Marko
;
Stojanović, Đurđica
;
Pantović, Jovanka
Transportation Research Procedia. 52 (2021) - p. 27-34 , 2021
Link:
https://doi.org/10.1016/..
?
4
Precise subtyping for asynchronous multiparty sessions:
Ghilezan, Silvia
;
Pantović, Jovanka
;
Prokić, Ivan
..
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021
Link:
https://doi.org/10.1145/..
?
5
On primitives for compensation handling as adaptable proces..:
Dedeić, Jovana
;
Pantović, Jovanka
;
Pérez, Jorge A.
Journal of Logical and Algebraic Methods in Programming. 121 (2021) - p. 100675 , 2021
Link:
https://doi.org/10.1016/..
?
6
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/..
?
7
Precise subtyping for synchronous multiparty sessions:
Ghilezan, Silvia
;
Jakšić, Svetlana
;
Pantović, Jovanka
..
Journal of Logical and Algebraic Methods in Programming. 104 (2019) - p. 127-173 , 2019
Link:
https://doi.org/10.1016/..
?
8
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/..
?
9
Measuring linearity of curves in 2D and 3D:
Rosin, Paul L.
;
Pantović, Jovanka
;
Žunić, Joviša
Pattern Recognition. 49 (2016) - p. 65-78 , 2016
Link:
https://doi.org/10.1016/..
?
10
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/..
?
11
Linked data privacy:
JAKŠIĆ, SVETLANA
;
PANTOVIĆ, JOVANKA
;
GHILEZAN, SILVIA
Mathematical Structures in Computer Science. 27 (2015) 1 - p. 33-53 , 2015
Link:
https://doi.org/10.1017/..
?
12
Measuring Linearity of Connected Configurations of a Finite..:
Rosin, Paul L.
;
Pantović, Jovanka
;
Žunić, Joviša
Journal of Mathematical Imaging and Vision. 53 (2014) 1 - p. 1-11 , 2014
Link:
https://doi.org/10.1007/..
?
13
Security types for dynamic web data:
Dezani-Ciancaglini, Mariangiola
;
Ghilezan, Silvia
;
Pantović, Jovanka
.
Theoretical Computer Science. 402 (2008) 2-3 - p. 156-171 , 2008
Link:
https://doi.org/10.1016/..
?
14
One Interval in the Lattice of Partial Hyperclones:
Doroslovacki, Rade
;
Pantovic, Jovanka
;
Vojvodic, Gradimir
Czechoslovak Mathematical Journal. 55 (2005) 3 - p. 719-724 , 2005
Link:
https://doi.org/10.1007/..
?
15
Relative completeness with respect to two unary functions:
Pantović, Jovanka
;
Tošić, Ratko
;
Vojvodić, Gradimir
Discrete Applied Mathematics. 113 (2001) 2-3 - p. 337-342 , 2001
Link:
https://doi.org/10.1016/..
1-15