Publikationer pr. år
Publikationer pr. år
Publikation
- 20 resultater
Søgeresultater
-
2024
Action Research with Industrial Software Engineering: An Educational Perspective
Dittrich, Y., Bolmsten, J. & Seidelin, C., 2024, Handbook on Teaching Empirical Software Engineering. Mendez, D., Avgeriou, P., Kalinowski, M. & Ali, N. B. (red.). Cham: Springer Nature Switzerland, s. 413-461 49 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
Curious interdisciplinarity
Dittrich, Y., 2024, A Festschrift in honor of David W. Randall. Harper, R., Rouncefield, M. & Wulf, V. (red.). Universität Siegen, s. 17-18 2 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning
Åben adgang -
Symbolic Quantitative Information Flow for Probabilistic Programs
Schröer, P., Randone, F., Pardo, R. & Wa̧sowski, A., 2024, Symbolic Quantitative Information Flow for Probabilistic Programs. Springer Nature Switzerland, Bind 15260. s. 128-154Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
Teaching and Learning Ethnography for Software Engineering Contexts
Dittrich, Y., Sharp, H. C. & Souza, C. D., 2024, Handbook on Teaching Empirical Software Engineering. Mendez, D., Avgeriou, P., Kalinowski, M. & Ali, N. B. (red.). Cham: Springer Nature Switzerland, s. 593-630 38 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgang -
Towards a Proof System for Probabilistic Dynamic Logic
Johnsen, E. B., Kamburjan, E., Pardo, R., Voogd, E. & Wąsowski, A., 2024, Towards a Proof System for Probabilistic Dynamic Logic. Springer Nature Switzerland, Bind 15260. s. 322-338Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
When Theory Becomes Action: The Data Commons Concept as Intervention
Dittrich, Y., Jiang, Q., Wang, C., Juncker-Jensen, L. & Østerlund, C. S., 2024, Action Research Booklet. Wang, C. & Juncker-Jensen, L. (red.). 1 udg. Copenhagen: Really Simple Syndication Press, Bind 1.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgang -
2021
Reactive Programming of Robots with RxROS
Larsen, H., van der Hoorn, G. & Wasowski, A., 2021, Robot Operating System (ROS). Springer, Bind 962. s. 55-83 (Studies in Computational Intelligence, Bind 962).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
2020
Behavior trees in action: A study of robotics applications
Ghzouli, R., Berger, T., Broch Johnsen, E., Dragule, S. & Wasowski, A., 2020, Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020. Association for Computing Machinery, s. 196–209 (Proceedings of ACM SIGPLAN International Conference on Software Language Engineering).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil -
Galois Connections for Recursive Types
Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, s. 105-131 (Lecture Notes in Computer Science, Bind 12065).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil -
Intention-Based Integration of Software Variants
Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2020, Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria. . Gesellschaft fur Informatik (GI), s. 57-58 2 s. (Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil -
2019
Embedding Internet-of-Things in Large-Scale Socio-Technical Systems: A Community-Oriented Design in Future Smart Grids
Huang, Y., Poderi, G., Šćepanović, S., Hasselqvist, H., Warnier, M. & Brazier, F., 2019, The Internet of Things for Smart Urban Ecosystems. Cicirelli, F., Guerrieri, A., Mastroianni, C., Spezzano, G. & Vinci, A. (red.). Springer, s. 125-150 (Internet of Things).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
2017
End User Development and Infrastructuring - Sustaining Organizational Innovation Capabilities
Dittrich, Y., Bolmsten, J. & Eriksson, J., 2017, New Perspectives in End-User Development. Paternò, F. & Wulf, V. (red.). Cham: Springer, s. 165-206 42 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL
Dimovski, A. & Wasowski, A., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, s. 249-268 (Lecture Notes in Computer Science, Bind 10460).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil -
Using Reference Architectures for Design and Evaluation of Web of Things Systems: A Case of Smart Homes Domain
Chauhan, M. A. & Babar, M. A., feb. 2017, Managing the Web of Things: Linking the Real World to the Web. 1 udg. Morgan Kaufmann, Bind 1. s. 205-228 24 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
2015
Organisational IT managed from the shop floor: Developing Participatory Design on the organisational arena
Bolmsten, J. & Dittrich, Y., 1 jan. 2015, Designing Socially Embedded Technologies in the Real-World. Springer, Bind Part IV. s. 383-417 (Computer Supported Cooperative Work Series).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
2014
How Social Software Supports Cooperative Practices in a Globally Distributed Software Project
Giuffrida, R. & Dittrich, Y., 2014, Proceedings of the 7th International Workshop on Cooperative and Human Aspects of Software Engineering. Association for Computing Machinery, s. 24-31 8 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
Infrastructuring, Collaboration and Evolving Socio-material Practices of Changing Our World
Bossen, C., Ehn, P., Karasti, H., Di Salvo, C., Clement, A., Pipek, V. & Dittrich, Y., 2014, Proceedings of the 13th Participatory Design Conference: Short Papers, Industry Cases, Workshop Descriptions, Doctoral Consortium Papers, and Keynote Abstracts - Volume 2. Association for Computing Machinery, s. 221-222 2 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
Participation for Development
Dittrich, Y., De La Harpe, R., Korpela, M., Macueve, G., Bekele, R. & Kaasbøll, J., 2014, Proceedings of the 13th Participatory Design Conference: Short Papers, Industry Cases, Workshop Descriptions, Doctoral Consortium Papers, and Keynote Abstracts - Volume 2. Association for Computing Machinery, s. 213-214 2 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
Software Designing Methodology for ICT4D Domain
Zewge, A., Dittrich, Y. & Bekele, R., 2014, Proceedings of the 13th Participatory Design Conference: Short Papers, Industry Cases, Workshop Descriptions, Doctoral Consortium Papers, and Keynote Abstracts - Volume 2. Association for Computing Machinery, s. 237-241 5 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
2012
Methods. Organising principles and general guidelines for Participatory Design projects
Bratteteig, T., Bødker, K., Dittrich, Y., Mogensen, P. H. & Simonsen, J., 2012, Routledge Handbook of Participatory Design. Simonsen, J. & Robertson, T. (red.). Routledge, s. 117 1 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review