Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
Author: personID (integer) : 1030402
Page :
sorted by
Image document

Topics in Theoretical Computer Science

 Luis Barbosa , Mohammad Ali Abam
Springer International Publishing, LNCS-12281, 2020, Lecture Notes in Computer Science, 978-3-030-57851-0. ⟨10.1007/978-3-030-57852-7⟩
Books hal-03165376v1
Image document

Asymmetric Combination of Logics is Functorial: A Survey

 Renato Neves , Alexandre Madeira , Luis S. Barbosa , Manuel A. Martins
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.39-55, ⟨10.1007/978-3-319-72044-9_4⟩
Conference papers hal-01767465v1
Image document

Composing Families of Timed Automata

 Guillermina Cledou , José Proença , Luis Soares Barbosa
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.51-66, ⟨10.1007/978-3-319-68972-2_4⟩
Conference papers hal-01760866v1
Page :