Corina Cîrstea

Available identifiers

zbMath Open cirstea.corinaMaRDI QIDQ639644

List of research outcomes

Publication	Date of Publication	Type
Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm	2023-12-27	Paper
https://portal.mardi4nfdi.de/entity/Q5020522	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4992895	2021-06-10	Paper
Parity Automata for Quantitative Linear Time Logics	2018-08-13	Paper
From Branching to Linear Time, Coalgebraically	2017-11-10	Paper
Canonical coalgebraic linear time logics	2017-07-11	Paper
Lattice-theoretic progress measures and coalgebraic model checking	2016-10-24	Paper
A Coalgebraic Approach to Linear-Time Logics	2014-04-16	Paper
Modular Games for Coalgebraic Fixed Point Logics	2014-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q2863891	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2847807	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2843724	2013-08-23	Paper
Institutionalising Many-Sorted Coalgebraic Modal Logic	2013-08-15	Paper
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics	2012-10-02	Paper
EXPTIME Tableaux for the Coalgebraic mu-Calculus	2012-04-02	Paper
Maximal traces and path-based coalgebraic temporal logics	2011-09-22	Paper
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach	2011-09-02	Paper
EXPTIME Tableaux for the Coalgebraic μ-Calculus	2009-11-12	Paper
Coalgebraic Epistemic Update Without Change of Model	2009-03-10	Paper
Modular construction of complete coalgebraic logics	2007-12-18	Paper
A modular approach to defining and characterising notions of simulation	2006-06-30	Paper
An institution of modal logics for coalgebras	2006-04-28	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
A compositional approach to defining logics for coalgebras	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738219	2004-08-11	Paper
A coalgebraic equational approach to specifying observational structures	2002-07-15	Paper
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems	2002-06-15	Paper
Semantic constructions for the specification of objects	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4499311	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4941926	2000-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4256316	1999-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q3839054	1998-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4896250	1996-10-20	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: Corina Cîrstea