Get started
Author

Ulrich Schöpp

Observed names: Schoepp, Ulrich, Schopp, Ulrich, Schöpp, Ulrich, Ulrich Schoepp, Ulrich Schopp
Institution: Fortiss
ORCID: 0000-0002-5445-9461
Observed ORCID: 0000-0002-5445-9461
OpenAlex ID: A5082258374
Stratified Bounded Affine Logic for Logarithmic Space
2007 · Ulrich Schopp · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 48
A Dependent Type Theory with Names and Binding
2004 · Ulrich Schöpp, Ian Stark · Lecture notes in computer science · 43
Functional Programming in Sublinear Space
2010 · Ugo Dal Lago, Ulrich Schöpp · Lecture notes in computer science · 27
PDF
Computation by interaction for space-bounded functional programming
2016 · Ugo Dal Lago, Ulrich Schöpp · Information and Computation · 23
PDF
Names and binding in type theory
2006 · Ulrich Schöpp · ERA · 22
PDF
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes
2002 · Ulrich Schöpp, Alex Simpson · Lecture notes in computer science · 20
PDF
Towards an Accountable and Reproducible Federated Learning: A FactSheets Approach
2022 · Baracaldo, Nathalie, Anwar, Ali, et al. · arXiv (Cornell University) · 19
PDF
Automated Security Findings Management: A Case Study in Industrial DevOps
2024 · Markus Voggenreiter, Florian Angermeir, et al. · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · 18
Accountable Federated Machine Learning in Government: Engineering and Management Insights
2021 · Dian Balta, Mahdi Sellami, et al. · Lecture notes in computer science · 18
A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types
2022 · Jason Z. S. Hu, Brigitte Pientka, et al. · ACM Transactions on Computational Logic · 12
PDF
On the Relation of Interaction Semantics to Continuations and Defunctionalization
2014 · Ulrich Schöpp · Logical Methods in Computer Science · 11
PDF
Call-by-Value in a Basic Logic for Interaction
2014 · Ulrich Schöpp · Lecture notes in computer science · 11
Specifying a Usage Control System
2023 · Ulrich Schöpp, Chuangjie Xu, et al. · ACM Symposium on Access Control Models and Technologies (SACMAT) · 10
PDF
Pure pointer programs with iteration
2010 · Martin Hofmann, Ulrich Schöpp · ACM Transactions on Computational Logic · 10
Type Inference for Sublinear Space Functional Programming
2010 · Ugo Dal Lago, Ulrich Schöpp · Lecture notes in computer science · 10
Pointer Programs and Undirected Reachability
2009 · Martin Hofmann, Ulrich Schopp · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 10
Computation-by-Interaction with Effects
2011 · Ulrich Schöpp · Lecture notes in computer science · 9
Semantical Analysis of Contextual Types
2020 · Brigitte Pientka, Ulrich Schöpp · Lecture notes in computer science · 8
PDF
Space-Efficient Computation by Interaction
2006 · Ulrich Schöpp · Lecture notes in computer science · 8
From Call-by-Value to Interaction by Typed Closure Conversion
2015 · Ulrich Schöpp · Lecture notes in computer science · 7
Organising Low-Level Programs using Higher Types
2014 · Ulrich Schöpp · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 7
Modelling Generic Judgements
2007 · Ulrich Schöpp · Electronic Notes in Theoretical Computer Science · 7
PDF
Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects
2022 · Markus Voggenreiter, Ulrich Schopp · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · 6
PDF
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis
2022 · Yuri Dantas, Tiziano Munaro, et al. · International Conference on Model-Driven Engineering and Software Development · 6
On Interaction, Continuations and Defunctionalization
2013 · Ulrich Schöpp · Lecture notes in computer science · 6
Works count: 53
Citation count: 419
H-index: 11
I10-index: 16
Year
Topic
Type