Rasmussen, M. K., Grönvall, E., Kinch, S. & Petersen, M. G. (2013).
It’s alive, it’s magic, it’s in love with you: Opportunities, Challenges and Open Questions for Actuated Interfaces. I H. Shen, R. Smith, J. Paay, P. Calder & T. Wyeld (red.),
Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration. OzCHI '13 (s. 63-72). Association for Computing Machinery.
https://doi.org/10.1145/2541016.2541033
André, É., Arias, J., Petrucci, L.
& Pol, J. V. D. (2021).
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. I J. F. Groote & K. G. Larsen (red.),
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I (s. 311-329). Springer.
https://doi.org/10.1007/978-3-030-72016-2_17
Sammler, M., Hammond, A., Lepigre, R., Campbell, B.
, Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P. (2022).
Islaris: verification of machine code against authoritative ISA semantics. I R. Jhala & I. Dillig (red.),
PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 825-840). Association for Computing Machinery.
https://doi.org/10.1145/3519939.3523434
Rao, X.
, Georges, A. L., Legoupil, M., Watt, C.
, Pichon-Pharabod, J., Gardner, P.
& Birkedal, L. (2023).
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proceedings of the ACM on Programming Languages ,
7, Artikel 151.
https://doi.org/10.1145/3591265
JUNG, RALF.
, KREBBERS, ROBBERT., JOURDAN, JACQUES.-HENRI.
, BIZJAK, ALEŠ., BIRKEDAL, LARS. & DREYER, DEREK. (2018).
Iris from the ground up: A modular foundation for higher-order concurrent separation logic.
Journal of Functional Programming,
28, 1-73. Artikel e20.
https://doi.org/10.1017/S0956796818000151
Jung, R., Swasey, D.
, Sieczkowski, F., Svendsen, K., Turon, A.
, Birkedal, L. & Dreyer, D. (2015).
Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning. I S. Rajamani (red.),
Conference Record of the Annual ACM Symposium on Principles of Programming Languages (s. 637-650). Association for Computing Machinery.
https://doi.org/10.1145/2676726.2676980
Kejlberg-Rasmussen, C., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2013).
I/O-Efficient Planar Range Skyline and Attrition Priority Queues. I R. Hull & W. Fan (red.),
Proceedings of the 32nd symposium on Principles of database systems , PODS '13 (s. 103-114 ). Association for Computing Machinery.
https://doi.org/10.1145/2463664.2465225
Kejlberg-Rasmussen, C., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2021).
I/O-efficient 2-d orthogonal range skyline and attrition priority queues.
Computational Geometry: Theory and Applications,
93, Artikel 101689.
https://doi.org/10.1016/j.comgeo.2020.101689
Jetter, H.-C.
, Rädle, R., Feuchtner, T., Anthes, C., Friedl, J.
& Klokmose, C. N. (2020).
“In VR, everything is possible!”: Sketching and Simulating Spatially-Aware Interactive Spaces in Virtual Reality. I
CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 523 Association for Computing Machinery.
https://doi.org/10.1145/3313831.3376652
Anderson, S.
, Borchorst, N. G., Bødker, S., Colineau, N., Dennett, A.
, Korn, M. & Paris, C. (2011).
Introduction to the Workshop on Government and Citizen Engagement.
International Reports on Socio-Informatics,
8(2), 5-7.
http://www.iisi.de/fileadmin/IISI/upload/IRSI/irsiV8i2.pdf
Brabrand, C., Ribeiro, M., Tolêdo, T.
, Winther, J. & Borba, P. (2013).
Intraprocedural dataflow analysis for software product lines. I G. T. Leavens , S. Chiba & É. Tanter (red.),
Transactions on Aspect-Oriented Software Development X (s. 73-108). Springer VS.
https://doi.org/10.1007/978-3-642-36964-3_3
Thomas, V., Brueggemann, M. J., Wang, D., Darby, A., Wohl, B., Vermeulen, L. M. D., Bates, O. & Feldman, D. (2018).
In the eye of a hurricane there is quiet, for just a moment, -. I R. Mandryk, M. Hancock, M. Perry & A. Cox (red.),
CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (s. 1-10). Artikel alt01 Association for Computing Machinery.
https://doi.org/10.1145/3170427.3188394
Borchorst, N. G., Bødker, S., Colineau, N.
, Korn, M., Paris, C., Pipek, V. & Rohde, M. (red.) (2011).
International Reports on Socio-Informatics (IRSI): Special Issue. Vol. 8, Issue 2. Proceedings of the C&T 2011 Workshop on Government and Citizen Engagement. The International Institute for Socio-Informatics, Bonn. International Reports on Socio-Informatics Bind 8 Nr. 2
http://www.iisi.de/fileadmin/IISI/upload/IRSI/irsiV8i2.pdf
Qu, Q., Liu, S., Jensen, C. S., Zhu, F. & Faloutsos, C. (2014).
Interestingness-Driven Diffusion Process Summarization in Dynamic Networks. I T. Calders, F. Esposito, E. Hüllermeier & R. Meo (red.),
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II (s. 597-613). Springer VS.
https://doi.org/10.1007/978-3-662-44851-9_38
Krebbers, R., Timany, A. & Birkedal, L. (2017).
Interactive proofs in higher-order concurrent separation logic. I A. D. Gordon & G. Castagna (red.),
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (s. 205-217). Association for Computing Machinery.
https://doi.org/10.1145/3009837.3009855
Jensen, M. M., Grønbæk, K., Thomassen, N.
, Andersen, J. & Nielsen, J. (2014).
Interactive Football-Training Based on Rebounders with Hit Position Sensing and Audio-Visual Feedback.
International Journal of Computer Science in Sport,
13(1, part 2), 57-68.
http://iacss.org/fileadmin/user_upload/IJCSS_FullPaper/Vol13_2014_Ed1/IJCSS-Volume13_2014_Edition1_Jensen.pdf
Jensen, M. M., Grønbæk, K., Rasmussen, M. K., Thomassen, N.
, Andersen, J. & Nielsen, J. (2013).
Interactive football training based on rebounders with hit position sensing and audio/light feedback. Abstract fra International Symposium on Computer Science in Sports, Istanbul, Tyrkiet.