Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

51
TÍTULO: Processes Parametrised by an Algebraic Theory
AUTORES: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLICAÇÃO: 2022, FONTE: 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France., VOLUME: 229
INDEXADO EM: DBLP
NO MEU: DBLP
52
TÍTULO: A Categorical Framework for Learning Generalised Tree Automata
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
53
TÍTULO: Tree-Based Adaptive Model Learning
AUTORES: Tiago Ferreira; Gerco van Heerdt; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
54
TÍTULO: 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria
AUTORES: Stefan Szeider; Robert Ganian; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: MFCS, VOLUME: 241
INDEXADO EM: DBLP
NO MEU: DBLP
55
TÍTULO: Long-Term Mentoring for Computer Science Researchers
AUTORES: Emily Ruppel; Sihang Liu; Elba Garza; Sukyoung Ryu; Alexandra Silva; Talia Ringer;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2208.04738
INDEXADO EM: DBLP
NO MEU: DBLP
56
TÍTULO: Tree-Based Adaptive Model Learning
AUTORES: Tiago Ferreira; Gerco van Heerdt; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2209.00122
INDEXADO EM: DBLP
NO MEU: DBLP
57
TÍTULO: Actor-based model checking for Software-Defined Networks PDF
AUTORES: Elvira Albert; Miguel Gómez Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2021, FONTE: J. Log. Algebraic Methods Program., VOLUME: 118
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
58
TÍTULO: Conditional transition systems with upgrades PDF
AUTORES: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Sci. Comput. Program., VOLUME: 186
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
59
TÍTULO: Learning Weighted Automata over Principal Ideal Domains
AUTORES: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
60
TÍTULO: Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness PDF
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
Página 6 de 13. Total de resultados: 124.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service