Eduard Kamburjan

Identifiers

No identifiers captured yet.

Papers (4)

1. Semantically Reflected Programs cs.PL · 2025 · author #1
2. Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects eess.SY · 2019 · author #1
3. Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report) cs.LO · 2019 · author #1
4. Stateful Behavioral Types for ABS cs.PL · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Egor V. Kostylev 1 shared papers
• Einar Broch Johnsen 1 shared papers
• Martina Kettenbach 1 shared papers
• Martin Giese 1 shared papers
• Reiner H\"ahnle 1 shared papers
• Rudolf Schlatte 1 shared papers
• Stefan Mitsch 1 shared papers
• Tzu-Chun Chen 1 shared papers
• Vidar Norstein Klungre 1 shared papers
• Yuanwei Qu 1 shared papers