Research output per year
Research output per year
Fingerprint
Dive into the research topics where Sub Software Technology is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Publication network from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
David van Balen, MSc
- Faculty of Science, Sub Software Technology - PhD Candidate
Person: PhD Candidate
-
Joris Dral
- Faculty of Science, Sub Software Technology - Researcher
Person: Guest, Contract or Emeritus
-
Saba Gholizadeh Ansari, MSc
- Faculty of Science, Sub Software Technology - Researcher
Person: Guest, Contract or Emeritus
-
Algebraic Presentations of Type Dependency
Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., 6 Feb 2025, In: Logical Methods in Computer Science. 21, 1, p. 14:1-14:71Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Automated Game Testing With Online Search Agent and Model Construction, a Study
Shirzadehhajimahmood, S., Prasetya, I. S. W. B., Prandi, D., Dignum, F., Dastani, M. & Keller, G., Mar 2025, In: Software Testing Verification and Reliability. 35, 2, 23 p., e70002.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories
Ahrens, B., Lumsdaine, P. L. F. & North, P. R., 2025, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Proceedings. Kiselyov, O. (ed.). Springer, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15194 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Insights from Univalent Foundations: A Case Study Using Double Categories
Rasekh, N., van der Weide, N., Ahrens, B. & North, P. R., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Dagstuhl Publishing, p. 45:1-45:18 45. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
A Fast Wait-Free Solution to Read-Reclaim Races in Reference Counting
de Wolff, I. G., Anderson, D., Keller, G. K. & Seletskiy, A., 26 Aug 2024, Euro-Par 2024: Parallel Processing - 30th European Conference on Parallel and Distributed Processing, Proceedings. Carretero, J., Garcia-Blas, J., Shende, S., Brandic, I., Olcoz, K. & Schreiber, M. (eds.). Springer, p. 103-118 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14803 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile
Activities
- 1 Invited talk
-
From dual-numbers reverse AD to an efficient implementation
Smeding, T. (Speaker)
29 Jun 2022Activity: Talk or presentation › Invited talk › Academic
In the media
-
FP2: Fully In-Place Functional Programming provides memory reuse for pure functional programs
Lorenzen, A., Swierstra, W. & Leijen, D.
12/09/23
1 Media contribution
Press/Media: Public Engagement Activities