Eduard Kamburjan

Postdoktor
ved Institutt for informatikk ved Universitetet i Oslo

Resultater Resultater

Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data (Full Paper).

Kamburjan, Eduard; Klungre, Vidar Norstein; Giese, Martin. 2022, Universitetet i Oslo. UIORapport

Variability Modules for Java-like Languages.

Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael; Paolini, Luca. 2021, Association for Computing Machinery (ACM). TUD, UdSdT, ONERA, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects.

Kamburjan, Eduard. 2021, Association for Computing Machinery (ACM). TUD, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Designing Distributed Control with Hybrid Active Objects.

Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth. 2021, Springer. TUD, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes.

Kamburjan, Eduard; Kostylev, Egor. 2021, CEUR Workshop Proceedings. UIOVitenskapelig artikkel

1 - 5 av 9 | Neste | Siste »