I agree that this site is using cookies. You can find further informations here.
X
Silva, Alexandra
226  results:
Bookchapter (Online) X
Search for persons X
?
1

Multisets and Distributions:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,
Kozen, Dexter ; Silva, Alexandra - p. 168-187 , 2024
Link: https://doi.org/10.1007/..
 
?
2

A Cyclic Proof System for Guarded Kleene Algebra with Tests:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Rooduijn, Jan ; Kozen, Dexter ; Silva, Alexandra - p. 257-275 , 2024
Link: https://doi.org/10.1007/..
 
?
3

A Completeness Theorem for Probabilistic Regular Expression:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Różowski, Wojciech ; Silva, Alexandra - p. 1-14 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

Symbolic Semantics for Probabilistic Programs:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Voogd, Erik ; Johnsen, Einar Broch ; Silva, Alexandra.. - p. 329-345 , 2023
Link: https://doi.org/10.1007/..
 
?
5

A Complete Inference System for Skip-free Guarded Kleene Al..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Kappé, Tobias ; Schmid, Todd ; Silva, Alexandra - p. 309-336 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Deterministic stream-sampling for probabilistic programming..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Dahlqvist, Fredrik ; Silva, Alexandra ; Smith, William - p. 1-13 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Minimisation in Logical Form:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,
Bezhanishvili, Nick ; Bonsangue, Marcello M. ; Hansen, Helle Hvid... - p. 89-127 , 2023
Link: https://doi.org/10.1007/..
 
?
8

A Categorical Framework for Learning Generalised Tree Autom..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Heerdt, Gerco van ; Kappé, Tobias ; Rot, Jurriaan.. - p. 67-87 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Tree-Based Adaptive Model Learning:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,
Ferreira, Tiago ; van Heerdt, Gerco ; Silva, Alexandra - p. 164-179 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Concurrent NetKAT: Modeling and analyzing stateful, concurr..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Wagemaker, Jana ; Foster, Nate ; Kappé, Tobias... - p. 575-602 , 2022
Link: https://doi.org/10.1007/..
 
?
11

A bunched logic for conditional independence:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Bao, Jialu ; Docherty, Simon ; Hsu, Justin. - p. 1-14 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Prognosis : closed-box analysis of network protocol impl..:

, In: Proceedings of the 2021 ACM SIGCOMM 2021 Conference,
Ferreira, Tiago ; Brewton, Harrison ; D'Antoni, Loris. - p. 762-774 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Learning Pomset Automata:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
van Heerdt, Gerco ; Kappé, Tobias ; Rot, Jurriaan. - p. 510-530 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Learning Automata with Side-Effects:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
van Heerdt, Gerco ; Sammartino, Matteo ; Silva, Alexandra - p. 68-89 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Concurrent Kleene Algebra with Observations: From Hypothese..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Kappé, Tobias ; Brunet, Paul ; Silva, Alexandra.. - p. 381-400 , 2020
Link: https://doi.org/10.1007/..
 
1-15