Theoretical Computer Science

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2012

    Compressed Matrix Multiplication

    Pagh, R., 2012, ITCS 12. Proceedings of the Innovations in Theoretical Computer Science Conference, 3 . Association for Computing Machinery, s. 442-451

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

  • Fast and Cache-Oblivious Dynamic Programming with Local Dependencies

    Stöckel, M. & Bille, P., 5 mar. 2012, LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications . Springer, Bind 7183. 12 s.

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

  • I/O-Efficient Data Structures for Colored Range and Prefix Reporting

    Larsen, K. G. & Pagh, R., 2012, SODA 12: Proceedings of 23rd ACM-SIAM Symposium on Discrete Algorithms (SODA). Association for Computing Machinery, s. 583-592

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

  • Interface-Based Service Composition with Aggregation

    Dalla Preda, M., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, Service-Oriented Cloud Computing. Springer, Bind 7592. s. 48-63 (Lecture Notes in Computer Science, Bind 7592).

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

  • On Matching Concurrent Traces

    Schürmann, C., Cervesato, I., Pfenning, F. & Simmons, R. J., 2012, Proceedings of the 26th International Workshop on Unification (UNIF 26). s. 14-19

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

  • Refinement for Transition Systems with Responses

    Carbone, M., Hildebrandt, T., Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Bind 87.

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

  • Restarting Automata with Auxiliary Symbols and Small Lookahead

    Schluter, N. E., 2012, LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications LATA 2011. Springer, s. 499-510 (Lecture Notes in Computer Science, Bind 6638).

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

  • Trace Matching in a Concurrent Logical Framework

    Cervesato, I., Pfenning, F., Sacchini, J., Schürmann, C. & Simmons, R., 2012, LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, s. 1 12 s. (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

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

  • Truthful Monadic Abstractions

    Brock-Nannestad, T. & Schürmann, C., 2012, IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning. Springer, Bind 7364. s. 97-110 (Lecture Notes in Computer Science, Bind 7364).

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

  • 2010

    Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs

    Hildebrandt, T. & Mukkamala, R. R., 2010, Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. s. 59-73 (Electronic Proceedings in Theoretical Computer Science. EPTCS).

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

    Fil
  • 2009

    Computer Supported Mobile Adaptive Business Processes for 3gERP Systems

    Hildebrandt, T., Glenstrup, A. J., Bundgaard, M., Højsgaard, E., Hallwyl, T., Slaats, T., Nilsson, M. & Schmidt, K., 2009, Pre-proceedings of the 2nd Workshop on 3rd Generation Enterprise Resource Planning Systems. 9 s.

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