Department of Computer Science

Identifiers

• name variant Department of Computer Science 0.60 · backfill

Papers (19)

1. Iterative Poisson Solvers for Self-gravity with the GPU Code Astaroth astro-ph.IM · 2026 · author #14
2. Multi-task Localization and Segmentation for X-ray Guided Planning in Knee Surgery eess.IV · 2019 · author #13
3. RinQ Fingerprinting: Recurrence-informed Quantile Networks for Magnetic Resonance Fingerprinting eess.IV · 2019 · author #10
4. Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus cs.LO · 2019 · author #2
5. Expanding the Active Inference Landscape: More Intrinsic Motivations in the Perception-Action Loop cs.AI · 2018 · author #17
6. A Formal Model to Facilitate Security Testing in Modern Automotive Systems cs.CR · 2018 · author #2
7. The supernova-regulated ISM. III. Generation of vorticity, helicity and mean flows astro-ph.GA · 2017 · author #7
8. Formalizing Memory Accesses and Interrupts cs.OS · 2017 · author #2
9. Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures quant-ph · 2014 · author #2
10. The Dafny Integrated Development Environment cs.PL · 2014 · author #6
11. Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing cs.SE · 2014 · author #2
12. Modelling the effect of gap junctions on tissue-level cardiac electrophysiology cs.CE · 2012 · author #2
13. Multiple Criteria Clustering of Mobile Agents in WSN cs.NI · 2012 · author #14
14. Renormalisation and hierarchies physics.gen-ph · 2004 · author #3
15. The relationship of time and space physics.gen-ph · 2004 · author #3
16. Quantising general relativity using QED theory, an overview and extension physics.gen-ph · 2004 · author #2
17. A Machine Learning Approach to the Classification of Dialogue Utterances cmp-lg · 1996 · author #2
18. Statistical versus symbolic parsing for captioned-information retrieval cmp-lg · 1994 · author #2
19. Integration Of Visual Inter-word Constraints And Linguistic Knowledge In Degraded Text Recognition cmp-lg · 1994 · author #3

Mentions

• 1412.8526 #2 · backfill · confidence 0.70 Department of Computer Science
• 1404.6602 #6 · backfill · confidence 0.70 Department of Computer Science
• 1403.7258 #2 · backfill · confidence 0.70 Department of Computer Science
• 1208.3848 #2 · backfill · confidence 0.70 Department of Computer Science
• 1207.3140 #14 · backfill · confidence 0.70 Department of Computer Science

Frequent Coauthors

• United Kingdom) 5 shared papers
• Germany) 3 shared papers
• The University of Liverpool 3 shared papers
• 2) 2 shared papers
• 3) 2 shared papers
• Engineering 2 shared papers
• Erlangen 2 shared papers
• Friedrich-Alexander-Universit\"at Erlangen-N\"urnberg 2 shared papers
• Germany 2 shared papers
• NY 2 shared papers
• University of Oxford) 2 shared papers
• USA) 2 shared papers
• 2 1 shared papers
• (2) Advanced Therapies 1 shared papers
• (2) Assistant Professor 1 shared papers
• (2) Computational Creativity Group 1 shared papers
• (2) MR Application Development 1 shared papers
• (3) Faculty of Digital Media 1 shared papers
• (3) Faculty of Information Technology 1 shared papers
• (3) Game Innovation Lab 1 shared papers