Thompson, Simon L
5017  Ergebnisse:
Personensuche X
?
7

Towards Goal-Oriented Agents for Evolving Problems Observed..:

, In: Artificial Intelligence XL; Lecture Notes in Computer Science,
 
?
8

Program equivalence in an untyped, call-by-value functional..:

Horpácsi, Dániel ; Bereczky, Péter ; Thompson, Simon
Journal of Logical and Algebraic Methods in Programming.  132 (2023)  - p. 100857 , 2023
 
?
12

Creating a Blockchain-Based Insurance Platform with Marlowe:

, In: Blockchain and Applications, 5th International Congress; Lecture Notes in Networks and Systems,
 
?
13

Commentary on A Patient with Third-Space Fluid Loss:

Thompson, Simon
Clinical Chemistry.  69 (2023)  2 - p. 129-129 , 2023
 
?
14

Research-ready data: the C-Surv data model:

Bauermeister, Sarah ; Bauermeister, Joshua R ; Bridgman, Ruth...
European Journal of Epidemiology.  38 (2023)  2 - p. 179-187 , 2023
 
?
15

A frame stack semantics for sequential Core Erlang:

, In: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages,
 
1-15