Showing
1 - 11
results of
11
for search '
Cirstea, Corina
'
Skip to content
Home
High Impact Articles
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
Jawi Collection
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Cirstea, Corina
Showing
1 - 11
results of
11
for search '
Cirstea, Corina
'
, query time: 0.07s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Semantic constructions for the specification of objects
by
Cirstea
,
Corina
Published 2001
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
2
A coalgebraic equational approach to specifying observational structures
by
Cirstea
,
Corina
Published 2002
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
3
Integrating observational and computational features in the specification of state-based, dynamical systems
by
Cirstea
,
Corina
Published 2001
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
4
A compositional approach to defining logics for coalgebras
by
Cirstea
,
Corina
Published 2004
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
5
An Institution of Modal Logics for Coalgebras
by
Cirstea
,
Corina
Published 2006
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
6
A modular approach to defining and characterising notions of simulation
by
Cirstea
,
Corina
Published 2006
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
7
Maximal traces and path-based coalgebraic temporal logics
by
Cirstea
,
Corina
Published 2011
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
8
Canonical coalgebraic linear time logics
by
Cirstea
,
Corina
Published 2015
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
9
EXPTIME tableaux for the coalgebraic µ-Calculus
by
Cirstea
,
Corina
,
Kupke, Clemens
,
Pattinson, Dirk
Published 2011
Call Number:
Loading...
Located:
Loading...
Get fulltext
Get fulltext
Article
10
Building traceable Event-B models from requirements
by
Alkhammash, Eman
,
Butler, Michael
,
Fathabadi, Asieh Salehi
,
Cîrstea
,
Corina
Published 2015
Call Number:
Loading...
Located:
Loading...
Get fulltext
Get fulltext
Article
11
Modal logics are coalgebraic
by
Cirstea
,
Corina
,
Kurz, Alexander
,
Pattinson, Dirk
,
Schröder, Lutz
,
Venema, Yde
Published 2011
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
Search Tools:
Get RSS Feed
—
Email this Search
Loading...