Programming Logic and Semantics

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 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 › Book › Research

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

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

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 › Report › Research

File

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

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

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

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. (eds.). 2015 ed. Canberra: Springer, Vol. LNAI 9457. p. 464-475 11 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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, Vol. 9253. p. 209-225 (Lecture Notes in Computer Science).

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

Open Access

File

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, p. 126-133 8 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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 p. 71. (Annual Symposium on Logic in Computer Science).

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

Choreographic Programming

Montesi, F., 2014, IT-Universitetet i København. 275 p.

Research output: Theses › PhD thesis

Open Access

File

Choreographies, Logically

Carbone, M., Montesi, F. & Schürmann, C., 2014, In: Lecture Notes in Computer Science. 8704, p. 47-62 15 p.

Research output: Journal Article or Conference Article in Journal › Conference article › Research › 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. (eds.). Vol. 166. p. 4-20 17 p. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 166).

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

Declarative Modeling–An Academic Dream or the Future for BPM?

Reijers, H., Slaats, T. & Stahl, C., 2014, In: Lecture Notes in Computer Science. 8094, p. 307-322 16 p.

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

Open Access

File

Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

Wang, W. & Hildebrandt, T., 2014, In: Lecture Notes in Computer Science. 8379, p. 127-146 20 p.

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

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 chapter › Article in proceedings › Research › peer-review

Fuzzy-Set Based Sentiment Analysis of Big Social Data

Mukkamala, R. R., Hussain, A. & Vatrapu, R., 1 Sept 2014, In: International Enterprise Distributed Object Computing Conference. Proceedings. p. 71-80

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

Open Access

File

Hierarchical Declarative Modelling with Refinement and Sub-processes

Debois, S., Hildebrandt, T. & Slaats, T., 2014, In: Lecture Notes in Computer Science. 8659, p. 18--33 16 p.

Research output: Journal Article or Conference Article in Journal › Conference article › Research › 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

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

Linear usage of state

Møgelberg, R. E. & Staton, S., 25 Mar 2014, In: Logical Methods in Computer Science. 10, 1

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

Mode Checking in the Concurrent Logical Framework

Schürmann, C., Sacchini, J., Pfenning, F. & Cervesato, I., 2014, (Technical Report Carnegie Mellon University).

Research output: Book / Anthology / Report › Report › Research

Preface

Cattani, G. L., Hildebrandt, T. & Varacca, D., 2014, In: Theoretical Computer Science. 546, p. 1-2 2 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research

Preface of Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014

Carbone, M., 2014, In: Electronic Proceedings in Theoretical Computer Science. 162, 1 p.

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

Progress as Compositional Lock-Freedom

Carbone, M., Dardha, O. & Montesi, F., 2014, In: Lecture Notes in Computer Science. p. 49-64 15 p.

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

Service-oriented Programming with Jolie

Montesi, F., Guidi, C. & Zavattaro, G., 2014, Web Services Foundations. Springer

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-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 chapter › Article in proceedings › Research › peer-review

The Automated Discovery of Hybrid Processes

Slaats, T., Reijers, H. & Maggi, F. M., 2014, In: Lecture Notes in Computer Science. 8659, p. 392-399

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

The Enriched Eﬀect Calculus: Syntax and Semantics

Møgelberg, R. E., Simpson, A. & Egger, J., 2014, In: Journal of Logic and Computation. 24, 3, p. 615-654

Research output: Journal Article or Conference Article in Journal › Journal article › Research › 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, p. 629-636

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

Open Access

File

Towards a Set Theoretical Approach to Big Social Data Analytics: Concepts, Methods, Tools, and Empirical Findings

Vatrapu, R., Mukkamala, R. R. & Hussain, A., 27 Sept 2014. 2 p.

Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-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 chapter › Article in proceedings › Research › peer-review

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.

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

Verifying Voting Schemes

Schürmann, C., Beckert, B., Gore, R., Bormer, T. & Wang, J., Apr 2014, In: Journal of Information Security and Applications. 19, 2, p. 115-129

Research output: Journal Article or Conference Article in Journal › Journal article › Research › 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, Vol. 7985).

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

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

A verification environment for bigraphs

Perrone, G. D., Debois, S. & Hildebrandt, T., 2013, In: Innovations in Systems and Software Engineering. 9, 2, p. 95-104

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

Big Red: A Development Environment for Bigraphs

Faithfull, A. J., Perrone, G. D. & Hildebrandt, T., 28 Sept 2013, In: E A S S T Electronic Communications. 61, 5 p.

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

Compositional Choreographies

Montesi, F. & Yoshida, N., 2013, CONCUR 2013 – Concurrency Theory . Springer, Vol. 8052. p. 425-439 (Lecture Notes in Computer Science).

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

Contracts for Cross-organizational Workflows as Timed Dynamic Condition Response Graphs

Hildebrandt, T., Mukkamala, R. R., Slaats, T. & Zanitti, F., 2013, In: Journal of Logic and Algebraic Programming. 82, p. 164–185

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

Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming

Carbone, M. & Montesi, F., 2013, In: A C M / S I G P L A N Notices. 48, 1, p. 263-274

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

Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

Mukkamala, R. R., Hildebrandt, T., Slaats, T. & Marquard, M., 2013, On the Move to Meaningful Internet Systems. Springer, Vol. 8186. p. 166-171 (Lecture Notes in Computer Science).

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

Dynamic Newton-Puiseux Theorem

Mannaa, B. & Coquand, T., 24 Apr 2013, In: J. Log. Anal..

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

File

Exformatics Declarative Case Management Workflows as DCR Graphs

Slaats, T., Mukkamala, R. R., Hildebrandt, T. & Marquard, M., 2013, Exformatics Declarative Case Management Workflows as DCR Graphs. Springer, Vol. 8094. p. 339-354 (Lecture Notes in Computer Science, Vol. 8094).

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

File

Intensional type theory with guarded recursive types qua fixed points on universes

Møgelberg, R. E. & Birkedal, L., 2013, In: Annual Symposium on Logic in Computer Science. p. 213-222 10 p.

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

Kopitiam – a unified IDE for developing formally verified Java programs

Bengtson, J. & Mehnert, H., May 2013, TR-2013-167 ed. Copenhagen: IT-Universitetet i København. 15 p. (IT University Technical Report Series; No. TR-2013-167).

Research output: Book / Anthology / Report › Report › Research

File

Programming Logic and Semantics

Research output

Search results