bib.bib

@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.