default search action
Corina Cîrstea
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]Corina Cîrstea
:
Linear-time logics - a coalgebraic perspective. Log. Methods Comput. Sci. 20(2) (2024) - [c34]Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau:
Actual Trust in Multiagent Systems. AAMAS 2024: 2114-2116 - [c33]Ryota Kojima
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. CMCS 2024: 1-22 - [c32]Michael Akintunde
Formal Specification of Actual Trust in Multiagent Systems. HHAI 2024: 22-35 - 2023
- [j18]Chenyang Zhu
A fairness-based refinement strategy to transform liveness properties in Event-B models. Sci. Comput. Program. 225: 102907 (2023) - [c31]Corina Cîrstea
Measure-Theoretic Semantics for Quantitative Parity Automata. CSL 2023: 14:1-14:20 - [i3]Matthew Pugh, Jo Grundy, Corina Cîrstea, Nick Harris:
Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm. CoRR abs/2312.16529 (2023) - 2021
- [j17]Vahid Yazdanpanah
Different Forms of Responsibility in Multiagent Systems: Sociotechnical Characteristics and Requirements. IEEE Internet Comput. 25(6): 15-22 (2021) - [c30]Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang:
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. TASE 2021: 143-150 - 2020
- [j16]Chenyang Zhu
Formalizing hierarchical scheduling for refinement of real-time systems. Sci. Comput. Program. 189: 102390 (2020) - [j15]Chenyang Zhu
Trace semantics and refinement patterns for real-time properties in event-B models. Sci. Comput. Program. 197: 102513 (2020) - [c29]Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. TASE 2020: 57-64
2010 – 2019
- 2019
- [c28]Dhaminda B. Abeywickrama, Corina Cîrstea, Sarvapali D. Ramchurn:
Model Checking Human-Agent Collectives for Responsible AI. RO-MAN 2019: 1-8 - [c27]Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. TASE 2019: 1-8 - [c26]Corina Cîrstea:
Resource-Aware Automata and Games for Optimal Synthesis. GandALF 2019: 50-65 - 2018
- [c25]Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Refinement of Timing Constraints for Concurrent Tasks with Scheduling. ABZ 2018: 219-233 - [c24]Chenyang Zhu
Semantics of Real-Time Trigger-Response Properties in Event-B. TASE 2018: 150-155 - [e2]Corina Cîrstea:
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11202, Springer 2018, ISBN 978-3-030-00388-3 [contents] - 2017
- [j14]Corina Cîrstea
From Branching to Linear Time, Coalgebraically. Fundam. Informaticae 150(3-4): 379-406 (2017) - [c23]Corina Cîrstea
Parity Automata for Quantitative Linear Time Logics. CALCO 2017: 7:1-7:18 - 2016
- [c22]Ichiro Hasuo
Lattice-theoretic progress measures and coalgebraic model checking. POPL 2016: 718-732 - [i2]Corina Cîrstea:
A Coalgebraic Approach to Quantitative Linear Time Logics. CoRR abs/1612.07844 (2016) - 2015
- [j13]Eman H. Alkhammash
Building traceable Event-B models from requirements. Sci. Comput. Program. 111: 318-338 (2015) - [c21]Corina Cîrstea:
Canonical Coalgebraic Linear Time Logics. CALCO 2015: 66-85 - [i1]Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea:
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices). CoRR abs/1511.00346 (2015) - 2014
- [c20]Corina Cîrstea
A Coalgebraic Approach to Linear-Time Logics. FoSSaCS 2014: 426-440 - 2013
- [j12]Eman H. Alkhammash, Asieh Salehi Fathabadi, Michael J. Butler, Corina Cîrstea:
Building Traceable Event-B Models from Requirements. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [c19]Corina Cîrstea:
From Branching to Linear Time, Coalgebraically. FICS 2013: 11-27 - 2011
- [j11]Corina Cîrstea
Modal Logics are Coalgebraic. Comput. J. 54(1): 31-41 (2011) - [j10]Corina Cîrstea
EXPTIME Tableaux for the Coalgebraic mu-Calculus. Log. Methods Comput. Sci. 7(3) (2011) - [j9]Corina Cîrstea
Maximal traces and path-based coalgebraic temporal logics. Theor. Comput. Sci. 412(38): 5025-5042 (2011) - [c18]Corina Cîrstea
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. CALCO 2011: 130-144 - [e1]Andrea Corradini
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings. Lecture Notes in Computer Science 6859, Springer 2011, ISBN 978-3-642-22943-5 [contents] - 2010
- [c17]Corina Cîrstea:
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. CMCS@ETAPS 2010: 83-103
2000 – 2009
- 2009
- [c16]Corina Cîrstea, Clemens Kupke
EXPTIME Tableaux for the Coalgebraic µ-Calculus. CSL 2009: 179-193 - 2008
- [c15]Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema:
Modal Logics are Coalgebraic. BCS Int. Acad. Conf. 2008: 128-140 - [c14]Corina Cîrstea, Mehrnoosh Sadrzadeh
Modular Games for Coalgebraic Fixed Point Logics. CMCS 2008: 71-92 - 2007
- [j8]Corina Cîrstea, Dirk Pattinson:
Modular construction of complete coalgebraic logics. Theor. Comput. Sci. 388(1-3): 83-108 (2007) - [c13]Corina Cîrstea, Mehrnoosh Sadrzadeh
Coalgebraic Epistemic Update Without Change of Model. CALCO 2007: 158-172 - 2006
- [j7]Corina Cîrstea, Vicentiu D. Radulescu:
Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach. Asymptot. Anal. 46(3-4): 275-298 (2006) - [j6]Corina Cîrstea
A modular approach to defining and characterising notions of simulation. Inf. Comput. 204(4): 469-502 (2006) - [j5]Corina Cîrstea
An institution of modal logics for coalgebras. J. Log. Algebraic Methods Program. 67(1-2): 87-113 (2006) - [c12]Corina Cîrstea:
Modularity in Coalgebra. CMCS 2006: 3-26 - 2005
- [c11]Jingtao Yang, Corina Cîrstea, Peter Henderson:
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. OTM Workshops 2005: 39-48 - [c10]Jingtao Yang, Corina Cîrstea, Peter Henderson:
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. QSIC 2005: 446-451 - 2004
- [j4]Corina Cîrstea:
A compositional approach to defining logics for coalgebras. Theor. Comput. Sci. 327(1-2): 45-69 (2004) - [c9]Corina Cîrstea, Dirk Pattinson:
Modular Construction of Modal Logics. CONCUR 2004: 258-275 - [c8]Corina Cîrstea:
On Logics for Coalgebraic Simulation. CMCS 2004: 63-90 - 2003
- [c7]Corina Cîrstea:
On Expressivity and Compositionality in Logics for Coalgebras. CMCS 2003: 110-127 - 2002
- [j3]Corina Cîrstea:
A coalgebraic equational approach to specifying observational structures. Theor. Comput. Sci. 280(1-2): 35-68 (2002) - [c6]Corina Cîrstea:
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability. FoSSaCS 2002: 82-97 - [c5]Corina Cîrstea:
Institutionalizing Coalgebraic Modal Logic. CMCS 2002: 54-70 - 2001
- [j2]Corina Cîrstea:
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems. RAIRO Theor. Informatics Appl. 35(1): 1-29 (2001) - [j1]Corina Cîrstea:
Semantic constructions for the specification of objects. Theor. Comput. Sci. 260(1-2): 3-25 (2001) - 2000
- [c4]Corina Cîrstea:
An Algebra-Coalgebra Framework for System Specification. CMCS 2000: 80-110
1990 – 1999
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: