Theoretical Computer Science

Search results

  • 2016

    Fast Bayesian Non-Negative Matrix Factorisation and Tri-Factorisation

    Brouwer, T., Frellsen, J. & Liò, P., 9 Dec 2016.

    Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

    Open Access

  • Flexible Process Notations for Cross-organizational Case Management Systems

    Slaats, T., 2016, IT-Universitetet i København. 276 p. (ITU-DS; No. 121).

    Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis

    Open Access
    File

  • 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, In: A C M Computing Surveys. 49, 1, p. 1 16 p., 3.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

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

    Hupp, P., Heene, M., Jacob, R. & Pflüger, D., Feb 2016, In: Parallel Computing. 52, p. 78-105

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    File

  • Guarded Dependent Type Theory with Coinductive Types

    Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E. & Birkedal, L., 2016, Foundations of Software Science and Computation Structure: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer, p. 20-35 16 p. (Lecture Notes in Computer Science, Vol. 9634).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • How Good Is Multi-Pivot Quicksort?

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

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

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

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

    Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

    Open Access
    File

  • Locality-sensitive Hashing without False Negatives

    Pagh, R., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 1-9

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Measuring Voter Lines

    Schürmann, C. & Wang, J., 2016, Proceedings of the 6th International Conference for E-Democracy and Open Government: CeDEM 16. IEEE, p. 57-65 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Multiparty Asynchronous Session Types

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

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

  • Network-Oblivious Algorithms

    Bilardi, G., Pietracaprina, A., Pucci, G., Scquizzato, M. & Silvestri, F., Mar 2016, In: Journal of the ACM. 63, 1, 36 p., 3.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

  • On the Complexity of Inner Product Similarity Join

    Ahle, T. D., Pagh, R., Razenshteyn, I. & Silvestri, F., 2016, PODS '16 Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Association for Computing Machinery, p. 151-164

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access

  • Psi-calculi in Isabelle

    Bengtson, J., Parrow, J. & Weber, T., 13 Jan 2016, In: Journal of Automated Reasoning. 56, 1, p. 1-47 1 p., 1.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

  • Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 p.

    Research output: Other contribution › Research

    Open Access
    File

  • Scalability and Total Recall with Fast CoveringLSH

    Pham, N. D. & Pagh, R., 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management: CIKM '16. Association for Computing Machinery, p. 1109-1118

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Smart-Guard: Defending User Input from Malware

    Denzel, M., Bruni, A. & Ryan, M., 8 Aug 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). IEEE, p. 502-509 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Timeability in Extensive-Form Games

    Jakobsen, S. K., Sørensen, T. B. & Conitzer, V., 2016, Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. Sudan, M. (ed.). 7 ed. Association for Computing Machinery, p. 191-199 9 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access

  • Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 Feb 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-38 38 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
  • 2015

    A model of guarded recursion with clock synchronisation

    Bizjak, A. & Møgelberg, R. E., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 83-101

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

  • A Model of PCF in Guarded Type Theory

    Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 333-349

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

  • Approximate Furthest Neighbor in High Dimensions

    Pagh, R., Silvestri, F., Sivertsen, J. V. T. & Skala, M., 2015, Similarity Search and Applications: 8th International Conference, SISAP 2015, Glasgow, UK, October 12–14, 2015, Proceedings. Springer, p. 3-14 (Lecture Notes in Computer Science, Vol. 9371).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Approximate Range Emptiness in Constant Time and Optimal Space

    Goswami, M., Jørgensen, A. G., Larsen, K. G. & Pagh, R., 2015, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 769-775

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Approximate Well-supported Nash Equilibria Below Two-thirds

    Fearnley, J., Goldberg, P. W., Savani, R. & Sørensen, T. B., 2015, In: Algorithmica. 76, 2, p. 297-319 23 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access

  • Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 17 May 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE, p. 54-57

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Certification of ICTs in Elections

    Schürmann, C., Barrat, J., Bolo, E., Bravo, A., Krimmer, R., Neumann, S., Acong Parreno, A., Volkamer, M. & Wolf, P., 2015, Stockholm: International IDEA. 76 p.

    Research output: Book / Anthology / Report / Ph.D. thesis › Book › Research

  • Computation of Stackelberg Equilibria of Finite Sequential Games

    Bosanski, B., Branzei, S., Hansen, K. A., Miltersen, P. B. & Sørensen, T. B., 9 Dec 2015, LNCS 9470 - Web and Internet Economics: 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings. Markakis, E. & Schäfer, G. (eds.). Springer, p. 201-215 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Concurrency & Asynchrony in Declarative Workflows

    Debois, S., Hildebrandt, T. & Slaats, T., 31 Aug 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Vol. 9253. p. 72-89 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Cut elimination in multifocused linear logic

    Guenot, N. & Brock-Nannestad, T., 2015, In: Electronic Proceedings in Theoretical Computer Science. EPTCS. 176, p. 24-33 10 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

  • Declarative event based models of concurrency and refinement in psi-calculi

    Normann, H., Johansen, C. & Hildebrandt, T., 2015, In: Journal of Logic and Algebraic Programming. 85, 3, p. 368-398 30 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

  • Exact Graph Coloring Using Inclusion-Exclusion

    Björklund, A. & Husfeldt, T., 13 Feb 2015, Encyclopedia of Algorithms. Ming-Yang, K. (ed.). Springer, p. 1-2 2 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Encyclopedia chapter › Research › peer-review

  • Experimental Evaluation of Multi-Round Matrix Multiplication on MapReduce

    Ceccarello, M. & Silvestri, F., 5 Jan 2015, Proceedings of the Seventeenth Workshop on Algorithm Engineering and Experiments (ALENEX). Brandes, U. & Eppstein, D. (eds.). Society for Industrial and Applied Mathematics, p. 119-132

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Fast Output-sensitive Matrix Multiplication

    Jacob, R. & Stöckel, M., 14 Sept 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Springer, p. 766-778 12 p. (Lecture Notes in Computer Science, Vol. 9294).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • From Independence to Expansion and Back Again

    Christiani, T. L., Pagh, R. & Thorup, M., 2015, STOC '15 Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing. Association for Computing Machinery, p. 813-820

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Graph Colouring Algorithms

    Husfeldt, T., May 2015, Topics in Chromatic Graph Theory. Beineke, L. W. & Wilson, R. J. (eds.). Cambridge University Press, p. 277-303 (Encyclopedia of Mathematics and Its Applications; No. 156).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

  • Hybrid process technologies in the financial sector

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 31 Aug 2015, CEUR Workshop Proceedings: Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 (BPM-Industry 2015). CEUR Workshop Proceedings, Vol. 1439. p. 107-119 (CEUR Workshop Proceedings).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • I/O-Efficient Similarity Join

    Pagh, R., Pham, N. D., Silvestri, F. & Stöckel, M., 14 Sept 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Springer, p. 941-952 12 p. (Lecture Notes in Computer Science, Vol. 9294).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Large-Scale Similarity Joins With Guarantees

    Pagh, R., 2015, 18th International Conference on Database Theory (ICDT 2015). Vol. 31. p. 15-24 (Leibniz International Proceedings in Informatics).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • M3: Matrix Multiplication on MapReduce

    Silvestri, F. & Ceccarello, M., 2015

    Research output: Other contribution › Research

  • Measuring Voter Lines

    Schürmann, C. & Wang, J., Nov 2015, TR-2015-191 ed. Copenhagen: IT-Universitetet i København. 26 p. (IT University Technical Report Series; No. TR-2015-191).

    Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

    File

  • Monstret i Turings bibliotek

    Translated title of the contribution: The Monster in the Library of TuringHusfeldt, T., 2015, In: Filosofisk Tidskrift. 4

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  • Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015): Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 42. p. 412 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Quicksort, Largest Bucket, and Min-Wise Hashing with Limited Independence

    Knudsen, M. B. T. & Stöckel, M., 2015, Algorithms – ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14–16, 2015, Proceedings. Springer, Vol. 9294. p. 828-839 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Randomized Primitives for Big Data Processing

    Stöckel, M., 2015, IT-Universitetet i København. 155 p. (ITU-DS; No. 108).

    Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis

    Open Access
    File

  • Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (eds.). Springer, p. 143-160 18 p. (Lecture Notes in Computer Science, Vol. 9109).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The Analysis of a Real Life Declarative Process

    Debois, S. & Slaats, T., 2015, Proceedings of the 2015 Symposium on Computational Intelligence and Data Mining (CIDM). IEEE: IEEE, p. 1374 - 1382

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • The Input/Output Complexity of Sparse Matrix Multiplication

    Stöckel, M. & Pagh, R., 2015, Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings. Springer, Vol. 8737. p. 750-761 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The Parity of Set Systems under Random Restrictions with Applications to Exponential Time Problems

    Björklund, A., Dell, H. & Husfeldt, T., 2015, Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming, ICALP 2015, (6-10 July 2015, Kyoto, Japan). Springer, p. 231-242 12 p. (Lecture Notes in Computer Science, Vol. 9134).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Triangle Counting in Dynamic Graph Streams

    Bulteau, L., Froese, V., Pagh, R. & Kutzkov, K., 23 Jul 2015, In: Algorithmica.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File

  • Type Families with Class, Type Classes with Family

    Serrano, A., Hage, J. & Bahr, P., 1 Sept 2015, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell. New York, NY, USA: Association for Computing Machinery, p. 129-140 12 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Valhemligheten bör inte vara valfri

    Husfeldt, T., 25 May 2015, In: Dagens Samhälle.

    Research output: Journal Article or Conference Article in Journal › Contribution to newspaper - Newspaper article