Recent publications
Article
Marin, S, Miller, D, Pimentel, E & Volpe, M 2022, '', Annals of Pure and Applied Logic, vol. 173, no. 5, 103091.
Marin, S, Morales, M & Stra脽burger, L 2021, '', Journal of Logic and Computation, vol. 31, no. 3, pp. 998鈥�1022.
Kuznets, R, Marin, S & Stra脽burger, L 2021, '', Journal of Applied Logics - IfCoLog, vol. 8, no. 8, pp. 2313-2332. <>
Conference contribution
Girlando, M, Kuznets, R, Marin, S, Morales, M & Stra脽burger, L 2024, . in G Metcalfe, T Studer & R de Queiroz (eds), Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10鈥�13, 2024, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 14672, Springer, pp. 47-63, 30th Workshop on Logic, Language, Information and Computation, Bern, Switzerland, 10/06/24.
Das, A, van der Giessen, I & Marin, S 2024, . in A Murano & A Silva (eds), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics, LIPIcs, vol. 288, Schloss Dagstuhl, pp. 22:1-22:18, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Naples, Italy, 19/02/24.
Marin, S & Padhiar, P 2024, . in Advances in Modal Logic. Advances in Modal Logic, College Publications, Advances in Modal Logic 2024, Advances in Modal Logic 2024, Czech Republic, 19/08/24.
Carbone, M, Marin, S & Sch眉rmann, C 2023, . in R Gl眉ck & B Kafle (eds), Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14330, Springer.
Girlando, M, Kuznets, R, Marin, S, Morales, M & Stra脽burger, L 2023, . in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): June 26 2023 to June 29 2023 Boston, MA, USA. Annual Symposium on Logic in Computer Science, IEEE, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, United States, 26/06/23.
Das, A & Marin, S 2023, . in R Ramanayake & J Urban (eds), Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18鈥�21, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14278 LNAI, Springer, pp. 283-301, 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, Prague, Czech Republic, 18/09/23.
Das, A & Marin, S 2022, . in D Fern谩ndez-Duque, A Palmigiano & S Pinchinat (eds), Advances in Modal Logic: Volume 14. Advances in Modal Logic, vol. 14, College Publications, pp. 329-348, Advances in Modal Logic 2022, Rennes, France, 22/08/22. <>
Marin, S, Pereira, LC, Pimentel, E & Sales, E 2021, . in A Silva, R Wassermann & R de Queiroz (eds), Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5鈥�8, 2021, Proceedings. Lecture Notes in Computer Science, vol. 13038, Springer, pp. 388鈥�407, 27th Workshop on Logic, Language, Information and Computation, 5/10/21.
Gheorghiu, A & Marin, S 2021, . in Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 鈥� April 1, 2021, Proceedings. Lecture Notes in Computer Science, vol. 12650, Springer, pp. 247鈥�267.