E-LIB Suche - Ergebnisse für: Jakšić, Svetlana

1

Types for Access and Memory Control ; Типски системи за кон..:

Jakšić, Svetlana
https://nardus.mpn.gov.rs/handle/123456789/7111. , 2020

Link: https://nardus.mpn.gov.r..

2

Precise subtyping for synchronous multiparty sessions:

Dezani-Ciancaglini, Mariangiola ; Ghilezan, Silvia ; Jakšić, Svetlana..
http://arxiv.org/abs/1602.03593. , 2016

Link: http://arxiv.org/abs/160..

3

A Typed Model for Dynamic Authorizations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
http://arxiv.org/abs/1602.03596. , 2016

Link: http://arxiv.org/abs/160..

4

Dynamic role authorization in multiparty conversations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantovic, Jovanka..
Ghilezan , S , Jakšić , S , Pantovic , J , Perez , J A & Vieira , H T 2016 , ' Dynamic role authorization in multiparty conversations ' , Formal Aspects of Computing , vol. 28 , no. 4 , pp. 643-667 . https://doi.org/10.1007/s00165-016-0363-5 ; ISSN:0934-5043. , 2016

Link: http://hdl.handle.net/11..

5

A Typed Model for Dynamic Authorizations:

Ghilezan, Silvia ; Jaksic, Svetlana ; Pantovic, Jovanka..
https://research.rug.nl/en/publications/ae58cad8-c086-4124-96f2-e3d576b2e379. , 2016

Link: https://hdl.handle.net/1..

6

Types for Access and Memory Control ; Типски системи за кон..:

Jakšić Svetlana
CRIS UNS. , 2016

Link: https://www.cris.uns.ac...

7

Dynamic Role Authorization in Multiparty Conversations:

Ghilezan, Silvia ; Jaksic, Svetlana ; Pantovic, Jovanka..
https://research.rug.nl/en/publications/189891c3-61a5-4f45-95d0-18065ad163e1. , 2016

Link: https://hdl.handle.net/1..

8

A Typed Model for Dynamic Authorizations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
http://eprints.imtlucca.it/3690/1/1602.03596.pdf. , 2015

Link: http://eprints.imtlucca...

9

Dynamic Role Authorization in Multiparty Conversations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
http://arxiv.org/abs/1408.5977. , 2014

Link: http://arxiv.org/abs/140..

10

Precise subtyping for synchronous multiparty sessions:

Mariangiola Dezani-Ciancaglini ; Silvia Ghilezan ; Svetlana Jakšić..
http://arxiv.org/pdf/1602.03593v1. , 2016

Link: https://doi.org/10.4204/..

11

A Typed Model for Dynamic Authorizations:

Silvia Ghilezan ; Svetlana Jakšić ; Jovanka Pantović..
http://arxiv.org/pdf/1602.03596v1. , 2016

Link: https://doi.org/10.4204/..

12

Exception Handling for Copyless Messaging:

Svetlana Jakšić ; PADOVANI, Luca
info:eu-repo/semantics/altIdentifier/wos/WOS:000334084700003. , 2014

Link: http://hdl.handle.net/23..

13

Dynamic Role Authorization in Multiparty Conversations:

Silvia Ghilezan ; Svetlana Jakšić ; Jovanka Pantović..
http://arxiv.org/pdf/1408.5977v1. , 2014

Link: https://doi.org/10.4204/..

14

Exception Handling for Copyless Messaging:

Svetlana Jakšić ; PADOVANI, Luca
info:eu-repo/semantics/altIdentifier/isbn/9781450315227. , 2012

Link: http://hdl.handle.net/23..

15

Types and Roles for Web Security:

Silvia Ghilezan ; Svetlana Jaksic ; Jovanka Pantovic.
volume:8. , 2012

Link: http://hdl.handle.net/23..