Alexandra Martins da Silva
AuthID: R-000-NF7
31
TÃTULO: Prognosis: Closed-Box Analysis of Network Protocol Implementations
AUTORES: Tiago Ferreira; Harrison Brewton; Loris D'Antoni; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2201.02577
AUTORES: Tiago Ferreira; Harrison Brewton; Loris D'Antoni; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2201.02577
INDEXADO EM: DBLP
NO MEU: DBLP
32
TÃTULO: Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
AUTORES: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2201.10485
AUTORES: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2201.10485
INDEXADO EM: DBLP
NO MEU: DBLP
33
TÃTULO: Processes Parametrised by an Algebraic Theory
AUTORES: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2202.06901
AUTORES: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2202.06901
INDEXADO EM: DBLP
NO MEU: DBLP
34
TÃTULO: Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks
AUTORES: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, VOLUME: 13240
AUTORES: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, VOLUME: 13240
INDEXADO EM: DBLP
NO MEU: DBLP
35
TÃTULO: Guarded Kleene Algebra with Tests: Automata Learning
AUTORES: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2204.14153
AUTORES: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2204.14153
INDEXADO EM: DBLP
NO MEU: DBLP
36
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
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
37
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
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
38
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
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
39
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
AUTORES: Stefan Szeider; Robert Ganian; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: MFCS, VOLUME: 241
INDEXADO EM: DBLP
NO MEU: DBLP
40
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
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