Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Osera, Peter-Michael
30  Ergebnisse:
Personensuche X
?
1

Reactamole: functional reactive molecular programming:

Klinge, Titus H. ; Lathrop, James I. ; Osera, Peter-Michael.
Natural Computing.  , 2024
Link: https://doi.org/10.1007/..
 
?
2

Verifying Chemical Reaction Networks with the Isabelle Theo..:

, In: 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton),
Lathrop, James I. ; Osera, Peter-Michael ; Schmidt, Addison W.. - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Snowflake: Supporting Programming and Proofs:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2,
Alabi, Oluwatobi ; Vu, Anh ; Osera, Peter-Michael - p. 1398 ff. , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Notional Machine in Mathematics and Introductory Computer S..:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2,
Worden, Eamon ; Song, Olivia ; Osera, Peter-Michael - p. 1379 ff. , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

The Purpose of Proof:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2,
Char, Bruce W. ; Osera, Peter-Michael ; Wonnacott, David G. - p. 1256 ff. , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

What Mathematics Should be Required of Computer Science Maj..:

, In: Proceedings of the 51st ACM Technical Symposium on Computer Science Education,
Matthews, James R. ; Dougherty, John P. ; Osera, Peter-Michael - p. 1405 ff. , 2020
Link: https://dl.acm.org/doi/1..
 
?
7

Modernizing the Mathematics Taught in Computer Science:

, In: Proceedings of the 50th ACM Technical Symposium on Computer Science Education,
Anthony, Barbara ; Minnes, Mia ; Liben-Nowell, David. - p. 1246 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

Compiler Error Messages Considered Unhelpful : The Lands..:

, In: Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education,
Becker, Brett A. ; Denny, Paul ; Pettit, Raymond... - p. 177-210 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Session details: Lightning Talks: Lightning Talks #2:

, In: Proceedings of the 50th ACM Technical Symposium on Computer Science Education,
Battestilli, Lina ; Osera, Peter-Michael , 2019
Link: https://dl.acm.org/doi/1..
 
?
10

Session details: Demonstrations:

, In: Proceedings of the 50th ACM Technical Symposium on Computer Science Education,
Battestilli, Lina ; Osera, Peter-Michael , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Unexpected Tokens : A Review of Programming Error Messag..:

, In: Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education,
Becker, Brett A. ; Denny, Paul ; Pettit, Raymond... - p. 253-254 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Session details: Lightning Talks #1:

, In: Proceedings of the 50th ACM Technical Symposium on Computer Science Education,
Battestilli, Lina ; Osera, Peter-Michael , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Constraint-based type-directed program synthesis:

, In: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development,
Osera, Peter-Michael - p. 64-76 , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

Session details: Demonstrations:

, In: Proceedings of the 49th ACM Technical Symposium on Computer Science Education,
Osera, Peter-Michael , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

ORC2A : A Proof Assistant for Undergraduate Education:

, In: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education,
Chen, Jianting ; Gopalaswamy, Medha ; Pradhan, Prabir.. - p. 757-758 , 2017
Link: https://dl.acm.org/doi/1..
 
1-15