bib.bib

@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,
  KEYWORDS = {Computer Science - Logic in Computer Science ; 68Q01 ; F.3.0},
}
@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}
}