Pamela Wochner

According to our database, Pamela Wochner authored at least 4 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Herb.jl: A Unifying Program Synthesis Library.

Tilman Hinnerichs, Reuben Gardos Reid, Jaap de Jong, Bart Swinkels, Pamela Wochner, Nicolae Filat, Tudor Magurescu, Issa K. Hanou, Sebastijan Dumancic

CoRR, October, 2025

2024

SetVis: Visualizing Large Numbers of Sets and Intersections.

Roy A. Ruddle, Layik Hama, Pamela Wochner, O. T. Strickson

J. Open Source Softw., 2024

2023

Trustchain - Trustworthy Decentralised Public Key Infrastructure for Digital Credentials.

Tim Hobson, Lydia France, Sam F. Greenbury, Luke Hare, Pamela Wochner

CoRR, 2023

2018

Comparative evaluation of instrument segmentation and tracking methods in minimally invasive surgery.

Sebastian Bodenstedt, Max Allan, Anthony Agustinos, Xiaofei Du, Luis C. García-Peraza-Herrera, Hannes Kenngott, Thomas Kurmann, Beat P. Müller-Stich, Sébastien Ourselin, Daniil Pakhomov, Raphael Sznitman, Marvin Teichmann, Martin Thoma, Tom Vercauteren, Sandrine Voros, Martin Wagner, Pamela Wochner, Lena Maier-Hein, Danail Stoyanov, Stefanie Speidel

CoRR, 2018