Georgiana Caltais

Available identifiers

zbMath Open caltais.georgianaWikidataQ102571708 ScholiaQ102571708MaRDI QIDQ2043808

List of research outcomes

Publication	Date of Publication	Type
DyNetKAT: an algebra of dynamic networks	2024-01-23	Paper
Explaining safety failures in NetKAT	2021-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4965820	2021-03-10	Paper
A coalgebraic view on decorated traces	2017-04-03	Paper
Final Semantics for Decorated Traces	2016-07-08	Paper
Expression-Based Aliasing for OO–languages	2016-01-06	Paper
Patterns for Maude Metalanguage Applications	2015-03-19	Paper
Brzozowski’s and Up-To Algorithms for Must Testing	2015-01-12	Paper
CIRC: A Behavioral Verification Tool Based on Circular Coinduction	2012-06-01	Paper
PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates	2011-09-02	Paper
A Decision Procedure for Bisimilarity of Generalized Regular Expressions	2011-05-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Georgiana Caltais