@inproceedings{cunha22, author = {Juliana Cunha and Alexandre Madeira and Luis S. Barbosa}, title = {Structured specification of paraconsistent transition systems}, booktitle = {Fundamentals of Software Engineering}, publisher = {LNCS}, year = {(to appear)} }
@inproceedings{cruz22b, author = {Ana Cruz and Alexandre Madeira and Luis S. Barbosa}, title = {Paraconsistent transition systems}, booktitle = {Logical and Semantic Frameworks, with Applications}, publisher = {EPTCS}, year = {(to appear)} }
@inproceedings{cruz22, author = {Ana Cruz and Alexandre Madeira and Luis S. Barbosa}, title = {A logic for paraconsistent transition systems}, booktitle = {NCL'22: Non-Classical Logics - Theory and Applications}, year = {2022 (in print)}, url = {cruz22.pdf} }
@article{gomes22, author = {Leandro Gomes and Alexandre Madeira and Luis S. Barbosa}, title = {Guarded weighted synchronous automata}, journal = {Mathematical Structures in Computer Science}, year = {2022 (in print)} }
@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}, url = {oliveira22.pdf} }
@article{dahlqvist22, title = {The syntactic side of autonomous categories enriched over generalised metric spaces}, author = {Dahlqvist, Fredrik and Neves, Renato}, journal = {arXiv preprint arXiv:2208.14356}, year = {2022}, url = {dahlqvist22.pdf} }
@inproceedings{proenca22, author = {Maurice H. ter Beek and Guillermina Cledou and Rolf Hennicker and José Proença }, booktitle = {Formal Methods - 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings}, editor = {Joost-Pieter Katoen and Marsha Chechik}, note = {to appear}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Can we Communicate? Using Dynamic Logic to Verify Team Automata}, year = {2023}, url = {proenca22.pdf} }
@inproceedings{proenca22b, author = {Sung-Shik Jongmans and José Proença}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, Rhodes, Greece, October 24-28, 2022, Proceedings}, editor = {Tiziana Margaria and Bernhard Steffen}, note = {to appear}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming}, year = {2022}, url = {proenca22b.pdf} }
@inproceedings{proenca22c, author = {Luc Edixhoven and Sung-Shik Jongmans and José Proença and Guillermina Cledou }, booktitle = {Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022}, editor = {Clément Aubert and Cinzia Di Giusto and Larisa Safina and Alceste Scalas}, volume = {365}, series = {EPTCS}, pages = {37-52}, doi = {10.4204/EPTCS.365.3}, title = {Branching pomsets for choreographies}, year = {2022}, url = {proenca22c.pdf} }
This file was generated by bibtex2html 1.99.