References of "Ciobanu, Gabriel"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA descriptive type foundation for RDF Schema
Ciobanu, Gabriel; Horne, Ross James UL; Sassone, Vladimiro

in Journal of Logical and Algebraic Methods in Programming (2016), 85(5), 681-706

Detailed reference viewed: 34 (0 UL)
Full Text
Peer Reviewed
See detailPrivate Names in Non-Commutative Logic
Horne, Ross James UL; Tiu, Alwen; Aman, Bogdan et al

in 27th International Conference on Concurrency Theory (CONCUR 2016) (2016)

Detailed reference viewed: 13 (0 UL)
Full Text
Peer Reviewed
See detailMinimal type inference for Linked Data consumers
Ciobanu, Gabriel; Horne, Ross James UL; Sassone, Vladimiro

in Journal of Logical and Algebraic Methods in Programming (2015), 84(4), 485-504

Detailed reference viewed: 23 (1 UL)
Full Text
Peer Reviewed
See detailBehavioural analysis of sessions using the calculus of structures
Ciobanu, Gabriel; Horne, Ross James UL

in In Perspectives of System Informatics, 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27 (2015)

Detailed reference viewed: 36 (1 UL)
Full Text
Peer Reviewed
See detailNon-interleaving Operational Semantics for Geographically Replicated Databases
Ciobanu, Gabriel; Horne, Ross James UL

in 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013 (2013)

Detailed reference viewed: 35 (1 UL)