1. 2018
  2. Published
  3. 2017
  4. Published

    Content dependent information flow control. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 87, 01.02.2017, p. 6-32.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  5. Published

    A coordination language for databases. / Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    In: Logical Methods in Computer Science, Vol. 13, No. 1, 2017.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

  6. Published

    Asynchronous Distributed Execution of Fixpoint-Based Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele ; Montanari, Ugo .

    In: Logical Methods in Computer Science, Vol. 13, No. 1, 2017.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  7. Published

    Atomistic Galois insertions for flow sensitive integrity. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Computer Languages, Systems and Structures, Vol. 50, 2017, p. 82-107.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  8. Published

    Automated specification and verification of Web-based applications. / ter Beek, Maurice H. ; Lluch Lafuente, Alberto.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 87, 2017, p. 51-51.

    Publication: ResearchEditorial – Annual report year: 2017

  9. Published

    BProVe: A formal verification framework for business process models. / Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea.

    Proceedings of 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2017. p. 217-228.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  10. Published

    BProVe: Tool support for business process verification. / Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea.

    Proceedings of the 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2017. p. 937-942.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  11. Published

    Choreographing Cyber-Physical Distributed Control Systems for the Energy Sector. / López-Acosta, Hugo-Andrés; Heussen, Kai.

    Proceedings of SAC 2017. Association for Computing Machinery, 2017. p. 437-443.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  12. Published

    Effect-driven QuickChecking of compilers. / Midtgaard, Jan; Justesen, Mathias Nygaard; Kasting, Patrick Frederik Soelmark; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the Acm on Programming Languages . Vol. 1 Association for Computing Machinery, 2017. p. 1-23 (Proceedings of the Acm on Programming Languages).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

Previous 1 2 3 4 5 6 7 8 ...16 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word