Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Boer, Frank De
1518  Ergebnisse:
Personensuche X
?
1

Irritable bowel syndrome worsens faecal incontinence after ..:

Sarofim, Mina ; Slaar, Annelie ; Dermout, Sylvia..
Colorectal Disease.  26 (2024)  3 - p. 508-514 , 2024
Link: https://doi.org/10.1111/..
 
?
2

Active Object Languages: Current Research Trends 

Lecture Notes in Computer Science, 14360
de Boer, Frank ; Damiani, Ferruccio ; Hähnle, Reiner.. - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
3

Required Distal Mesorectal Resection Margin in Partial Meso..:

Grüter, Alexander ; van Lieshout, Annabel ; van Oostendorp, Stefan...
European Journal of Surgical Oncology.  49 (2023)  2 - p. e121 , 2023
Link: https://doi.org/10.1016/..
 
?
4

Reasoning About Active Objects: A Sound and Complete Assert..:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
de Boer, Frank ; de Gouw, Stijn - p. 173-192 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Modular Verification of a Modular Specification: Behavioral..:

Kamburjan, Eduard , 2020
Link: https://nbn-resolving.de..
 
?
6

Software Engineering and Formal Methods: 18th International.. 

Theoretical Computer Science and General Issues, 12310
de Boer, Frank ; Cerone, Antonio - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
7

From SOS to Asynchronously Communicating Actors:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
de Boer, Frank ; Johnsen, Einar Broch ; Pun, Ka I. - p. 269-275 , 2020
Link: https://doi.org/10.1007/..
 
?
8

On the nature of cooperative scheduling in active objects:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,
Serbanescu, Vlad ; de Boer, Frank - p. 1322-1329 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Implementing SOS with Active Objects: A Case Study of a Mul..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Bezirgiannis, Nikolaos ; de Boer, Frank ; Johnsen, Einar Broch.. - p. 332-350 , 2019
Link: https://doi.org/10.1007/..
 
?
10

It's All About Coordination 

Essays to Celebrate the Lifelong Scientific Achievements of...  Lecture Notes in Computer Science ; 10865;Programming and Software Engineering ; 10865;SpringerLink, Bücher;Springer eBook Collection, Computer Science
de Boer, Frank ; Bonsangue, Marcello ; Rutten, Jan , 2018
Link: https://doi.org/10.1007/..
 
?
11

Editorial:

Bjørner, Nikolaj ; de Boer, Frank ; Butterfield, Andrew
Formal Aspects of Computing.  30 (2018)  5 - p. 493-494 , 2018
Link: https://doi.org/10.1007/..
 
?
12

Actors with Coroutine Support in Java:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
Serbanescu, Vlad ; Boer, Frank de ; Jaghoori, Mohammad Mahdi - p. 237-255 , 2018
Link: https://doi.org/10.1007/..
 
?
13

Preface for the special issue "FM15":

de Boer, Frank ; Bjorner, Nikolaj
Acta Informatica.  55 (2018)  6 - p. 459-460 , 2018
Link: https://doi.org/10.1007/..
 
?
14

A Survey of Active Object Languages:

Boer, Frank De ; Serbanescu, Vlad ; Hähnle, Reiner...
ACM Computing Surveys (CSUR).  50 (2017)  5 - p. 1-39 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

A Survey of Active Object Languages:

Boer, Frank De ; Serbanescu, Vlad ; Hähnle, Reiner...
ACM Computing Surveys.  50 (2017)  5 - p. 1-39 , 2017
Link: https://doi.org/10.1145/..
 
1-15