Alexandra Martins da Silva


AuthID: R-000-NF7

Publications Awaiting Confirmation

31
TITLE: A Categorical Framework for Learning Generalised Tree Automata
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2022, SOURCE: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings, VOLUME: 13225
INDEXED IN: DBLP
IN MY: DBLP
32
TITLE: Tree-Based Adaptive Model Learning
AUTHORS: Tiago Ferreira; Gerco van Heerdt; Alexandra Silva;
PUBLISHED: 2022, SOURCE: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, VOLUME: 13560
INDEXED IN: DBLP
IN MY: DBLP
33
TITLE: 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria
AUTHORS: Stefan Szeider; Robert Ganian; Alexandra Silva;
PUBLISHED: 2022, SOURCE: MFCS, VOLUME: 241
INDEXED IN: DBLP
IN MY: DBLP
34
TITLE: Long-Term Mentoring for Computer Science Researchers
AUTHORS: Emily Ruppel; Sihang Liu; Elba Garza; Sukyoung Ryu; Alexandra Silva; Talia Ringer;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2208.04738
INDEXED IN: DBLP
IN MY: DBLP
35
TITLE: Tree-Based Adaptive Model Learning
AUTHORS: Tiago Ferreira; Gerco van Heerdt; Alexandra Silva;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.00122
INDEXED IN: DBLP
IN MY: DBLP
36
TITLE: Actor-based model checking for Software-Defined Networks PDF
AUTHORS: Elvira Albert; Miguel Gómez Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 118
INDEXED IN: DBLP arXiv
IN MY: DBLP
37
TITLE: Conditional transition systems with upgrades PDF
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Sci. Comput. Program., VOLUME: 186
INDEXED IN: DBLP arXiv
IN MY: DBLP
38
TITLE: Learning Weighted Automata over Principal Ideal Domains
AUTHORS: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12077
INDEXED IN: DBLP
IN MY: DBLP
39
TITLE: Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness PDF
AUTHORS: Tobias Kappé; Paul Brunet; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2020, SOURCE: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12077
INDEXED IN: DBLP arXiv
IN MY: DBLP
40
TITLE: Models of Concurrent Kleene Algebra
AUTHORS: Alexandra Silva;
PUBLISHED: 2020, SOURCE: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., VOLUME: 73
INDEXED IN: DBLP
IN MY: DBLP
Page 4 of 10. Total results: 100.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service