|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcello M. Bonsangue, Dave Clarke, Alexandra Silva |
A model of context-dependent component connectors.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva |
A coalgebraic perspective on linear weighted automata. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. Constable, Alexandra Silva (eds.) |
Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Brzozowski's Algorithm (Co)Algebraically. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva |
A Coalgebraic Perspective on Minimization and Determinization. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva |
Preface. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Quantitative Kleene coalgebras. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Ana Sokolova |
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone (eds.) |
Proceedings Fourth Interaction and Concurrency Experience |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Stefan Milius, Alexandra Silva |
Sound and complete axiomatizations of coalgebraic language equivalence |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Silva |
A Specification Language for Reo Connectors. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Jan J. M. M. Rutten |
A coinductive calculus of binary trees. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab |
A Compositional Semantics for Stochastic Reo Connectors |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Non-Deterministic Kleene Coalgebras |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva (eds.) |
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction |
ICE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva |
A Decision Procedure for Bisimilarity of Generalized Regular Expressions. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Generalizing the powerset construction, coalgebraically. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Deriving Syntax and Axioms for Quantitative Regular Behaviours. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Dave Clarke, Alexandra Silva |
Automata for Context-Dependent Connectors. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
An Algebra for Kripke Polynomial Coalgebras. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
A Kleene Theorem for Polynomial Coalgebras. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva |
Calculating Invariants as Coreflexive Bisimulations. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
coalgebraic reasoning, pointfree transform, proof obligations, program calculation |
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Coalgebraic Logic and Synthesis of Mealy Machines. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Jan J. M. M. Rutten |
Behavioural Differential Equations and Coinduction for Binary Trees. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Joost Visser |
Strong types for relational databases. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
functional dependency theory, type-level programming, relational databases, SQL, Haskell |
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")