Theoretical Computer Science

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2015

    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 maj 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE, s. 54-57

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • 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. (red.). Springer, s. 201-215 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, Bind 9253. s. 72-89 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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. (red.). Society for Industrial and Applied Mathematics, s. 119-132

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Fast Output-sensitive Matrix Multiplication

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, s. 813-820

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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, Bind 1439. s. 107-119 (CEUR Workshop Proceedings).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • I/O-Efficient Similarity Join

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Large-Scale Similarity Joins With Guarantees

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, Bind 42. s. 412 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, Bind 9294. s. 828-839 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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. (red.). Springer, s. 143-160 18 s. (Lecture Notes in Computer Science, Bind 9109).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, s. 1374 - 1382

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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, Bind 8737. s. 750-761 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, s. 231-242 12 s. (Lecture Notes in Computer Science, Bind 9134).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Type Families with Class, Type Classes with Family

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Vote Counting as Mathematical Proof

    Schürmann, C. & Pattinson, D., 1 dec. 2015, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. Pfahringer, B. & Renz, J. (red.). 2015 udg. Canberra: Springer, Bind LNAI 9457. s. 464-475 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Web-Based Modelling and Collaborative Simulation of Declarative Processes.

    Slaats, T., Marquard, M. & Shahzad, M., 31 aug. 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Bind 9253. s. 209-225 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2014

    A Case for Declarative Process Modelling: Agile Development of a Grant Application System

    Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE, s. 126-133 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • A type theory for productive coprogramming via guarded recursion

    Møgelberg, R. E., 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): CSL-LICS '14. Association for Computing Machinery, 10 s. 71. (Annual Symposium on Logic in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino

    Sørensen, T. B., Dalis, M., Korzhyk, D., Conitzer, V. & Letchford, J., aug. 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence. AAAI Press, Bind 1. s. 798-804 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Concurrency Models with Causality and Events as Psi-calculi

    Hildebrandt, T., Prisacariu, C. & Norman, H., 2014, Proceedings 7th Interaction and Concurrency Experience. Lanese, I., Lluch-Lafuente, A., Sokolova, A. & Vieira, H. T. (red.). Bind 166. s. 4-20 17 s. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Bind 166).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Efficient estimation for high similarities using odd sketches

    Mitzenmacher, M., Pagh, R. & Pham, N. D., 2014, Proceedings of the 23rd international conference on World wide web: WWW '14. Association for Computing Machinery, s. 109-118 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Efficient Representation for Online Suffix Tree Construction

    Larsson, N. J., Fuglsang, K. & Karlsson, K., 2014, Experimental Algorithms: 13th International Symposium, SEA 2014. Gudmundsson, J. & Katajainen, J. (red.). Springer, s. 400-411 12 s. (Lecture Notes in Computer Science, Bind 8504).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Equality and fixpoints in the calculus of structures

    Chaudhuri, K. & Guenot, N., 12 sep. 2014, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. Henzinger, T. A. & Miller, D. (red.). Association for Computing Machinery, s. 30-40 10 s. (Annual Symposium on Logic in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Generating k-independent variables in constant time

    Christiani, T. L. & Pagh, R., 2014, Foundations of Computer Science (FOCS), 2014 IEEE 55th Annual Symposium on. IEEE, s. 196-205

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Hybrid Extensions in a Logical Framework

    Schürmann, C., Brock-Nannestad, T., Guenot, N. & Murawska, A., 2014, LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery, 6

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Is Min-Wise Hashing Optimal for Summarizing Set Intersection?

    Pagh, R., Stöckel, M. & Woodruff, D., 2014, Proceedings of the 2014 ACM SIGMOD international conference on Management of data. Association for Computing Machinery, s. 109-120

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Listing Triangles

    Björklund, A., Pagh, R., Vassilevska Williams, V. & Zwick, U., 2014, Automata, Languages, and Programming, 41st International Colloquium, ICALP 2014. Springer, s. 223-234

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • MapReduce Triangle Enumeration With Guarantees

    Park, H.-M., Silvestri, F., Kang, U. & Pagh, R., 2014, CIKM '14 Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management . Association for Computing Machinery, s. 1739-1748

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Shortest Two Disjoint Paths in Polynomial Time

    Björklund, A. & Husfeldt, T., 2014, Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. 12 s. (Lecture Notes in Computer Science, Bind 8572).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Symmetric normalisation for intuitionistic logic

    Guenot, N. & Straßburger, L., 12 sep. 2014, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. Henzinger, T. A. & Miller, D. (red.). Association for Computing Machinery, s. 45-55 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • The CAP Theorem Versus Databases with Relaxed ACID properties

    Frank, L., Pedersen, R. U., Havnø Frank, C. & Larsson, J., jan. 2014, Proceedings of the 8th International Conference on Ubiquitous Information Management and Communication. Association for Computing Machinery, s. 78:1--78:7 7 s. 78

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • The Input/Output Complexity of Triangle Enumeration

    Pagh, R. & Silvestri, F., 2014, PODS '14 Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems . Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Towards a Set Theoretical Approach to Big Data Analytics

    Mukkamala, R. R., Hussain, A. & Vatrapu, R., 27 jun. 2014, Big Data (BigData Congress), 2014 IEEE International Congress on. IEEE, s. 629-636

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Triangle counting in dynamic graph streams

    Kutzkov, K. & Pagh, R., 2014, Algorithm Theory – SWAT 2014. Springer

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Trust in Internet Election: Observing the Norwegian Decryption and Counting Ceremony

    Markussen, R., Ronquillo, L. & Schürmann, C., okt. 2014, 6th International Conference on Electronic Voting (EVOTE), TUT Press, October 2014. (jcg: 26/11/14). Krimmer, R. & Volkamer, M. (red.). s. 75-82 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • 2013

    Analysing Vote Counting Algorithms Via Logic

    Schürmann, C., Beckert, B. & Gore, R., 2013, Proceedings of the fourth Conference on E-Voting and Identity (VOTEID'13). Springer, (Lecture Notes in Computer Science, Bind 7985).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Analysing Vote Counting Algorithms Via Logic - And its Application to the CADE Election Scheme

    Schürmann, C., Beckert, B. & Gore, R., 2013, Automated Deduction – CADE-24: Proceedings of the 16th International Conference on Automated Deduction (CADE-24). Springer, s. 135-144 (Lecture Notes in Computer Science, Bind 7898).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Fast and Scalable Polynomial Kernels via Explicit Feature Maps

    Pham, N. D. & Pagh, R., 2013, KDD '13 Proceedings of the 19th ACM SIGKDD international conference on Knowledge discovery and data mining. Association for Computing Machinery, s. 239-249

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Modular Context-Sensitive and Aspect-Oriented Processes with Dynamic Condition Response Graphs

    Bidragets oversatte titel: Modulære kontekst-sensitive og aspektorienterede processer med Dynamic Condition Response GraphsHildebrandt, T., Mukkamala, R. R. & Zanitti, F., 2013, FOAL '13 Proceedings of the 12th workshop on Foundations of aspect-oriented languages . Association for Computing Machinery, 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Names For Free: Polymorphic Views of Names and Binders

    Pouillard, N. & Bernardy, J.-P., 23 sep. 2013, Haskell '13 Proceedings of the 2013 ACM SIGPLAN symposium on Haskell . Association for Computing Machinery, s. 13-24 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • On the streaming complexity of computing local clustering coefficients

    Kutzkov, K. & Pagh, R., 2013, WSDM '13 Proceedings of the sixth ACM international conference on Web search and data mining. Association for Computing Machinery, s. 677-686 9 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Process-aware Web Programming with Jolie

    Montesi, F., 2013, SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing . Association for Computing Machinery, s. 761-763 (ACM Symposium on Applied Computing,).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Sessions and Separability in Security Protocols

    Carbone, M. & Guttman, J., 2013, Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, . Springer, Bind 7796. s. 267-286 20 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • 2012

    A Model Checker for Bigraphs

    Perrone, G. D., Debois, S. & Hildebrandt, T., mar. 2012, SAC '12. Proceedings of the 27th Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, s. 1320-1325

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • A Near-linear Time Approximation Algorithm for Angle-based Outlier Detection in High-dimensional Data

    Pham, N. D. & Pagh, R., 12 aug. 2012, KDD '12 Proceedings of the 18th ACM SIGKDD international conference on Knowledge discovery and data mining . Association for Computing Machinery, s. 877-885 9 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • A process-oriented event-based programming language

    Bidragets oversatte titel: Et proces-orienteret event-baseret programmeringssprogHildebrandt, T. & Zanitti, F., 2012, Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems . New York, NY, USA: Association for Computing Machinery, s. 377-378 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Bigraphical Refinement

    Perrone, G. D., Debois, S. & Hildebrandt, T., 2012, Electronic Proceedings in Theoretical Computer Science. EPTCS. University of New South Wales Press, Bind 55. s. 20-36 16 s. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Bind 55).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Charge! - A Framework for Higher-Order Separation Logic in Coq

    Bengtson, J., Jensen, J. B. & Birkedal, L., 2012, Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Springer, s. 315-331 (Lecture Notes in Computer Science, Bind 7406).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review