Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Corina Cîrstea

Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems

RAIRO - Theoretical Informatics and Applications
MathematicsComputer Science ApplicationsSoftware
2001English

Coalgebraic Epistemic Update Without Change of Model

English

Related publications

The Forward Search for Very Large Datasets

Journal of Statistical Software
UncertaintyStatisticsProbabilitySoftware
2015English

R Graphics (3rd Edition)

Journal of Statistical Software
UncertaintyStatisticsProbabilitySoftware
2020English

On an Analogue of Titchmarsh’s Divisor Problem for Holomorphic Cusp Forms

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2012English

Uniqueness of Enhancement for Triangulated Categories

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2010English

The Archimedean Theory of the Exterior Square $L$-Functions Over $\Mathbb{Q}$

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2012English

Intersecting Families of Permutations

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2011English

Proof of Aldous’ Spectral Gap Conjecture

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2010English

W$^{*}$–superrigidity for Bernoulli Actions of Property (T) Groups

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2011English

Appendix and Erratum to “Massey Products for Elliptic Curves of Rank 1”

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2011English

The Complex Monge-Ampère Equation on Compact Hermitian Manifolds

Journal of the American Mathematical Society
MathematicsApplied Mathematics
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy