Georgiana Caltais

Identifiers

• name variant Georgiana Caltais 0.60 · backfill

Papers (7)

1. Ontology-Grounded Capability Interaction Graphs: From Knowledge Graphs to Fault Trees cs.SE · 2026 · author #2
2. Circular Induction cs.LO · 2026 · author #4
3. On the Verification of SCOOP Programs cs.SE · 2015 · author #1
4. Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics cs.LO · 2015 · author #1
5. Coffman deadlocks in SCOOP cs.PL · 2014 · author #1
6. Expression-based aliasing for OO-languages cs.PL · 2014 · author #1
7. Automatic Equivalence Proofs for Non-deterministic Coalgebras cs.LO · 2013 · author #2

Mentions

• 2606.20779 #2 · arxiv_oai · confidence 0.70 Georgiana Caltais
• 1504.07041 #1 · backfill · confidence 0.70 Georgiana Caltais
• 1502.02910 #1 · backfill · confidence 0.70 Georgiana Caltais
• 1409.7514 #1 · backfill · confidence 0.70 Georgiana Caltais
• 1409.7509 #1 · backfill · confidence 0.70 Georgiana Caltais
• 1303.1994 #2 · backfill · confidence 0.70 Georgiana Caltais
• 2605.24968 #4 · arxiv_oai · confidence 0.70 Georgiana Caltais

Frequent Coauthors

• Bertrand Meyer 2 shared papers
• Dorel Lucanu 2 shared papers
• Alexandra Silva 1 shared papers
• Eugen Goriac 1 shared papers
• Eugen-Ioan Goriac 1 shared papers
• Grigore Rosu 1 shared papers
• Jan Rutten 1 shared papers
• Manzi Aim\'e Ntagengerwa 1 shared papers
• Marcello Bonsangue 1 shared papers
• Mari\"elle Stoelinga 1 shared papers