Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Alexandra Martins da Silva
AuthID:
R-000-NF7
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (35)
Article (31)
Unpublished (7)
Proceedings (4)
Article in Press (1)
Year Start - End:
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 78
71
TITLE:
A Kleene Theorem for Polynomial Coalgebras
AUTHORS:
Marcello M Bonsangue
;
Jan J M M Rutten
;
Alexandra Silva
;
PUBLISHED:
2009
,
SOURCE:
Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings,
VOLUME:
5504
INDEXED IN:
DBLP
CrossRef
:
9
IN MY:
DBLP
72
TITLE:
An Algebra for Kripke Polynomial Coalgebras
AUTHORS:
Marcello M Bonsangue
;
Jan J M M Rutten
;
Alexandra Silva
;
PUBLISHED:
2009
,
SOURCE:
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA
INDEXED IN:
DBLP
CrossRef
:
10
IN MY:
DBLP
73
TITLE:
Automata for Context-Dependent Connectors
AUTHORS:
Marcello M Bonsangue
; Dave Clarke;
Alexandra Silva
;
PUBLISHED:
2009
,
SOURCE:
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings,
VOLUME:
5521
INDEXED IN:
DBLP
CrossRef
:
20
IN MY:
DBLP
74
TITLE:
Deriving Syntax and Axioms for Quantitative Regular Behaviours
AUTHORS:
Filippo Bonchi;
Marcello M Bonsangue
;
Jan J M M Rutten
;
Alexandra Silva
;
PUBLISHED:
2009
,
SOURCE:
CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings,
VOLUME:
5710
INDEXED IN:
DBLP
CrossRef
:
7
IN MY:
DBLP
75
TITLE:
Calculating invariants as coreflexive bisimulations
AUTHORS:
Luis S Barbosa
;
Jose N Oliveira
;
Alexandra Silva
;
PUBLISHED:
2008
,
SOURCE:
12th International Conference on Algebraic Methodology and Software Technology
in
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS,
VOLUME:
5140
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
8
IN MY:
DBLP
76
TITLE:
Coalgebraic Logic and Synthesis of Mealy Machines
AUTHORS:
Marcello M Bonsangue
;
Jan J M M Rutten
;
Alexandra Silva
;
PUBLISHED:
2008
,
SOURCE:
Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings,
VOLUME:
4962
INDEXED IN:
DBLP
CrossRef
:
7
IN MY:
DBLP
77
TITLE:
Behavioural Differential Equations and Coinduction for Binary Trees
AUTHORS:
Alexandra Silva
;
Jan J M M Rutten
;
PUBLISHED:
2007
,
SOURCE:
Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings,
VOLUME:
4576
INDEXED IN:
DBLP
CrossRef
:
4
IN MY:
DBLP
78
TITLE:
Strong types for relational databases
AUTHORS:
Alexandra Silva
; Joost Visser;
PUBLISHED:
2006
,
SOURCE:
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006
INDEXED IN:
DBLP
CrossRef
:
3
IN MY:
DBLP
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 8 of 8. Total results: 78.
<<
<
1
2
3
4
5
6
7
8
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
2 records from
DataCite
Please select which records must be used by Authenticus!
×
Preview Publications
© 2025 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service