Theoretical Computer Science

Publikation

Publikationer pr. år 2007 2013 2014 2015 2016 2017 2018 2019 2022 2024

• 203 Konferencebidrag i proceedings
• 94 Tidsskriftartikel
• 36 Konferenceartikel
• 16 Ph.d.-afhandling
• 57 Mere
  • 13 Bidrag til bog/antologi
  • 9 Rapport
  • 9 Paper
  • 4 Preprint
  • 3 Encyclopædiartikel
  • 3 Konferenceabstrakt til konference
  • 2 Antologi
  • 2 Bidrag til avis - Kronik
  • 2 Bidrag til avis - Avisartikel
  • 2 Andet bidrag
  • 1 Bog
  • 1 Forord/efterskrift
  • 1 Poster
  • 1 Bidrag til avis - Kommentar/debat
  • 1 Leder
  • 1 Udgivelser på nettet - Net-publikation
  • 1 Patent
  • 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2024

  An Algorithm for Bichromatic Sorting with Polylog Competitive Ratio

  Jacob, R. & Goswami, M., 24 jan. 2024, I: Leibniz International Proceedings in Informatics (LIPIcs). 287, s. 1-17 17 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning

  Åben adgang

  • Bichromatic 100%
  • Competitive Ratio 100%
  • Worst-case Performance 20%
  • Randomized Algorithms 20%
  • Sorting Algorithm 20%

• On Instance-Optimal Algorithms for a Generalization of Nuts and Bolts and Generalized Sorting

  Jacob, R. & Goswami, M., aug. 2024, I: Leibniz International Proceedings in Informatics (LIPIcs). 317, s. 1-23 23 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  • Optimal Algorithm 100%
  • Instance Optimal 100%
  • Optimality 100%
  • Competitive Ratio 100%
  • Cost Function 100%
• 2023

  A Sound and Complete Projection for Global Types

  Tirore, D., Bengtson, J. & Carbone, M., 26 jul. 2023, I: Leibniz International Proceedings in Informatics. 268, s. 28:1 28 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  • Projection Function 100%
  • Message Passing 50%
  • Called Behavior 50%
  • Passing System 50%
  • Computable Partial Function 50%

• Asynchronous Modal FRP

  Bahr, P. & Møgelberg, R. E., 31 aug. 2023, I: Proceedings of the ACM on Programming Languages. 7, ICFP, s. 476-510 205.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang
• 2021

  ReGraDa: Reactive graph data

  Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, I: Lecture notes in computer science. 12717, s. 188-205 18 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning

  Åben adgang

• " We Would Never Write That Down" Classifications of Unemployed and Data Challenges for AI

  Petersen, A., Christensen, L. R., Harper, R. & Hildebrandt, T., 22 apr. 2021, I: Proceedings of the ACM on Human-Computer Interaction - CSCW. 5, CSCW1, s. 1 26 s., 102.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang
• 2019

  A Sound Algorithm for Asynchronous Session Subtyping

  Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, I: Leibniz International Proceedings in Informatics. 140, s. 34:1–34:16

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Session Types 100%
  • Distributed Systems 100%
  • Programming Languages 33%
  • Undecidable 33%
  • Large Classes 33%

• External memory priority queues with decrease-key and applications to graph algorithms

  Iacono, J., Jacob, R. & Tsakalidis, K., 7 mar. 2019, I: Leibniz International Proceedings in Informatics. s. 60:1–60:14 60.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Priority Queue 100%
  • External Memory 100%
  • Graph Algorithms 100%
  • Frac-N 100%
  • E-Value 100%
• 2018

  Leveraging the Exact Likelihood of Deep Latent Variable Models

  Mattei, P.-A. & Frellsen, J., 2018, I: Advances in Neural Information Processing Systems. 31, s. 3859-3870

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

• The Process Highlighter: From Texts to Declarative Processes and Back

  López-Acosta, H.-A., Hildebrandt, T., Debois, S. & Marquard, M., 10 sep. 2018, I: CEUR Workshop Proceedings. s. 66-70 5 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Declarative Processes 100%
  • Process Model 100%
  • Traceability 100%
  • Natural Language Description 50%
  • DCR Graphs 50%
• 2017

  Empirically sampling Universal Dependencies

  Schluter, N. & Agic, Z., 2017, I: NEALT (Northern European Association of Language Technology) Proceedings Series. 31, s. 117-122

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • System Development 100%
  • Universal Dependencies 100%
  • High Cost 50%
  • Parsing 50%
  • Model Capacity 50%

• Managing complexity in process digitalisation with dynamic condition response graphs

  Hildebrandt, T., Debois, S., Slaats, T. & Marquard, M., 2017, I: CEUR Workshop Proceedings. 1898, 8 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Dynamic Condition Response Graphs 100%
  • Process Digitalization 100%
  • Business Digitalization 100%
  • Managing Complexity 100%
  • Digitalization 100%

• Stack semantics of type theory

  Coquand, T., Mannaa, B. & Ruch, F., 23 jun. 2017, I: Annual Symposium on Logic in Computer Science. 12 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Type Theory 100%
  • Propositional Truncation 100%
  • Univalent 100%
  • Dependent Type Theory 50%
  • Groupoid Representation 50%

• The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion

  Bahr, P., Grathwohl, H. B. & Møgelberg, R. E., 18 aug. 2017, I: Annual Symposium on Logic in Computer Science. 12 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Type Theory 100%
  • Guarded Recursion 100%
  • Reduction Semantics 100%
  • Type Systems 100%
  • Strong Normalization 100%
• 2016

  AIF-ω: Set-Based Protocol Abstraction with Countable Families

  Mödersheim, S. A. & Bruni, A., 2 apr. 2016, I: Lecture Notes in Computer Science. 9635, s. 233-253 20 s., 12.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Fil

  • Set-based 100%
  • Verification Problem 100%
  • Countable Family 100%
  • ProVerif 100%
  • State Information 100%

• Approximate furthest neighbor with application to annulus query

  Pagh, R., Silvestri, F., Sivertsen, J. V. T. & Skala, M., 22 jul. 2016, I: Information Systems.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  • Farthest Neighbor 100%
  • Furthest Neighbor Query 100%
  • Approximation Factor 100%
  • Query Dependent 100%
  • Annulus 100%

• Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

  Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, I: Leibniz International Proceedings in Informatics (LIPIcs). 59, s. 1-15 15 s., 33.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Calculus 100%
  • Multiparty Session Types 100%
  • Annotation 100%
  • Arbitrary Number 100%
  • Centralized Control 100%

• Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans

  Debois, S., Hildebrandt, T. & Sandberg, L., 2016, I: Procedia Computer Science. 83, s. 1295–1300

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Experience Report 100%
  • Constraint-based Simulation 100%
  • Emergency Response Plan 100%
  • Constraint-based Modeling 100%
  • Modeling and Simulation 100%

• In the Nick of Time: Proactive Prevention of Obligation Violations

  Basin, D., Debois, S. & Hildebrandt, T., 11 aug. 2016, I: I E E E Computer Security Foundations Symposium. Proceedings. s. 120-134 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Proactive Prevention 100%
  • Response States 100%
  • Policy Language 100%
  • State Response 100%
  • Language Policy 100%
• 2014

  Choreographies, Logically

  Carbone, M., Montesi, F. & Schürmann, C., 2014, I: Lecture Notes in Computer Science. 8704, s. 47-62 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Distributed Systems 100%
  • Reasoning about Programs 100%
  • Choreographic Programming 100%
  • Proof Theory 100%
  • Process Implementation 100%

• Consistent subset sampling

  Kutzkov, K. & Pagh, R., 2014, I: Lecture Notes in Computer Science. 8503, s. 294-305

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

  Wang, W. & Hildebrandt, T., 2014, I: Lecture Notes in Computer Science. 8379, s. 127-146 20 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Fuzzy-Set Based Sentiment Analysis of Big Social Data

  Mukkamala, R. R., Hussain, A. & Vatrapu, R., 1 sep. 2014, I: International Enterprise Distributed Object Computing Conference. Proceedings. s. 71-80

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Social Data 100%
  • Big Social Data 100%
  • Set-based 100%
  • Sentiment Analysis 100%
  • Fuzzy Sets 100%

• Hierarchical Declarative Modelling with Refinement and Sub-processes

  Debois, S., Hildebrandt, T. & Slaats, T., 2014, I: Lecture Notes in Computer Science. 8659, s. 18--33 16 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Progress as Compositional Lock-Freedom

  Carbone, M., Dardha, O. & Montesi, F., 2014, I: Lecture Notes in Computer Science. s. 49-64 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Lock-freedom 100%
  • Catalyser 100%
  • Execution Context 100%
  • Session-based 66%
  • Session Types 33%

• The Automated Discovery of Hybrid Processes

  Slaats, T., Reijers, H. & Maggi, F. M., 2014, I: Lecture Notes in Computer Science. 8659, s. 392-399

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Procedural 100%
  • Hybrid Process 100%
  • Automated Discovery 100%
  • modeling language 100%
  • Process Model 100%

• Tsukurimashou: a Japanese-language font meta-family

  Skala, M., 2014, I: TUGboat. 34, 3, s. 269-278 10 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

  Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, I: Lecture Notes in Computer Science. 8461, s. 1-16 16 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2013

  How to Approximate A Set Without Knowing Its Size in Advance

  Pagh, R., Segev, G. & Wieder, U., 2013, I: Symposium on Foundations of Computer Science. Annual Proceedings. s. 80-88

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• On Parallelizing Matrix Multiplication by the Column-Row Method

  Campagna, A., Kutzkov, K. & Pagh, R., 2013, I: Siam Society. Journal.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• The Parity of Directed Hamiltonian Cycles

  Björklund, A. & Husfeldt, T., 2013, I: Symposium on Foundations of Computer Science. Annual Proceedings. s. 727-735

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs

  Mukkamala, R. R., Hildebrandt, T. & Slaats, T., 2013, I: International Enterprise Distributed Object Computing Conference. Proceedings. s. 127-136

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Fil

  • Process Model 100%
  • model checker 100%
  • Deadlock Freedom 100%
  • Liveness 100%
  • Dynamic Condition Response Graphs 100%
• 2012

  Declarative Modelling and Safe Distribution of Healthcare Workflows

  Bidragets oversatte titel: Deklarativ modellering og sikker distribuering af sundhedsarbejdsgangeHildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, I: Lecture Notes in Computer Science. 7151, s. 39-56 18 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Declarative Modeling 100%
  • Healthcare Workflows 100%
  • Workflow Process 100%
  • Response Graph 66%
  • Local Processes 66%

• Merging Multiparty Protocols in Multiparty Choreographies

  Carbone, M. & Montesi, F., 2012, I: Electronic Proceedings of Theoretical Computer Science. EPTCS. 5, s. 28-33

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Nested Dynamic Condition Response Graphs

  Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, I: Lecture Notes in Computer Science. 7141, s. 343-350 8 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Workflow Management System 100%
  • Automaton 100%
  • Case Study 100%
  • Process Model 100%
  • Case Management System 100%
• 2011

  Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

  Christiansen, D. R., Carbone, M. & Hildebrandt, T., 2011, I: Lecture Notes in Computer Science. 6551, s. 146-160 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review