Programming Logic and Semantics

Filter
Article in proceedings

Search results

  • 2014

    Equality and fixpoints in the calculus of structures

    Chaudhuri, K. & Guenot, N., 12 Sept 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. (eds.). Association for Computing Machinery, p. 30-40 10 p. (Annual Symposium on Logic in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Symmetric normalisation for intuitionistic logic

    Guenot, N. & Straßburger, L., 12 Sept 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. (eds.). Association for Computing Machinery, p. 45-55 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 629-636

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

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

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, Vol. 7985).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 135-144 (Lecture Notes in Computer Science, Vol. 7898).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

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

    Hildebrandt, 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 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Names For Free: Polymorphic Views of Names and Binders

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 761-763 (ACM Symposium on Applied Computing,).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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 Publishing Company, Vol. 7796. p. 267-286 20 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 1320-1325

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • A process-oriented event-based programming language

    Hildebrandt, T. & Zanitti, F., 2012, Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems . New York, NY, USA: Association for Computing Machinery, p. 377-378 2 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Bigraphical Refinement

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 315-331 (Lecture Notes in Computer Science, Vol. 7406).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Interface-Based Service Composition with Aggregation

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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). p. 14-19

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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.. Vol. 87.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 1 12 p. (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Truthful Monadic Abstractions

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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. p. 59-73 (Electronic Proceedings in Theoretical Computer Science. EPTCS).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 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 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearch