Andreia Mordido
Orcid: 0000-0002-1547-0692
According to our database1,
Andreia Mordido
authored at least 26 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
2
2
3
2
2
1
3
3
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., January, 2024
Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024
2023
Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023
Proceedings of the Programming Languages and Systems, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022
Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022
2021
2020
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
2019
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities.
Theor. Comput. Sci., 2019
Math. Struct. Comput. Sci., 2019
Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016
2015
Proceedings of the Logic, Language, Information, and Computation, 2015