update publications

Author: rodrigo7491

_pages/publications.md

@@ -7,33 +7,33 @@ redirect_from:
 
 ### Journal Papers
 
-5. M. Rezaalipour, M. Biasion, F. Costa, C. Tirelli, L. Ferretti, <ins>R. Otoni</ins>, G. Constantinides, and L. Pozzi.
+`&nbsp;3.`. 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
+ [//]: 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
+ [//]: 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
+ [//]: 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
+ [//]: 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**.
@@ -49,14 +49,14 @@ ACM Transactions on Privacy and Security (TOPS), 26(2), 2023.
 \
 *Distinguished Paper Award* and *EASST Best Paper Award*
 
-[//]: comment
+ [//]: 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
+ [//]: comment
 
 5. <ins>R. Otoni</ins>, M. Blicha, P. Eugster, and N. Sharygina.
 **CHC Model Validation with Proof Guarantees**.
@@ -65,28 +65,28 @@ ACM Transactions on Privacy and Security (TOPS), 26(2), 2023.
 \
 *Best Paper Award candidate*
 
-[//]: comment
+ [//]: 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
+ [//]: 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
+ [//]: 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
+ [//]: comment
 
 1. <ins>R. Otoni</ins>, A. Cavalcanti, and A. Sampaio.
 **Local Analysis of Determinism for CSP**.
@@ -101,7 +101,7 @@ GI Ausgezeichnete Informatikdissertationen 2023 (Band 24), 2024.
 [DOI](https://doi.org/10.18420/Diss2023-19)
 
 
-[//]: comment
+ [//]: comment
 
 1. A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
 **Towards an Algebraic Specification of Quantum Networks**.