E-LIB Suche - Ergebnisse für: Jose Proenca

1

Preface and biographic notes for the special issue on graph..:

Debattista, Kurt ; José Proença, Alberto ; Paulo Santos, Luís
Computers & Graphics. 34 (2010) 6 - p. 641-642 , 2010

2

Are older workers really different ? the effects of age, te..:

Jose Proenca, E. ; Shewchuk, Richard M.
International Journal of Public Administration. 21 (1998) 11 - p. 1603-1627 , 1998

Link: https://doi.org/10.1080/..

3

Team Automata: Overview and Roadmap:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

ter Beek, Maurice H. ; Hennicker, Rolf ; Proença, José - p. 161-198 , 2024

Link: https://doi.org/10.1007/..

4

Overview on Constrained Multiparty Synchronisation in Team ..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Proença, José - p. 194-205 , 2024

Link: https://doi.org/10.1007/..

5

Branching pomsets: Design, expressiveness and applications ..:

Edixhoven, Luc ; Jongmans, Sung-Shik ; Proença, José.
Journal of Logical and Algebraic Methods in Programming. 136 (2024) - p. 100919 , 2024

Link: https://doi.org/10.1016/..

6

Diabetic Ketoacidosis and Hypertriglyceridemia-Induced Acut..:

Lourinho, João ; Proença, José ; Santos, Letícia...
Cureus. , 2024

Link: https://doi.org/10.7759/..

7

Can We Communicate? Using Dynamic Logic to Verify Team Auto..:

, In: Formal Methods; Lecture Notes in Computer Science,

ter Beek, Maurice H. ; Cledou, Guillermina ; Hennicker, Rolf. - p. 122-141 , 2023

Link: https://doi.org/10.1007/..

8

Seizures as a first manifestation of schizencephaly:

Gomes, Ricardo ; Caballero, Isabel ; Gomes, Ana Patrícia.
Medicina Clínica Práctica. 6 (2023) 2 - p. 100366 , 2023

Link: https://doi.org/10.1016/..

9

Secure integration of extremely resource-constrained nodes ..:

Spilere Nandi, Giann ; Pereira, David ; Proença, José...
Open Research Europe. 3 (2023) - p. 113 , 2023

Link: https://doi.org/10.12688..

10

Caos: A Reusable Scala Web Animator of Operational Semantic:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Proença, José ; Edixhoven, Luc - p. 163-171 , 2023

Link: https://doi.org/10.1007/..

11

Cannonball pulmonary metastasis of rectal cancer:

Gomes, Ricardo ; Corrêa, João ; Gonçalves, Renato..
Medicina Clínica Práctica. 6 (2023) 2 - p. 100359 , 2023

Link: https://doi.org/10.1016/..

12

Realisability of Global Models of Interaction:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

ter Beek, Maurice H. ; Hennicker, Rolf ; Proença, José - p. 236-255 , 2023

Link: https://doi.org/10.1007/..

13

Verification of Multiple Models of a Safety-Critical Motor ..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Proença, José ; Borrami, Sina ; Sanchez de Nova, Jorge.. - p. 83-94 , 2022

Link: https://doi.org/10.1007/..

14

Formal Aspects of Component Software: 18th International Co..

Lecture Notes in Computer Science, 13712

Tapia Tarifa, Silvia Lizeth ; Proença, José - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

15

Special issue on selected papers from the 14th Internationa..:

Proença, José ; Lumpe, Markus
Science of Computer Programming. 218 (2022) - p. 102803 , 2022

Link: https://doi.org/10.1016/..