update publications

Author: rodrigo7491

_pages/publications.md

@@ -1,8 +1,109 @@
 ---
 permalink: /publications/
-title: "Publications"
+title: ""
 author_profile: true
 redirect_from: 
 ---
 
-TODO
+### Journal Papers
+
+5. M. Rezaalipour, M. Biasion, F. Costa, C. Tirelli, L. Ferretti, <ins>R. Otoni</ins>, G. Constantinides, and L. Pozzi.
+**Approximate Logic Synthesis via Iterative SMT-based Subcircuit Rewriting**.
+IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Early Access.
+[DOI](https://doi.org/10.1109/TCAD.2025.3638267)
+
+[//]: comment
+
+4. A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
+**A Language for Quantifying Quantum Network Behavior**.
+Proceedings of the ACM on Programming Languages (PACMPL), 9(OOPSLA2), 2025.
+[DOI](https://doi.org/10.1145/3763135)
+
+[//]: comment
+
+3. <ins>R. Otoni</ins>, M. Blicha, P. Eugster, and N. Sharygina.
+Validation of CHC Satisfiability with ATHENA.
+Formal Aspects of Computing (FAC), 37(4), 2025.
+[DOI](https://doi.org/10.1145/3716505)
+
+[//]: comment
+
+2. A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
+**An Algebraic Language for Specifying Quantum Networks**.
+Proceedings of the ACM on Programming Languages (PACMPL), 8(PLDI), 2024.
+[DOI](https://doi.org/10.1145/3656430)
+
+[//]: comment
+
+1. <ins>R. Otoni</ins>, M. Marescotti, L. Alt, P. Eugster, A. Hyvärinen, and N. Sharygina.
+**A Solicitous Approach to Smart Contract Verification**.
+ACM Transactions on Privacy and Security (TOPS), 26(2), 2023.
+[DOI](https://doi.org/10.1145/3564699)
+
+### Conference Papers
+
+7. <ins>R. Otoni</ins>, M. Blicha, M. Rivera, P. Eugster, J. Kofroň, and N. Sharygina.
+**Unsatisfiability Proofs for Horn Solving**.
+31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'25).
+[DOI](https://doi.org/10.1007/978-3-031-90653-4_4)
+\
+*Distinguished Paper Award* and *EASST Best Paper Award*
+
+[//]: comment
+
+6. C. Tirelli, <ins>R. Otoni</ins>, and L. Pozzi.
+**Monomorphism-based CGRA Mapping via Space and Time Decoupling**.
+28th Design, Automation and Test in Europe Conference (DATE'25).
+[DOI](https://doi.org/10.23919/DATE64628.2025.10992940)
+
+[//]: comment
+
+5. <ins>R. Otoni</ins>, M. Blicha, P. Eugster, and N. Sharygina.
+**CHC Model Validation with Proof Guarantees**.
+18th International Conference on integrated Formal Methods (iFM'23).
+[DOI](https://doi.org/10.1007/978-3-031-47705-8_4)
+\
+*Best Paper Award candidate*
+
+[//]: comment
+
+4. <ins>R. Otoni</ins>, I. Konnov, J. Kukovec, P. Eugster, and N. Sharygina.
+**Symbolic Model Checking for TLA+ Made Faster**.
+29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'23).
+[DOI](https://doi.org/10.1007/978-3-031-30823-9_7)
+
+[//]: comment
+
+3. <ins>R. Otoni</ins>, M. Blicha, P. Eugster, A. Hyvärinen, and N. Sharygina.
+**Theory-Specific Proof Steps Witnessing Correctness of SMT Executions**.
+58th ACM/IEEE Design Automation Conference (DAC'21).
+[DOI](https://doi.org/10.1109/DAC18074.2021.9586272)
+
+[//]: comment
+
+2. M. Marescotti, <ins>R. Otoni</ins>, L. Alt, P. Eugster, A. Hyvärinen, and N. Sharygina.
+**Accurate Smart Contract Verification Through Direct Modelling**.
+9th International Symposium on Leveraging Applications of Formal Methods (ISoLA'20).
+[DOI](https://doi.org/10.1007/978-3-030-61467-6_12)
+
+[//]: comment
+
+1. <ins>R. Otoni</ins>, A. Cavalcanti, and A. Sampaio.
+**Local Analysis of Determinism for CSP**.
+20th Brazilian Symposium on Formal Methods (SBMF'17).
+[DOI](https://doi.org/10.1007/978-3-319-70848-5_8)
+
+### Other Papers
+
+2. <ins>R. Otoni</ins>.
+**Automatisierte Garantierte Blockchain-Technologie Verifizierung**.
+GI Ausgezeichnete Informatikdissertationen 2023 (Band 24), 2024.
+[DOI](https://doi.org/10.18420/Diss2023-19)
+
+
+[//]: comment
+
+1. A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
+**Towards an Algebraic Specification of Quantum Networks**.
+1st Workshop on Quantum Networks and Distributed Quantum Computing (QuNet'23).
+[DOI](https://doi.org/10.1145/3610251.3610557)