@phdthesis{sequeira25,
title = {Quantum Reinforcement Learning: Foundations, algorithms, applications},
author = {André Sequeira},
year = 2025,
month = {January},
school = {University of Minho},
type = {PhD thesis},
pdf = {sequeira25.pdf}
}
@mastersthesis{jardim24,
title = {Analyzing quantum learning protocols with ZX},
author = {Bruno Filipe Jardim Machado},
year = 2024,
month = {October},
school = {University of Minho},
type = {Master's thesis},
pdf = {jardim24.pdf}
}
@phdthesis{zeinab25,
title = {Secure Multiparty Computation Based on Quantum Technologies},
author = {Zeinab Rahmani},
year = 2025,
school = {University of Aveiro},
type = {PhD thesis},
pdf = {zeinab25.pdf}
}
@inproceedings{barbosa25d,
author = {Andr{\'{e}} Sequeira and
Lu{\'{\i}}s Paulo Santos and
Lu{\'{\i}}s Soares Barbosa},
editor = {Marek Osinski and
Brian La Cour and
Lia Yeh},
title = {Trainability Issues in Quantum Policy Gradients with Softmax Activations},
booktitle = {{IEEE} International Conference on Quantum Computing and Engineering,
{QCE} 2024, Montreal, QC, Canada, September 15-20, 2024},
pages = {335--340},
publisher = {{IEEE}},
year = {2024},
doi = {10.1109/QCE60285.2024.10302},
pdf = {barbosa25d.pdf}
}
@inproceedings{barbosa25c,
author = {Zeinab Rahmani and
Armando N. Pinto and
Lu{\'{\i}}s Soares Barbosa},
editor = {Roman Wyrzykowski and
Jack J. Dongarra and
Ewa Deelman and
Konrad Karczewski},
title = {Private Computation of Boolean Functions Using Single Qubits},
booktitle = {Parallel Processing and Applied Mathematics - 15th International Conference,
{PPAM} 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised
Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {15580},
pages = {301--312},
publisher = {Springer},
year = {2024},
doi = {10.1007/978-3-031-85700-3\_22},
pdf = {barbosa25c.pdf}
}
@article{barbosa25bb,
author = {Michael de Oliveira and
Lu{\'{\i}}s Soares Barbosa and
Ernesto F. Galv{\~{a}}o},
title = {Quantum advantage in temporally flat measurement-based quantum computation},
journal = {Quantum},
volume = {8},
pages = {1312},
year = {2024},
doi = {10.22331/Q-2024-04-09-1312},
pdf = {barbosa25bb.pdf},
timestamp = {Thu, 01 May 2025 20:35:20 +0200},
biburl = {https://dblp.org/rec/journals/quantum/OliveiraBG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{oliveira25,
author = {Jos{\'{e}} Nuno Oliveira},
title = {How much is in a square? Calculating functional programs with squares},
journal = {J. Funct. Program.},
volume = {35},
year = {2025},
doi = {10.1017/S0956796825000012},
timestamp = {Sat, 14 Jun 2025 12:22:06 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Oliveira25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
pdf = {oliveira25.pdf}
}
@inproceedings{barbosa25b,
author = {Bruno Jardim and
Jaime Santos and
Lu{\'{\i}}s Soares Barbosa},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Raul Fervari and
Manuel A. Martins and
Reinhard Kahle and
Graham Pluck},
title = {Reconfiguring Staggered Quantum Walks with {ZX}},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2024 Collocated Workshops
- ReacTS 2024 and {CIFMA} 2024, Aveiro, Portugal, November 4-5, 2024,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {15551},
pages = {112--119},
publisher = {Springer},
year = {2024},
doi = {10.1007/978-3-031-94748-3\_10},
timestamp = {Thu, 21 Aug 2025 22:05:48 +0200},
biburl = {https://dblp.org/rec/conf/sefm/JardimSB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
pdf = {barbosa25b.pdf}
}
@article{barbosa25,
author = {Andrea D'Urbano and
Michael de Oliveira and
Lu{\'{\i}}s Soares Barbosa},
title = {Bridging resource theory and quantum key distribution: geometric analysis
and statistical testing},
journal = {Quantum Inf. Process.},
volume = {24},
number = {9},
pages = {289},
year = {2025},
doi = {10.1007/S11128-025-04866-8},
timestamp = {Mon, 08 Sep 2025 10:06:38 +0200},
biburl = {https://dblp.org/rec/journals/qip/DUrbanoOB25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
pdf = {barbosa25.pdf}
}
@inproceedings{jain25,
author = {Manisha Jain and
Vitor Fernandes and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Jonathan Edwards and
Roly Perera and
Tomas Petricek},
title = {Exploring a Quantum Programming Language with Concurrency},
booktitle = {Companion Proceedings of the 9th International Conference on the Art,
Science, and Engineering of Programming, Programming 2025, June 2-6,
2025, Prague 1, Czechia},
series = {OASIcs},
volume = {134},
pages = {16:1--16:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2025},
doi = {10.4230/OASICS.PROGRAMMING.2025.16},
timestamp = {Thu, 18 Sep 2025 15:04:19 +0200},
biburl = {https://dblp.org/rec/conf/programming/JainFMB25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
pdf = {jain25.pdf}
}
@inproceedings{cunha25d,
author = {Cunha, Juliana
and Madeira, Alexandre
and Barbosa, Lu{\'i}s S.},
editor = {Proen{\c{c}}a, Jos{\'e}
and Fervari, Raul
and Martins, Manuel A.
and Kahle, Reinhard
and Pluck, Graham},
title = {Paraconsistent Reactive Graphs},
booktitle = {Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops},
year = {2025},
publisher = {Springer Nature Switzerland},
address = {Cham},
pages = {105--111},
abstract = {This paper introduces Paraconsistent Reactive Graphs, as an extension of Reactive graphs that incorporates paraconsistency into the ground edges to address vagueness and inconsistency within dynamic systems. By assigning pairs of truth values to ground edges, this framework captures the uncertainty and contradictions stemming from incomplete or conflicting information. We explore the semantics of these graphs and provide a practical example to illustrate the proposed approach.},
isbn = {978-3-031-94748-3},
pdf = {cunha25d.pdf}
}
@article{cunha25c,
title = {Paraconsistent transition structures: compositional principles and a modal logic},
volume = {35},
doi = {10.1017/S0960129525100170},
journal = {Mathematical Structures in Computer Science},
author = {Cunha, Juliana and Madeira, Alexandre and Barbosa, Luís S.},
year = {2025},
pdf = {cunha25c.pdf}
}
@article{cunha25b,
title = {Specification of paraconsistent transition systems, revisited},
journal = {Science of Computer Programming},
volume = {240},
pages = {103196},
year = {2025},
issn = {0167-6423},
doi = {https://doi.org/10.1016/j.scico.2024.103196},
author = {Juliana Cunha and Alexandre Madeira and Luís Soares Barbosa},
pdf = {cunha25b.pdf}
}
@article{cunha25,
title = {Paraconsistent Relations as a Variant of Kleene Algebras},
volume = {421},
issn = {2075-2180},
doi = {10.4204/eptcs.421.8},
journal = {Electronic Proceedings in Theoretical Computer Science},
publisher = {Open Publishing Association},
author = {Cunha, Juliana and Madeira, Alexandre and S. Barbosa, Luís},
year = {2025},
month = jun,
pages = {130–147},
pdf = {cunha25.pdf}
}
@inproceedings{proenca25,
author = {Telmo Ribeiro and
Jos\'{e} Proen\c{c}a and
M\'{a}rio Florido},
editor = {Cinzia Di Giusto and
Giorgio Bacci},
title = {CoMPSeT: A Framework for Comparing Multiparty Session Types},
booktitle = {Combined 32nd International Workshop on Expressiveness
in Concurrency and 22nd Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2025, Aarhus, Denmark,
25th August 2025},
series = {{EPTCS}},
optvolume = {},
optpages = {},
year = {2025},
opturl = {https://doi.org/10.4204/EPTCS.?},
optdoi = {10.4204/EPTCS.?},
pdf = {proenca25.pdf}
}
@inproceedings{gomes25b,
author = {Gomes, Leandro
and Baillot, Patrick
and Gaboardi, Marco},
editor = {Abdulla, Parosh Aziz
and Kesner, Delia},
title = {BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs},
booktitle = {Foundations of Software Science and Computation Structures},
year = {2025},
publisher = {Springer Nature Switzerland},
address = {Cham},
pages = {243--264},
abstract = {This work is devoted to formal reasoning on relational properties of probabilistic imperative programs. Relational properties are properties which relate the execution of two programs (possibly the same one) on two initial memories. We aim at extending the algebraic approach of Kleene Algebras with Tests (KAT) to relational properties of probabilistic programs. For that we consider the approach of Guarded Kleene Algebras with Tests (GKAT), which can be used for representing probabilistic programs, and define a relational version of it, called Bi-guarded Kleene Algebras with Tests (BiGKAT) together with a semantics. We show that the setting of BiGKAT is expressive enough to encode a finitary version of probabilistic Relational Hoare Logic (pRHL) (without the While rule), a program logic that has been introduced in the literature for the verification of relational properties of probabilistic programs. We also discuss the additional expressivity brought by BiGKAT.},
isbn = {978-3-031-90897-2},
pdf = {gomes25b.pdf}
}
@inproceedings{gomes25,
author = {Gomes, Leandro and Baillot, Patrick and Gaboardi, Marco},
title = {A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs},
booktitle = {33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)},
pages = {35:1--35:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
isbn = {978-3-95977-362-1},
issn = {1868-8969},
year = {2025},
volume = {326},
editor = {Endrullis, J\"{o}rg and Schmitz, Sylvain},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
pdf = {gomes25.pdf},
doi = {10.4230/LIPIcs.CSL.2025.35}
}
@inproceedings{neves25b,
author = {Renato Neves and Jos{\'{e}} Proen{\c{c}}a and Juliana Souza},
editor = {Malgorzata Biernacka and Carlos Olarte},
title = {An adequate while-language for stochastic hybrid computation},
booktitle = {The 27th International Symposium on Principles and Practice of Declarative Programming, Rende, Italy, September 10-11, 2025},
series = {PPDP'25},
publisher = {Association for Computing Machinery},
year = {2025},
pdf = {neves25b.pdf}
}
@inproceedings{neves25,
author = {Renato Neves},
editor = {Cinzia Di Giusto and
Giorgio Bacci},
title = {An adequacy theorem between mixed powerdomains and probabilistic concurrency},
booktitle = {Combined 32nd International Workshop on Expressiveness
in Concurrency and 22nd Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2025, Aarhus, Denmark,
25th August 2025},
series = {{EPTCS}},
optvolume = {},
optpages = {},
year = {2025},
opturl = {https://doi.org/10.4204/EPTCS.?},
optdoi = {10.4204/EPTCS.?},
pdf = {neves25.pdf}
}
@mastersthesis{salgado25,
title = {Metric lambda-calculus with conditionals: quantum, probabilities, and beyond},
author = {Bruna Salgado},
year = 2025,
month = {September},
school = {University of Minho},
type = {Master's thesis},
pdf = {salgado25.pdf}
}
@inproceedings{proenca24b,
author = {Maurice H. ter Beek and
Rolf Hennicker and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Ilaria Castellani and
Francesco Tiezzi},
title = {Team Automata: Overview and Roadmap},
booktitle = {Coordination Models and Languages - 26th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2024, Held as Part of the 19th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14676},
pages = {161--198},
publisher = {Springer},
year = {2024},
doi = {10.1007/978-3-031-62697-5\_10},
pdf = {proenca24b.pdf}
}
@inproceedings{neves24,
author = {Pedro Mendes and
Ricardo Correia and
Renato Neves and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Matt Luckcuck and Mengwei Xu},
title = {Formal Simulation and Visualisation of Hybrid Programs},
booktitle = {Proceedings Sixth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2024, Manchester, UK, 11th-13th of
November 2024},
series = {{EPTCS}},
volume = {?},
pages = {?--?},
year = {2024},
doi = {?},
pdf = {neves24.pdf}
}
@inproceedings{madeira24,
author = {David Tinoco and
Alexandre Madeira and
Manuel A. Martins and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Diego Marmsoler and
Meng Sun},
title = {Reactive Graphs in Action},
booktitle = {Formal Aspects of Component Software - 20th International Conference,
{FACS} 2024, Milan, Italy, September 9-10, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15189},
pages = {97--105},
publisher = {Springer},
year = {2024},
doi = {10.1007/978-3-031-71261-6\_6},
pdf = {madeira24.pdf}
}
@inproceedings{barbosa24d,
author = {Lu{\'{\i}}s Soares Barbosa},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Paraconsistency for the Working Software Engineer (Extended Abstract)},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {22--30},
publisher = {Springer},
year = {2024},
doi = {10.1007/978-3-031-77382-2\_2},
pdf = {barbosa24d.pdf}
}
@article{barbosa24b,
author = {Jos{\'{e}} Diogo Guimar{\~{a}}es and
Mikhail I. Vasilevskiy and
Lu{\'{\i}}s Soares Barbosa},
title = {Digital quantum simulation of non-perturbative dynamics of open systems
with orthogonal polynomials},
journal = {Quantum},
volume = {8},
pages = {1242},
year = {2024},
doi = {10.22331/Q-2024-02-05-1242},
pdf = {barbosa24b.pdf}
}
@article{barbosa24c,
author = {Zeinab Rahmani and
Armando Nolasco Pinto and
Lu{\'{\i}}s Soares Barbosa},
title = {Secure two-party computation via measurement-based quantum computing},
journal = {Quantum Inf. Process.},
volume = {23},
number = {6},
pages = {221},
year = {2024},
doi = {10.1007/S11128-024-04433-7},
pdf = {barbosa24c.pdf}
}
@article{barbosa24,
author = {Andr{\'{e}} Sequeira and
Lu{\'{\i}}s Paulo Santos and
Lu{\'{\i}}s Soares Barbosa},
title = {Trainability issues in quantum policy gradients},
journal = {Mach. Learn. Sci. Technol.},
volume = {5},
number = {3},
pages = {35037},
year = {2024},
doi = {10.1088/2632-2153/AD6830},
pdf = {barbosa24.pdf}
}
@inproceedings{oliveira24,
author = {Pedro Silva and
Alcino Cunha and
Nuno Macedo and
Jos{\'{e}} N. Oliveira},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Michael Leuschel and
Elvinia Riccobene and
Patrizia Scandurra},
title = {Alloy Goes Fuzzy},
booktitle = {Rigorous State-Based Methods - 10th International Conference, {ABZ}
2024, Bergamo, Italy, June 25-28, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14759},
pages = {61--79},
publisher = {Springer},
year = {2024},
doi = {10.1007/978-3-031-63790-2\_4},
pdf = {oliveira24.pdf}
}
@misc{kai24,
title = {Data-Agnostic Model Poisoning against Federated Learning: A Graph Autoencoder Approach},
author = {Kai Li and Jingjing Zheng and Xin Yuan and Wei Ni and Ozgur B. Akan and H. Vincent Poor},
year = {2023},
eprint = {2311.18498},
archiveprefix = {arXiv},
primaryclass = {cs.LG},
pdf = {kai24.pdf}
}
@mastersthesis{dias24,
title = {An interpreter for a concurrent quantum language},
author = {Inês Dias},
year = 2024,
month = {January},
school = {University of Minho},
type = {Master's thesis},
pdf = {dias24.pdf}
}
@inproceedings{santos23,
author = {Jaime Santos and
Daniel Figueiredo and
Alexandre Madeira},
editor = {Cristina David and
Meng Sun},
title = {idDL2DL - Interval Syntax to dL},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {240--247},
publisher = {Springer},
year = {2023},
doi = {10.1007/978-3-031-35257-7\_14},
pdf = {santos23.pdf}
}
@inproceedings{cunha23,
author = {Juliana Cunha and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Cristina David and
Meng Sun},
title = {Stepwise Development of Paraconsistent Processes},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {327--343},
publisher = {Springer},
year = {2023},
doi = {10.1007/978-3-031-35257-7\_20},
pdf = {cunha23.pdf}
}
@inproceedings{barbosa23,
author = {Lu{\'{\i}}s Soares Barbosa and
Alexandre Madeira},
editor = {Shigeru Chiba and
Youyou Cong and
Elisa Gonzalez Boix},
title = {Capturing Qubit Decoherence through Paraconsistent Transition Systems},
booktitle = {Companion Proceedings of the 7th International Conference on the Art,
Science, and Engineering of Programming, Programming 2023, Tokyo,
Japan, March 13-17, 2023},
pages = {109--110},
publisher = {{ACM}},
year = {2023},
doi = {10.1145/3594671.3594689},
pdf = {barbosa23.pdf}
}
@article{sequeira23,
author = {Andr{\'{e}} Sequeira and
Lu{\'{\i}}s Paulo Santos and
Lu{\'{\i}}s Soares Barbosa},
title = {Policy gradients using variational quantum circuits},
journal = {Quantum Mach. Intell.},
volume = {5},
number = {1},
pages = {1--15},
year = {2023},
doi = {10.1007/S42484-023-00101-8},
pdf = {sequeira23.pdf}
}
@inproceedings{kai23,
author = {Li, Kai and Yuan, Xin and Zheng, Jingjing and Ni, Wei and Guizani, Mohsen},
booktitle = {2023 International Wireless Communications and Mobile Computing (IWCMC)},
title = {Exploring Adversarial Graph Autoencoders to Manipulate Federated Learning in The Internet of Things},
year = {2023},
volume = {},
number = {},
pages = {898-903},
doi = {10.1109/IWCMC58020.2023.10183217},
pdf = {kai23.pdf}
}
@inproceedings{proenca23c,
author = {Proença, José and Edixhoven, Luc},
booktitle = {Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Portugal, June 19-23, 2023, Proceedings},
editor = {Jongmans, Sung-Shik and Lopes, Antónia},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Caos: A Reusable Scala Web Animator of Operational Semantics},
pages = {163--171},
volume = {13908},
doi = {10.1007/978-3-031-35361-1_9},
year = {2023},
pdf = {proenca23c.pdf}
}
@inproceedings{proenca23b,
author = {Jos{\'{e}} Proen{\c{c}}a and
David Pereira and
Giann Spilere Nandi and
Sina Borrami and
Jonas Melchert},
editor = {Maurice H. ter Beek and
Clemens Dubslaff},
title = {Spreadsheet-based Configuration of Families of Real-Time Specifications},
booktitle = {Proceedings of the First Workshop on Trends in Configurable Systems
Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023},
series = {{EPTCS}},
volume = {392},
pages = {27--39},
year = {2023},
doi = {10.4204/EPTCS.392.2},
pdf = {proenca23b.pdf}
}
@article{edixhoven23,
author = {Luc Edixhoven and Sung-Shik Jongmans and Jos\'{e} Proen\c{c}a and
Ilaria Castellani},
journal = {Journal of Logical and Algebraic Methods in Programming},
title = {Branching pomsets: design, expressiveness and applications to choreographies},
year = {2024},
pages = {100919},
volume = {136},
issn = {2352-2208},
doi = {10.1016/j.jlamp.2023.100919},
pdf = {edixhoven23.pdf}
}
@inproceedings{proenca23,
author = {Proença, Jos\'{e}},
booktitle = {Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers},
editor = {C\'{a}mara, Javier and Jongmans, Sung-Shik},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Overview on Constrained Multiparty Synchronisation in Team Automata},
volume = {14485},
year = {2023},
pdf = {proenca23.pdf}
}
@inproceedings{terbeek23,
author = {Maurice H. ter Beek and
Rolf Hennicker and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Realisability of Global Models of Interaction},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {236--255},
publisher = {Springer},
year = {2023},
doi = {10.1007/978-3-031-47963-2\_15},
pdf = {terbeek23.pdf}
}
@inproceedings{oliveira23,
author = {Jos{\'{e}} Nuno Oliveira},
editor = {Alexandre Madeira and
Manuel A. Martins},
title = {Why Adjunctions Matter - {A} Functional Programmer Perspective},
booktitle = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13710},
pages = {25--59},
publisher = {Springer},
year = {2022},
doi = {10.1007/978-3-031-43345-0\_2},
pdf = {oliveira23.pdf}
}
@mastersthesis{carvalho23,
title = {Adding uncertainty to real-time programming},
author = {Rui Carvalho},
year = 2023,
month = {September},
school = {University of Minho},
type = {Master's thesis},
pdf = {carvalho23.pdf}
}
@mastersthesis{correia23,
title = {Simulation of hybrid systems regulated by Newtonian mechanics},
author = {Ricardo Correia},
year = 2023,
month = {December},
school = {University of Minho},
type = {Master's thesis},
pdf = {correia23.pdf}
}
@article{backhouse23,
author = {Roland Carl Backhouse and
Jos{\'{e}} Nuno Oliveira},
title = {On difunctions},
journal = {J. Log. Algebraic Methods Program.},
volume = {134},
pages = {100878},
year = {2023},
doi = {10.1016/J.JLAMP.2023.100878},
pdf = {oliveira23b.pdf}
}
@inproceedings{cunha22,
author = {Juliana Cunha and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Hossein Hojjat and
Erika {\'{A}}brah{\'{a}}m},
title = {Structured Specification of Paraconsistent Transition Systems},
booktitle = {Fundamentals of Software Engineering - 10th International Conference,
{FSEN} 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14155},
pages = {1--17},
publisher = {Springer},
year = {2023},
doi = {10.1007/978-3-031-42441-0\_1},
pdf = {cunha23.pdf}
}
@inproceedings{cruz22b,
author = {Ana Cruz and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Daniele Nantes{-}Sobrinho and
Pascal Fontaine},
title = {Paraconsistent Transition Systems},
booktitle = {Proceedings 17th International Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2022, Belo Horizonte, Brazil (hybrid), 23-24
September 2022},
series = {{EPTCS}},
volume = {376},
pages = {3--15},
year = {2022},
doi = {10.4204/EPTCS.376.3},
pdf = {cunha23b.pdf}
}
@inproceedings{cruz22,
author = {Ana Cruz and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Andrzej Indrzejczak and
Michal Zawidzki},
title = {A Logic for Paraconsistent Transition Systems},
booktitle = {Proceedings of the 10th International Conference on Non-Classical
Logics. Theory and Applications, {NCL} 2022, {\L}{\'{o}}d{\'{z}},
Poland, 14-18 March 2022},
series = {{EPTCS}},
volume = {358},
pages = {270--284},
year = {2022},
doi = {10.4204/EPTCS.358.20},
pdf = {cruz22.pdf}
}
@article{gomes22,
author = {Leandro Gomes and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
title = {Weighted synchronous automata},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {9},
pages = {1234--1253},
year = {2022},
doi = {10.1017/S0960129522000421},
pdf = {gomes22.pdf}
}
@inproceedings{oliveira22,
author = {Pedro Silva and
Jos{\'{e}} N. Oliveira and
Nuno Macedo and
Alcino Cunha},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {Quantitative relational modelling with QAlloy},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {885--896},
publisher = {{ACM}},
year = {2022},
doi = {10.1145/3540250.3549154},
pdf = {oliveira22.pdf}
}
@inproceedings{dahlqvist23,
author = {Fredrik Dahlqvist and
Renato Neves},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {A Complete V-Equational System for Graded lambda-Calculus},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
doi = {10.46298/ENTICS.12299},
pdf = {dahlqvist23b.pdf}
}
@article{dahlqvist22,
title = {{The syntactic side of autonomous categories enriched over generalised
metric spaces}},
author = {Fredrik Dahlqvist and Renato Neves},
pdf = {dahlqvist23.pdf},
doi = {10.46298/lmcs-19(4:31)2023},
journal = {{Logical Methods in Computer Science}},
volume = {{Volume 19, Issue 4}},
year = {2023},
month = dec
}
@inproceedings{proenca22,
author = {Maurice H. ter Beek and
Guillermina Cledou and
Rolf Hennicker and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Can We Communicate? Using Dynamic Logic to Verify Team Automata},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {122--141},
publisher = {Springer},
year = {2023},
doi = {10.1007/978-3-031-27481-7\_9},
pdf = {proenca22.pdf}
}
@inproceedings{proenca22b,
author = {Sung{-}Shik Jongmans and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{ST4MP:} {A} Blueprint of Multiparty Session Typing for Multilingual
Programming},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {460--478},
publisher = {Springer},
year = {2022},
doi = {10.1007/978-3-031-19849-6\_26},
pdf = {proenca22b.pdf}
}
@inproceedings{proenca22c,
author = {Luc Edixhoven and
Sung{-}Shik Jongmans and
Jos{\'{e}} Proen{\c{c}}a and
Guillermina Cledou},
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {Branching Pomsets for Choreographies},
booktitle = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
pages = {37--52},
year = {2022},
doi = {10.4204/EPTCS.365.3},
pdf = {proenca22c.pdf}
}
This file was generated by bibtex2html 1.99.