Alexandra Silva
Orcid: 0000-0001-5014-9784Affiliations:
- Cornell University, Ithaca, NY, USA
- University College London, UK
- Radboud University Nijmegen, The Netherlands
According to our database1,
Alexandra Silva
authored at least 153 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021.
Formal Methods Syst. Des., October, 2024
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.
Proc. ACM Program. Lang., 2024
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.
Proc. ACM Program. Lang., 2024
CoRR, 2024
CoRR, 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Proceedings of the Logics and Type Systems in Theory and Practice, 2024
2023
Proc. ACM Program. Lang., April, 2023
Dagstuhl Artifacts Ser., 2023
Proceedings of the Fourteenth International Symposium on Games, 2023
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Deterministic stream-sampling for probabilistic programming: semantics and verification.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
Proceedings of the Programming Languages and Systems, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023
2022
J. Log. Algebraic Methods Program., 2022
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022
Proceedings of the Programming Languages and Systems, 2022
Proceedings of the Coalgebraic Methods in Computer Science, 2022
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
2021
Proc. ACM Program. Lang., 2021
Log. Methods Comput. Sci., 2021
J. Log. Algebraic Methods Program., 2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
2020
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.
Proc. ACM Program. Lang., 2020
Bull. EATCS, 2020
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
Proceedings of the Coalgebraic Methods in Computer Science, 2020
2019
J. Log. Algebraic Methods Program., 2019
J. Log. Algebraic Methods Program., 2019
Log. J. IGPL, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk).
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019
2018
Log. Methods Comput. Sci., 2018
Log. Methods Comput. Sci., 2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Proceedings of the Programming Languages and Systems, 2018
2017
J. Log. Algebraic Methods Program., 2017
Fundam. Informaticae, 2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
J. Log. Algebraic Methods Program., 2016
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.
CoRR, 2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016
2015
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure.
Theor. Comput. Sci., 2015
Sci. Comput. Program., 2015
J. Internet Serv. Inf. Secur., 2015
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version).
CoRR, 2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
2014
ACM Trans. Comput. Log., 2014
Sci. Comput. Program., 2014
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Theoretical Computer Science, 2014
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.
Proceedings of the Coalgebraic Methods in Computer Science, 2014
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014
Proceedings of the Categories and Types in Logic, Language, and Physics, 2014
2013
ACM Trans. Comput. Log., 2013
Sci. Comput. Program., 2013
Log. Methods Comput. Sci., 2013
Proceedings of the Programming Languages and Systems, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
Sci. Ann. Comput. Sci., 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the Logic and Program Semantics, 2012
2011
Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
2010
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010
Proceedings of the Formal Methods: Foundations and Applications, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
2009
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009
Proceedings of the Foundations of Software Science and Computational Structures, 2009
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Proceedings of the Logic, 2007
2006
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006