@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},
url = {https://doi.org/10.1007/978-3-031-62697-5\_10},
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},
url = {https://doi.org/?},
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},
url = {https://doi.org/10.1007/978-3-031-71261-6\_6},
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},
url = {https://doi.org/10.1007/978-3-031-77382-2\_2},
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},
url = {https://doi.org/10.22331/q-2024-02-05-1242},
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},
url = {https://doi.org/10.1007/s11128-024-04433-7},
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},
url = {https://doi.org/10.1088/2632-2153/ad6830},
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},
url = {https://doi.org/10.1007/978-3-031-63790-2\_4},
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},
url = {https://doi.org/10.1007/978-3-031-35257-7\_14},
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},
url = {https://doi.org/10.1007/978-3-031-35257-7\_20},
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},
url = {https://doi.org/10.1007/s42484-023-00101-8},
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},
url = {https://doi.org/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},
url = {https://doi.org/10.4204/EPTCS.392.2},
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},
url = {https://www.sciencedirect.com/science/article/pii/S2352220823000731},
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},
url = {https://doi.org/10.1007/978-3-031-47963-2\_15},
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},
url = {https://doi.org/10.1007/978-3-031-43345-0\_2},
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},
url = {https://doi.org/10.1016/j.jlamp.2023.100878},
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},
url = {https://doi.org/10.1007/978-3-031-42441-0\_1},
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},
url = {https://doi.org/10.4204/EPTCS.376.3},
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},
url = {https://doi.org/10.4204/EPTCS.358.20},
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},
url = {https://doi.org/10.1017/S0960129522000421},
doi = {10.1017/S0960129522000421}
}
@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},
url = {https://doi.org/10.1145/3540250.3549154},
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},
url = {https://entics.episciences.org/12299/pdf},
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},
url = {https://lmcs.episciences.org/12719/pdf},
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},
url = {https://doi.org/10.1007/978-3-031-27481-7\_9},
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},
url = {https://doi.org/10.1007/978-3-031-19849-6\_26},
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},
url = {https://doi.org/10.4204/EPTCS.365.3},
doi = {10.4204/EPTCS.365.3},
pdf = {proenca22c.pdf}
}
This file was generated by bibtex2html 1.99.