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

• 2023

  b-Coloring Parameterized by Clique-Width

  Jaffke, L., Thomé de Lima, P. & Lokshtanov, D., 23 sep. 2023, I: Theory of Computing Systems.

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

  Åben adgang

  • B-coloring 100%
  • Clique-width 100%
  • Polynomial Time 50%
  • Tight 33%
  • Polynomial-time Algorithm 33%

• On the maximum number of edges in planar graphs of bounded degree and matching number

  Thomé de Lima, P. & Jaffke, L., 2023, I: Discrete Mathematics. 346, 8

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

  Åben adgang

  • Planar Graph 100%
  • Bounded Degree 100%
  • Maximum number of Edges 100%
  • Matching number 100%
  • Maximum Degree 50%

• Recent Approaches and Trends in Approximate Nearest Neighbor Search

  Aumüller, M. & Ceccarello, M., 2023, I: {IEEE} Data Engineering Bulletin.

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

  Åben adgang

  • Recent Advances 100%
  • Recent Trends 100%
  • Approximate Nearest Neighbor Search 100%
  • Nearest Neighbor Search 100%
  • Recent Approaches 100%

• Reducing the vertex cover number via edge contractions

  Thomé de Lima, P., dos Santos, V., Sau, I., Souza, U. & Tale, P., 2023, I: Journal of Computer and System Sciences. 136, s. 63-87 25 s.

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

  Åben adgang

• Using edge contractions to reduce the semitotal domination number

  Galby, E., Thomé de Lima, P., Mann, F. & Ries, B., 2023, I: Theoretical Computer Science. 939

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

  Åben adgang

  • Edge Contraction 100%
  • Semitotal Domination number 100%
  • Edge 100%
  • Complexity Dichotomy 33%
  • K-edge 33%
• 2022

  A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates.

  Balaji, S., Krishan, V., Kush, D., Limaye, N. & Srinivasan, S., 2022, I: Algorithmica. 84

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

  Åben adgang

  Fil

  • #SAT 100%
  • #Sat 100%
  • Constant-depth Circuits 100%
  • Degree Polynomial 100%
  • Randomized Algorithms 50%

• Approximately Counting and Sampling Small Witnesses Using a Colorful Decision Oracle

  Dell, H., Lapinskas, J. & Meeks, K., 5 jul. 2022, I: S I A M Journal on Computing. 51, 4, s. 849-899

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

  Åben adgang

  Fil

  • Efficient Algorithm 100%
  • Subgraphs 100%
  • Sampling Algorithm 100%
  • Uniform Random 100%
  • Oracle 100%

• Fragile complexity of adaptive algorithms

  Jacob, R., Fagerberg, R., Bose, P., Cano, P., Iacono, J. & Langerman, S., 5 jun. 2022, I: Theoretical Computer Science. 915, s. 92-102 11 s.

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

  Fil

  • Adaptive Algorithm 100%
  • Fragile Complexity 100%
  • Minimum Element 50%
  • Log-log 25%
  • Algorithm Complexity 12%

• Graph Square Roots of Small Distance from Degree One Graphs

  Golovach, P., Thomé de Lima, P. & Papadopoulos, C., 2022, I: Theory of Computing Systems. 66, s. 821-846

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

  Åben adgang

  • Square Root 100%
  • Small Distance 100%
  • Graph Square Root 100%
  • Maximum Degree 50%
  • Graph Classes 50%

• Guest Column: Lower Bounds Against Constant-Depth Algebraic Circuits.

  Limaye, N., Srinivasan, S. & Tavenas, S., 2022, I: SIGACT News. 53, 3

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Rådgivning › peer review

  Fil

  • Algebraic Circuits 100%
  • Constant Depth 100%
  • Arithmetic Operation 100%
  • Algorithm Designer 100%
  • Polynomial 100%

• Modal FRP for all: Functional reactive programming without space leaks in Haskell

  Bahr, P., 26 dec. 2022, I: Journal of Functional Programming. 32, e15.

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

  Åben adgang

  Fil

  • Modal 100%
  • Haskell 100%
  • Functional Reactive Programming 100%
  • Programming for All 100%
  • Type Systems 100%

• On the Maximum Number of Edges in Chordal Graphs of Bounded Degree and Matching Number

  Blair, J., Heggernes, P., Thomé de Lima, P. & Lokshtanov, D., 2022, I: Algorithmica.

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

  Åben adgang

  Fil

  • Bounded Degree 100%
  • Chordal Graph 100%
  • Maximum number of Edges 100%
  • Matching number 100%
  • Edge 100%

• Planar Graph Isomorphism Is in Log-Space

  Datta, S., Limaye, N., Nimbhorkar, P., Thierauf, T. & Wagner, F., 2022, I: ACM Transactions on Computation Theory. 14, 2, s. 1-33 33 s.

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

  Åben adgang

  Fil

  • Planar Graph 100%
  • Graph Isomorphism 100%
  • Log-space 100%
  • Lower and upper bounds 66%
  • Computational Problem 33%

• Representing Sparse Vectors with Differential Privacy, Low Error, Optimal Space, and Fast Access

  Aumüller, M., Lebeda, C. J. & Pagh, R., 2022, I: Journal of Privacy and Confidentiality. 12, 2

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

  Åben adgang

  • Fast Access 100%
  • Differential Privacy 100%
  • Access to Space 100%
  • Low Error 100%
  • Optimal Spaces 100%

• Sampling a Near Neighbor in High Dimensions — Who is the Fairest of Them All?

  Aumüller, M., Pagh, R., Silvestri, F., Har-Peled, S. & Mahabadi, S., 2022, I: ACM Transactions on Database Systems. 47, 1, s. 1-40 40 s., 4.

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

  Åben adgang

  Fil

  • Similarity Search 100%
  • Nearest Neighbor 100%
  • High Dimension 100%
  • Data Structure 100%
  • Locality Sensitive Hashing 66%

• Sampling near neighbors in search for fairness

  Aumüller, M., Har-Peled, S., Mahabadi, S., Pagh, R. & Silvestri, F., 2022, I: Communications of the A C M. 65, 8, s. 83-90

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

  Åben adgang

  Fil

  • Locality Sensitive Hashing 100%
  • Nearest Neighbor 100%
  • Nearest Neighbor Problem 100%
  • Data Structure 100%
  • Similarity Search 50%

• Well-partitioned chordal graphs

  Ahn, J., Jaffke, L., Kwon, O.-J. & Thomé de Lima, P., 2022, I: Discrete Mathematics. 23 s., 112985.

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

  Åben adgang

  Fil

  • Well-partitioned Chordal Graph 100%
  • Polynomial Time 100%
  • Clique 75%
  • Edge 50%
  • Vertex Set 37%
• 2021

  A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

  Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, I: Logical Methods in Computer Science. 17, 1, s. 1 20 s.

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

  Åben adgang

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

• Fair near neighbor search via sampling

  Aumüller, M., Har-Peled, S., Mahabadi, S., Pagh, R. & Silvestri, F., 2021, I: S I G M O D Record. 50, 01

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

  Åben adgang

  Fil

  • Similarity Search 100%
  • Nearest Neighbor Search 100%
  • Data Structure 100%
  • Probability Theory 100%
  • Nearest Neighbor 100%

• Fine-Grained Reductions from Approximate Counting to Decision

  Dell, H. & Lapinskas, J., 2021, I: ACM Transactions on Computation Theory. 13, 2, s. 1-24 8.

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

  Åben adgang

  Fil

  • Approximate Counting 100%
  • Fine-grained Reductions 100%
  • Orthogonal Vector 100%
  • Negative Weight 100%
  • Approximates 100%

• The role of local dimensionality measures in benchmarking nearest neighbor search

  Aumüller, M. & Ceccarello, M., 2021, I: Information Systems.

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

  Åben adgang

  Fil

  • Benchmarking 100%
  • Neighbour Search 100%
  • Nearest Neighbor Search 100%
  • Intrinsic Dimensionality 25%
  • Interactive Visualization 25%
• 2020

  Calculating Correct Compilers II: Return of the Register Machines

  Bahr, P. & Hutton, G., 20 aug. 2020, I: Journal of Functional Programming. 30, e25.

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

  Åben adgang

  Fil

  • Compiler 100%
  • Register Machine 100%
  • Programming Language Feature 50%
  • Reasoning Technique 50%
  • Language Features 16%

• Denotational semantics for guarded dependent type theory

  Bizjak, A. & Møgelberg, R. E., apr. 2020, I: Mathematical Structures in Computer Science. 30, 4, s. 342-378

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

  Åben adgang

  Fil

  • Dependent Type Theory 100%
  • Denotational Semantics 100%
  • Presheaves 100%
  • Type Theory 100%
  • Dependent Type 100%

• Space-Efficient Feature Maps for String Alignment Kernels

  Tabei, Y., Yamanishi, Y. & Pagh, R., 2020, I: Data Science and Engineering. 5, s. 168–179

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

  Åben adgang

  Fil

  • Feature Map 100%
  • Efficient Features 100%
  • String Alignment Kernels 100%
  • Fourier Feature 100%
  • Random Fourier Features 33%

• Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory

  Mannaa, B., Møgelberg, R. E. & Veltri, N., 15 dec. 2020, I: Logical Methods in Computer Science. 16, 4, s. 17:1–17:31 31 s., 6278.

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

  Åben adgang

  Fil

  • Type Theory 100%
  • Denotational Semantics 100%
  • Right Adjoint 100%
  • Adjoints 100%
  • Syntactics 50%
• 2019

  A Fixed-Parameter Perspective on #BIS

  Curticapean, R.-C., Dell, H., Fomin, F., Goldberg, L. A. & Lapinskas, J., 18 jul. 2019, I: Algorithmica. 81, 10, s. 3844–3864

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

  Åben adgang

  Fil

  • Fixed Parameter 100%
  • #BIS 100%
  • Independent Set 100%
  • NP-hard 75%
  • Approximates 75%

• ANN-Benchmarks: A benchmarking tool for approximate nearest neighbor algorithms

  Aumüller, M., Bernhardsson, E. & Faithfull, A., 2019, I: Information Systems.

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

  Åben adgang

  Fil

  • Approximate Nearest Neighbor Search 100%
  • Benchmarking Tools 100%
  • K-nearest Neighbor (K-NN) 100%
  • Benchmarking 100%
  • Artificial Neural Network 100%

• Modal dependent type theory and dependent right adjoints

  Birkedal, L., Clouston, R., Mannaa, B., Møgelberg, R. E., M. Pitts, A. & Spitters, B., dec. 2019, I: Mathematical Structures in Computer Science. 21 s.

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

  Åben adgang

  Fil

  • Type Theory 100%
  • Dependent Type 100%
  • Adjoints 100%
  • Right Adjoint 100%
  • Modal Necessity 25%
• 2018

  Charting the Algorithmic Complexity of Waypoint Routing

  Akhoondian Amiri, S., Förster, K.-T., Jacob, R. & Schmid, S., jan. 2018, I: Computer Communications Review. 48, 1, s. 42-48

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

  Åben adgang

  Fil

  • Waypoint Routing 100%
  • Algorithmic Complexity 100%
  • Routing Problem 100%
  • Routing Model 66%
  • Computer Network 50%

• Choreographies, logically

  Carbone, M., Montesi, F. & Schürmann, C., 2018, I: Distributed Computing. 31, 1, s. 51-67 17 s.

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

  Åben adgang

  Fil

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

• Convergence in infinitary term graph rewriting systems is simple

  Bahr, P., 9 aug. 2018, I: Mathematical Structures in Computer Science. s. 1-52

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

  Åben adgang

  Fil

  • Graph Rewriting Systems 100%
  • Term Graphs 100%
  • Calculus 100%
  • Rewriting Systems 100%
  • Modes of Convergence 100%

• CoveringLSH: Locality-sensitive Hashing without False Negatives

  Pagh, R., 2018, I: A C M Transactions on Algorithms. 14, 3, 29.

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

  Åben adgang

  Fil

  • Locality Sensitive Hashing 100%
  • Hamming Space 100%
  • False Negative 100%
  • Similarity Search 50%
  • Number of Points 50%

• Denotational semantics of recursive types in synthetic guarded domain theory

  Møgelberg, R. E. & Paviotti, M., 15 maj 2018, I: Mathematical Structures in Computer Science. 46 s.

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

  Fil

• Dual-Pivot Quicksort: Optimality, Analysis and Zeros of Associated Lattice Paths

  Aumüller, M., Dietzfelbinger, M., Heuberger, C., Krenn, D. & Prodinger, H., 14 aug. 2018, I: Combinatorics, Probability & Computing. 34 s.

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

  Åben adgang

  Fil

  • Quick Sort 100%
  • Expected number 100%
  • Dual-pivot 100%
  • Associated Lattice Paths 100%
  • Optimality Analysis 100%

• On the boundary between decidability and undecidability of asynchronous session subtyping

  Bravetti, M., Carbone, M. & Zavattaro, G., 2018, I: Theoretical Computer Science. 722, s. 19-51 33 s.

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

  Fil

  • Session Types 100%
  • Undecidable 100%
  • Undecidability 100%
  • Multiple Choice Questions 100%
  • Communication Error 100%
• 2017

  Compiling a 50-year journey

  Hutton, G. & Bahr, P., 20 sep. 2017, I: Journal of Functional Programming. 27, 11 s., 20.

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

  Åben adgang

  Fil

  • Compiler 100%
  • Reasoning Technique 100%
  • Arithmetic Expression 100%
  • Equational Reasoning 50%
  • Reasoning Techniques 50%

• Computation of Stackelberg equilibria of finite sequential games

  Bosanski, B., Branzei, S., Hansen, K. A., Miltersen, P. B. & Lund, T. B., 2017, I: ACM Transactions on Economics and Computation. 5, 4, 23.

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

  Åben adgang

  Fil

  • Exact Algorithm 100%
  • Approximation Algorithms 100%
  • Extensive Form Game 100%
  • Optimal Strategy 100%
  • Solution Concept 100%

• Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain

  Bahr, P. & Axelsson, E., 4 apr. 2017, I: Science of Computer Programming. 137, s. 63-97

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

  Åben adgang

  Fil

  • Tree Traversal 100%
  • Recursion Schemes 100%
  • Graph Representation 100%
  • Soundness 50%
  • Attribute Grammar 50%

• I/O-efficient Similarity Join

  Pagh, R., Pham, N. D., Silvestri, F. & Stöckel, M. D., 2017, I: Algorithmica. 78

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

  Åben adgang

  • Locality Sensitive Hashing 100%
  • Similarity Join 100%
  • Input/Output 100%
  • Filter Method 50%
  • I/O-efficient Algorithms 50%

• Multiparty session types as coherence proofs

  Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, I: Acta Informatica. 54, 3, s. 243-269

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

  Åben adgang

  Fil

  • Multiparty Session Types 100%
  • Classical Linear Logic 100%
  • Soundness 100%
  • Deadlock Freedom 100%
  • Communicating Process 100%

• Replication, refinement & reachability: complexity in dynamic condition-response graphs

  Debois, S., Hildebrandt, T. T. & Slaats, T., 21 sep. 2017, I: Acta Informatica. s. 1-32 32 s.

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

  Åben adgang

  Fil

  • Dynamic Condition Response Graphs 100%
  • Reachability 100%
  • Process Model 100%
  • Information System 50%
  • Approximation (Algorithm) 50%

• Simple multi-party set reconciliation

  Mitzenmacher, M. & Pagh, R., 2017, I: Distributed Computing. s. 1-13

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

  Åben adgang

  Fil

  • Network Coding 100%
  • Table Lookup 100%
  • Invertible Bloom Lookup Tables 66%
  • Set Difference 66%
  • Theoretical Framework 50%

• The Independence of Markov's Principle in Type Theory

  Coquand, T. & Mannaa, B., 15 aug. 2017, I: Logical Methods in Computer Science. 13, 3, s. 1-28

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

  Åben adgang

  Fil

  • Type Theory 100%
  • Markov's Principle 100%
  • Cantor Space 40%
  • Generic Point 40%
  • Dependent Type Theory 20%

• Undecidability of asynchronous session subtyping

  Bravetti, M., Carbone, M. & Zavattaro, G., 2017, I: Information and Computation. 256, s. 300-320

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

  Fil

  • Session Types 100%
  • Undecidability 100%
  • Communication Protocol 100%
  • Distributed Systems 100%
  • Communicating Process 100%
• 2016

  A structural query system for Han characters

  Skala, M., jan. 2016, I: International Journal of Asian Language Processing. 23, 2, s. 127-159

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

  Åben adgang

  • Experimental Result 100%
  • Data Model 100%
  • Bloom Filter 100%
  • Bit Vector 100%
  • Spatial Structure 100%

• Efficiently Correcting Matrix Products

  Gąsieniec, L., Levcopoulos, C., Lingas, A., Pagh, R. & Tokuyama, T., 22 aug. 2016, I: Algorithmica. s. 1-16

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

  Åben adgang

  Fil

  • Matrix Product 100%
  • Randomized Algorithms 50%
  • Time Algorithm 50%
  • Matrix (Mathematics) 50%

• Foundations of Session Types and Behavioural Contracts

  Huttel, H., Lanese, I., Vasconcelos, V., Caires, L., Carbone, M., Danielou, P.-M., Mostrous, D., Padovani, L., Rabara, A., Tuosto, E., Vieira, H. T. & Zavattaro, G., 2016, I: A C M Computing Surveys. 49, 1, s. 1 16 s., 3.

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

  Åben adgang

  Fil

  • Behavioral Types 100%
  • Session Types 100%
  • Behavioral Contracts 100%
  • Input/Output 100%
  • Communication Protocol 100%

• Global communication schemes for the numerical solution of high-dimensional PDEs

  Hupp, P., Heene, M., Jacob, R. & Pflüger, D., feb. 2016, I: Parallel Computing. 52, s. 78-105

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

  Fil

  • Global Communication 100%
  • High-dimensional PDEs 100%
  • Communication Scheme 100%
  • Numerical Solution 100%
  • Partial Differential Equation 100%

• How Good Is Multi-Pivot Quicksort?

  Aumüller, M., Dietzfelbinger, M. & Klaue, P., 1 nov. 2016, I: ACM Transactions on Algorithms. 13, 1, 8.

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

  Åben adgang

  Fil

  • Fast Algorithm 100%
  • Cell Array 100%
  • Marginals 100%
  • Rigorous Analysis 100%
  • Quick Sort 100%

• Multiparty Asynchronous Session Types

  Honda, K., Yoshida, N. & Carbone, M., 2016, I: Journal of the ACM. 63, 1, s. 1 67 s., 9.

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

  Åben adgang

  Fil

  • Session Types 100%
  • Asynchronous Interaction 100%
  • Software Development 50%
  • Structured Communication 50%
  • Type Checking 50%