Rubbens, A.
335  Ergebnisse:
Personensuche X
?
 
?
6

JavaBIP meets VerCors: Towards the Safety of Concurrent Sof..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
 
?
8

Interpolation Constraints for Computing Worst-Case Bounds i..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Rubbens, Anne ; Bousselmi, Nizar ; Colla, Sebastien. - p. 3015-3022 , 2023
 
?
9

JavaBIP meets VerCors: Towards the Safety of Concurrent Sof..:

Bliudze, Simon ; van den Bos, Petra ; Huisman, Marieke..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-30826-0_8.  , 2023
 
?
10

Machine learning in marine ecology: an overview of techniqu..:

Rubbens, Peter ; Brodie, Stephanie ; Cordier, Tristan...
info:eu-repo/semantics/altIdentifier/doi/10.1093/icesjms/fsad100.  , 2023
 
?
11

Machine learning in marine ecology: an overview of techniqu..:

Rubbens, Peter ; Brodie, Stephanie ; Cordier, Tristan...
info:eu-repo/semantics/altIdentifier/doi/10.1093/icesjms/fsad100.  , 2023
 
?
13

Machine learning in marine ecology: an overview of techniqu..:

Rubbens, Peter ; Brodie, Stephanie ; Cordier, Tristan...
info:eu-repo/semantics/altIdentifier/doi/10.1093/icesjms/fsad100.  , 2023
 
?
14

Machine learning in marine ecology: an overview of techniqu..:

Rubbens, Peter ; Brodie, Stephanie ; Cordier, Tristan...
info:eu-repo/semantics/altIdentifier/doi/10.1093/icesjms/fsad100.  , 2023
 
?
15

Evidence of Surface Properties by Isopropanol Decomposition..:

Benrabaa, Rafik ; Rubbens, Annick ; Löfberg, Axel.
info:eu-repo/semantics/altIdentifier/doi/10.1002/slct.202204361.  , 2023
 
1-15