References of "Ciobanu, Gabriel"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailDe Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
Horne, Ross James UL; Tiu, Alwen; Aman, Bogdan et al

in ACM Transactions on Computational Logic (2019), 20(4), 221--2244

Detailed reference viewed: 60 (2 UL)
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: 87 (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: 34 (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: 76 (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: 104 (2 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: 90 (4 UL)