Eduard Kamburjan

Postdoctoral Fellow - Centre for Scalable Data Access
Norwegian version of this page
Username
Visiting address Gaustadalleen 23 B 0373 Oslo
Postal address Postboks 1080 Blindern 0316 Oslo

Publications

View all works in Cristin

  • Kamburjan, Eduard & Wasser, Nathan (2022). The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics . Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. doi: 10.4204/EPTCS.365.1.
  • Kamburjan, Eduard & Rama Fiorini, Sandro (2022). On the Notion of Naturalness in Formal Modeling . Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1007/978-3-031-08166-8_13.
  • Kamburjan, Eduard; Klungre, Vidar Norstein & Giese, Martin (2022). Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data (Full Paper). Universitetet i Oslo. ISSN 978-82-7368-602-2. Full text in Research Archive
  • Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin (2021). Programming and Debugging with Semantically Lifted States (Full Paper). Springer. ISSN 978-82-7368-464-6. Full text in Research Archive

View all works in Cristin

Published Nov. 2, 2020 9:32 AM - Last modified Nov. 2, 2020 9:33 AM