1. 2017
  2. Published

    A Domain-Specific Language for Generic Interlocking Models and Their Properties. / Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan.

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Vol. 10598 Springer, 2017. p. 99-115 (Lecture Notes in Computer Science, Vol. 10598).

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

  3. Published

    A Framework for Online Conformance Checking. / Burattin, Andrea; Carmona, Josep .

    Proceedings of the 13th International Workshop on Business Process Intelligence (BPI 2017). 2017.

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

  4. Published

    Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017. / Kindler, Ekkart (Editor); Bergenthum, Robin (Editor).

    DTU Compute, 2017. 70 p. (DTU Compute-Technical Report-2017, Vol. 06).

    Publication: Research - peer-reviewReport – Annual report year: 2017

  5. Published

    Blockchains for Business Process Management - Challenges and Opportunities. / Mendling, Jan; Weber, Ingo; Van Der Aalst, Wil; Brocke, Jan vom; Cabanillas, Cristina; Daniel, Florian; Debois, Soren; Di Ciccio, Claudio; Dumas, Marlon; Dustdar, Schahram; Gal, Avigdor; Garcia-Banuelos, Luciano; Governatori, Guido; Hull, T. Richard; La Rosa, Marcello; Leopold, Henrik; Leymann, Frank; Recker, Jan; Reichert, Manfred; Reijers, Hajo A.; Rinderle-Ma, Stefanie; Rogge-Solti, Andreas; Rosemann, Michael; Schulte, Stefan; Singh, Munindar P.; Slaats, Tijs; Staples, Mark; Weber, Barbara; Weidlich, Matthias; Weske, Mathias; Xu, Xiwei; Zhu, Liming.

    In: arXiv, 2017.

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

  6. Published

    Cheetah Experimental Platform Web 1.0: Cleaning Pupillary Data. / Zugal, Stefan; Pinggera, Jakob; Neurauter, Manuel; Maran, Thomas; Weber, Barbara.

    In: ArXiv, 2017.

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

  7. Published

    Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. / Macedo, Hugo Daniel dos Santos; Fantechi, Alessandro; Haxthausen, Anne Elisabeth.

    Proceedings of NASA Formal Methods Symposium 2017. Springer, 2017. p. 146–162 (Lecture Notes in Computer Science, Vol. 10227).

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

  8. Published

    Compositional Verification of Interlocking Systems for Large Stations. / Fantechi, Alessandro; Haxthausen, Anne Elisabeth; Macedo, Hugo Daniel dos Santos.

    Software Engineering and Formal Methods. Vol. 10469 Springer, 2017. p. 236-252 (Lecture Notes in Computer Science, Vol. 10469).

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

  9. Published

    Convergence on Self - Generated vs. Crowdsourced Ideas in Crisis Response: Comparing Social Exchange Processes and Satisfaction with Process. / Seeber, Isabella ; Merz, Alexander B. ; Maier, Ronald ; Vreede, G. J. de ; Weber, Barbara.

    Proceedings of the 50th Hawaii International Conference on System Sciences (HICSS 2017). 2017. p. 687-696.

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

  10. Published

    Cost-effective evolution of research prototypes into end-user tools: The MACH case study. / Störrle, Harald.

    In: Science of Computer Programming, Vol. 134, 2017, p. 47–60.

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

  11. Published

    Designing Visual Decision Making Support with the Help of Eye-tracking. / Weber, Barbara; Gulden, Jens; Burattin, Andrea .

    Proceedings of the Radar tracks at the 18th International Working Conference on Business Process Modeling, Development and Support (BPMDS). 2017. (CEUR Workshop Proceedings, Vol. 1859).

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

Previous 1 2 3 4 5 6 7 8 ...14 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