Alexandra Silva
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 7 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- Trace semantics via determinization
2014/12/05 by Bart Jacobs, Alexandra Silva, Ana Sokolova · 5 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #semigroups and automata theory
- A Bunched Logic for Conditional Independence
2020/08/20 by Jialu Bao, Bao, Jialu, Simon Docherty +5 · 3 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies
- Temporal and geographic variability of sardine maturity at length in the northeastern Atlantic and the western Mediterranean
2006/01/01 by Alexandra Silva, A. Silva, M.B. Santos +9 · 1 citation
Agricultural and Biological Sciences · Environmental Science · #Fish Biology and Ecology Studies #Fish Ecology and Management Studies #Marine and fisheries research
- Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
2024/11/18 by Noam Zilberstein, Zilberstein, Noam, Alexandra Silva +3 · 1 voice · 2 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies #cs.LO #cs.PL
- Kleene Algebra
2025/11/14 by Tobias Kappé, Alexandra Silva, Kappé, Tobias +3 · 1 voice
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.PL
- Deterministic stream-sampling for probabilistic programming: semantics and verification
2023/04/26 by Fredrik Dahlqvist, Dahlqvist, Fredrik, Alexandra Silva +3 · 1 citation
Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies
- A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
2024/05/13 by Jan Rooduijn, Rooduijn, Jan, Dexter Kozen +3 · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebraic structures and combinatorial models #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
- Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary
2026/07/17 by Hanxi Chen, Noam Zilberstein, Andrew C. Myers +1
#cs.PL #cs.LO