Alexandra Silva 0001 Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

University College London, UK

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva: CoCaml: Functional Programming with Regular Coinductive Types. Fundam. Inform. 150(3-4): 347-377 (2017)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva: Cantor meets scott: semantic foundations for probabilistic networks. POPL 2017: 557-571
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski: Learning nominal automata. POPL 2017: 613-625
i12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerco van Heerdt, Matteo Sammartino, Alexandra Silva: CALF: Categorical Automata Learning Framework. CoRR abs/1704.05676 (2017)
i11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CoRR abs/1704.07199 (2017)
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerco van Heerdt, Matteo Sammartino, Alexandra Silva: Learning Automata with Side-Effects. CoRR abs/1704.08055 (2017)
2016
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Soares Barbosa, Alcino Cunha, Alexandra Silva: Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. J. Log. Algebr. Meth. Program. 85(5): 805 (2016)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva: A coalgebraic view on decorated traces. Mathematical Structures in Computer Science 26(7): 1234-1268 (2016)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva: Report on the POPL mentoring workshop (PLMW 2016). SIGLOG News 3(2): 82-83 (2016)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobbert Krebbers, Louis Parlant, Alexandra Silva: Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq. Theory and Practice of Formal Methods 2016: 309-324
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva: Coalgebraic Learning. CSL 2016: 5:1-5:1
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva: Probabilistic NetKAT. ESOP 2016: 282-309
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva: Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming. CoRR abs/1607.05830 (2016)
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski: Learning Nominal Automata. CoRR abs/1607.06268 (2016)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva: A coalgebraic treatment of conditional transition systems with upgrades. CoRR abs/1612.05002 (2016)
2015
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Alexandra Silva, Ana Sokolova: Trace semantics via determinization. J. Comput. Syst. Sci. 81(5): 859-879 (2015)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno Oliveira, Alexandra Silva, Luís Soares Barbosa: IMCReo: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5(1): 3-28 (2015)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova: Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. 100: 1 (2015)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva: A short introduction to the coalgebraic method. SIGLOG News 2(2): 16-27 (2015)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi: Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theor. Comput. Sci. 604: 102-126 (2015)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDexter Kozen, Konstantinos Mamouras, Alexandra Silva: Completeness and Incompleteness in Nominal Kleene Algebra. RAMICS 2015: 51-66
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva: Applications of Automata and Concurrency Theory in Networks (Invited Paper). CONCUR 2015: 42-43
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva: Nominal Kleene Coalgebra. ICALP (2) 2015: 286-298
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva, Laure Thompson: A Coalgebraic Decision Procedure for NetKAT. POPL 2015: 343-355
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. RTA 2015: 143-159
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). CoRR abs/1505.01128 (2015)
2014
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Alexandra Silva, Sam Staton: Preface. Electr. Notes Theor. Comput. Sci. 308: 1-2 (2014)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoung-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab: A compositional model to reason about end-to-end QoS in Stochastic Reo connectors. Sci. Comput. Program. 80: 3-24 (2014)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva: Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Alexandra Silva: Initial Algebras of Terms with Binding and Algebraic Structure. Categories and Types in Logic, Language, and Physics 2014: 211-234
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Alexandra Silva: Automata Learning: A Categorical Perspective. Horizons of the Mind 2014: 384-406
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi: How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CMCS 2014: 53-74
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Goncharov, Stefan Milius, Alexandra Silva: Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract). IFIP TCS 2014: 265-280
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno Oliveira, Alexandra Silva, Luís Soares Barbosa: Quantitative analysis of Reo-based service coordination. SAC 2014: 1247-1254
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Goncharov, Stefan Milius, Alexandra Silva: Towards a Coalgebraic Chomsky Hierarchy. CoRR abs/1401.5277 (2014)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi: How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CoRR abs/1402.4062 (2014)
2013
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing determinization from automata to coalgebras .Logical Methods in Computer Science 9(1) (2013)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Pawel Sobocinski: Report on CALCO 2013. Bulletin of the EATCS 111 (2013)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva: Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. 78(9): 1324-1345 (2013)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDexter Kozen, Alexandra Silva: On Moessner's Theorem. The American Mathematical Monthly 120(2): 131-139 (2013)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Stefan Milius, Alexandra Silva: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. ACM Trans. Comput. Log. 14(1): 7:1-7:52 (2013)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva: Brzozowski's and Up-To Algorithms for Must Testing. APLAS 2013: 1-16
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Bram Westerbaan: A Coalgebraic View of ε-Transitions. CALCO 2013: 267-281
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva: Language Constructs for Non-Well-Founded Computation. ESOP 2013: 61-80
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva: Automatic Equivalence Proofs for Non-deterministic Coalgebras .CoRR abs/1303.1994 (2013)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva: A Coinductive Treatment of Infinitary Rewriting. CoRR abs/1306.6224 (2013)
2012
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva: Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comp. Sci. 22(1): 1-4 (2012)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva: Position Automata for Kleene Algebra with Tests. Sci. Ann. Comp. Sci. 22(2): 367-394 (2012)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva: Final Semantics for Decorated Traces. Electr. Notes Theor. Comput. Sci. 286: 73-86 (2012)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva: A coalgebraic perspective on linear weighted automata. Inf. Comput. 211: 77-105 (2012)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Dave Clarke, Alexandra Silva: A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDexter Kozen, Alexandra Silva: Left-Handed Completeness. RAMICS 2012: 162-178
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Alexandra Silva, Ana Sokolova: Trace Semantics via Determinization. CMCS 2012: 109-129
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva: A Coalgebraic Perspective on Minimization and Determinization. FoSSaCS 2012: 58-73
e4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert L. Constable, Alexandra Silva: Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday .Lecture Notes in Computer Science 7230, Springer 2012, ISBN 978-3-642-29484-6
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova: Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. EPTCS 104, 2012
2011
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina: Concurrency and Interaction in Complex Systems. Sci. Ann. Comp. Sci. 21(1): 1-4 (2011)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Ana Sokolova: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 276: 291-311 (2011)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Theor. Comput. Sci. 412(38): 4967-4968 (2011)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva: A Specification Language for Reo Connectors. FSEN 2011: 368-376
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone: Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 59, 2011
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Stefan Milius, Alexandra Silva: Sound and complete axiomatizations of coalgebraic language equivalence .CoRR abs/1104.2803 (2011)
2010
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten: Non-Deterministic Kleene Coalgebras .Logical Methods in Computer Science 6(3) (2010)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Electr. Notes Theor. Comput. Sci. 264(2): 1-2 (2010)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Jan J. M. M. Rutten: A coinductive calculus of binary trees. Inf. Comput. 208(5): 578-593 (2010)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello 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: 226-241
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoung-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab: A Compositional Semantics for Stochastic Reo Connectors .FOCLASA 2010: 93-107
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva: Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010. EPTCS 38, 2010
2009
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Dave Clarke, Alexandra Silva: Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: A Kleene Theorem for Polynomial Coalgebras. FOSSACS 2009: 122-136
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: An Algebra for Kripke Polynomial Coalgebras. LICS 2009: 49-58
2008
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Soares Barbosa, José Nuno Oliveira, Alexandra Silva: Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS 2008: 231-245
2007
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Jan J. M. M. Rutten: Behavioural Differential Equations and Coinduction for Binary Trees. WoLLIC 2007: 322-336
2006
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Joost Visser: Strong types for relational databases. Haskell 2006: 25-36

Coauthor Index

1Jirí Adámek[c13]
2Farhad Arbab[j19] [c9]
3Luís Soares Barbosa[j28] [j24] [c20] [c4]
4Harsh Beohar[i7]
5Simon Bliudze[j12] [j7] [e2] [e1]
6Filippo Bonchi[j27] [j21] [j18] [c22] [i4] [j17] [c19] [j10] [j9] [c15] [c13] [j5] [c11] [c8]
7Marcello M. Bonsangue[j27] [j18] [j17] [j15] [j13] [i3] [j10] [j9] [j8] [c15] [j5] [i1] [j3] [c11] [c10] [c8] [c7] [c6] [c5] [c3]
8Michele Boreale[j9]
9Paul Brunet[i11]
10Roberto Bruni[j12] [j7] [e2] [e1]
11Georgiana Caltais[j27] [j15] [c19] [i3] [j10] [c10]
12Marco Carbone[j23] [j12] [e3] [e2]
13Dave Clarke[j8] [c7]
14Robert L. Constable[e4]
15Alcino Cunha[j28]
16Jörg Endrullis[c25] [i6] [i2]
17Nate Foster[c34] [c30] [i9] [c26]
18Sergey Goncharov 0001[c21] [i5]
19Eugen-Ioan Goriac[j15] [i3] [c10]
20Davide Grohmann[e1]
21Helle Hvid Hansen[c25] [i6] [j18] [i2]
22Gerco van Heerdt[i12] [i10]
23Dimitri Hendriks[c25] [i6] [i2]
24Mathias Hülsbusch[c13]
25Bart Jacobs 0001[j25] [j20] [c24] [c23] [c14] [j4] [j2]
26Jean-Baptiste Jeannin[j29] [c17]
27Tobias Kappé[i11]
28Bartek Klin[c33] [i8]
29Barbara König 0001[i7] [c13]
30Dexter Kozen[j29] [c34] [c30] [i9] [c29] [c27] [c26] [j14] [c17] [c16]
31Christian Krause[j19] [c9]
32Robbert Krebbers[c32]
33Praveen Kumar[c34] [i9]
34Sebastian Küpper[i7]
35Ivan Lanese[j23] [e3]
36Dorel Lucanu[j15] [i3] [c10]
37Bas Luttik[i11]
38Konstantinos Mamouras[c30] [c29] [c27]
39Matthew Milano[c26]
40Stefan Milius[j21] [c22] [c21] [i5] [i4] [j13] [c13] [i1]
41Joshua Moerman[c33] [i8]
42Sonia Ben Mokhtar[j7]
43Young-Joo Moon[j19] [c9]
44Milad Niqui[j4] [j2]
45José Nuno Oliveira[c4]
46Nuno Oliveira 0001[j24] [c20]
47Prakash Panangaden[j18]
48Louis Parlant[c32]
49Daniela Petrisan[c27]
50Andrew Polonsky[c25] [i6] [i2]
51Damien Pous[c19]
52Mark Reitblatt[c30]
53Jan J. M. M. Rutten
Jan Rutten
[j27] [j18] [j17] [j15] [i3] [j10] [j9] [c15] [j5] [j4] [j3] [j2] [j1] [c11] [c10] [c8] [c6] [c5] [c3] [c2]
54Matteo Sammartino[c33] [i12] [i10] [i8]
55Steffen Smolka[c34] [i9]
56Pawel Sobocinski[j16]
57Ana Sokolova[j25] [j23] [c14] [e3] [j6]
58Sam Staton[j20]
59Michal Szynwelski[c33] [i8]
60Laure Thompson[c26]
61Angelo Troina[j7]
62Joost Visser[c1]
63Bram Westerbaan[c18]
64Fabio Zanasi[i11] [j21] [c22] [i4]

 

Last update 2017-05-25 00:06 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page