Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Jakobsen, S. K. & Orlandi, C. (2015). How to Bootstrap Anonymous Communication. http://eprint.iacr.org/2015/130

Jakobsen, J. & Orlandi, C. (2015). On the CCA (in)security of MTProto. http://eprint.iacr.org/2015/1177

Jakobsen, J. & Orlandi, C. (2016). On the CCA (in)security of MTProto. In Proceedings of the 6th Workshop on Security and Privacy in Smartphones and Mobile Devices: SPSM '16 (pp. 113-116). Association for Computing Machinery. https://doi.org/10.1145/2994459.2994468

Jakobsen, K., Stougaard, J., Petersen, M. G., Winge, J., Grønbæk, J. E. & Rasmussen, M. K. (2016). Expressivity in Open-ended Constructive Play: Building and Playing Musical Lego Instruments. In L. Anthony, G. Sim & R. Jones (Eds.), Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children (pp. 46 - 57). Association for Computing Machinery. https://doi.org/10.1145/2930674.2930683

Jakobsen, S. K. & Orlandi, C. (2016). How To Bootstrap Anonymous Communication. In ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science (pp. 333-344). Association for Computing Machinery. https://doi.org/10.1145/2840728.2840743

Jakobsen, T. P., Nielsen, J. B. & Orlandi, C. (2016). A Framework for Outsourcing of Secure Computation. http://eprint.iacr.org/2016/037

Jakobsen, F. L., Pedersen, S. M., Schnedler, J. A. & Øllegaard, N. H. (2016). Exploring the use of shape change in home appliances. In M. Broekhuijsen (Ed.), Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction - TEI 2016 (pp. 462-467). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856539

Jakobsen, K., Winge, J. & Petersen, M. G. (2016). Hitmachine: Collective Musical Expressivity for Novices. Paper presented at New Interfaces for Musical Expression 2016, Brisbane, Queensland, Australia.

Jakobsen, K. (2019). Graphene-based Interaction Design for Constructive Play: Tangible Music-making Technologies for Children. Aarhus University.

Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A. (2024). Fast Symbolic Computation of Bottom SCCs. In B. Finkbeiner & L. Kovács (Eds.), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024 (pp. 110-128). Springer. https://doi.org/10.1007/978-3-031-57256-2_6

Jagota, A., Lyngsø, R. B., Pedersen, C. N. S., Gascuel, O. (Ed.) & Moret, B. M. E. (Ed.) (2001). Comparing Hidden Markov Model and a Stochastic Context-Free Grammer. In Proceedings of the First International Workshop on Algorithms in Bioinformatics (2149 of Lecture Notes in Computer Science ed., Vol. Volume 2149/2001, pp. 69-94). Springer.

Jafargholi, Z., Kamath, C., Klein, K., Komargodski, I., Pietrzak, K. & Wichs, D. (2017). Be Adaptive, Avoid Overcommitting. In J. Katz & H. Shacham (Eds.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Vol. 10401, pp. 133-163). Springer VS. https://doi.org/10.1007/978-3-319-63688-7_5

Jafargholi, Z., Scafuro, A. & Wichs, D. (2017). Adaptively Indistinguishable Garbled Circuits. In Y. Kalai & L. Reyzin (Eds.), Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings (Vol. 10678, pp. 40-71). Springer VS. https://doi.org/10.1007/978-3-319-70503-3

Jafargholi, Z. & Oechsner, S. (2020). Adaptive Security of Practical Garbling Schemes. In K. Bhargavan, E. Oswald & M. Prabhakaran (Eds.), Progress in Cryptology – INDOCRYPT 2020 - 21st International Conference on Cryptology in India 2020, Proceedings: INDOCRYPT 2020 (pp. 741-762). Springer VS. https://doi.org/10.1007/978-3-030-65277-7_33

Jafargholi, Z., Larsen, K. G. & Simkin, M. (2021). Optimal oblivious priority queues. In D. Marx (Ed.), ACM-SIAM Symposium on Discrete Algorithms, SODA 2021 (pp. 2366-2383). Association for Computing Machinery.

Jacobsen, H., Kyng, M. & Mathiassen, L. (1979). Edb-systemer og klubarbejde på 12 virksomheder.

Jacobsen, H., Kensing, F., Kyng, M. & Mathiassen, L. (1981). Klubarbejde og EDB: Rapport om edb-udviklingen, dens konsekvenser og fagbevægelsens handlingsmuligheder - fra et projekt under Fagbevægelsens Forskningsråd. Fremad. DUE RAPPORT No. 4, 2. udgave

Jacobsen, H., Kyng, M. & Mathiassen, L. (1978). Demokrati, Udvikling og EDB. AOF' Forlag. DUE TEMAHÆFTE No. 1

Jacobsen, H., Kyng, M. & Mathiassen, L. (1979). EDB - elektronisk databehandling. AOF's Forlag. DUE TEMAHÆFTE No. 2

Jacobsen, H., Kyng, M. & Mathiassen, L. (1981). EDB til styring, planlægning og kontrol. AOF' Forlag. DUE TEMAHÆFTE No. 3

Jacobs, K., Timany, A. & Devriese, D. (2021). Fully abstract from static to gradual. Proceedings of the ACM on Programming Languages , 5(POPL), Article 7. https://doi.org/10.1145/3434288

Jacobs, K., Devriese, D. & Timany, A. (2022). Purity of an ST monad: Full abstraction by semantically typed back-translation. Proceedings of the ACM on Programming Languages , 6(OOPSLA1), Article 82. https://doi.org/10.1145/3527326

Jacobs, J., Hinrichsen, J. K. & Krebbers, R. (2023). Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). Proceedings of the ACM on Programming Languages , 7(ICFP), 768-795. Article 214. https://doi.org/10.1145/3607856

Jacobs, J., Hinrichsen, J. K. & Krebbers, R. (2024). Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proceedings of the ACM on Programming Languages , 8(POPL), Article 47. https://doi.org/10.1145/3632889

Jacob, R., Larsen, K. G. & Nielsen, J. B. (2019). Lower Bounds for Oblivious Data Structures. In T. M. Chan (Ed.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 2439-2447). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611975482.149

Iversen, J. & Mosses, P. D. (Ed.) (2002). Type Inference for the New Action Notation. Paper presented at International Workshop on Action Semantics (AS 2002), København, Denmark.

Iversen, J. & Mosses, P. D. (2004). Constructive Action Semantics for Core ML. B R I C S Report Series, (RS-04-37).

Iversen, O. S., Kanstrup, A. M. & Petersen, M. G. (2004). A Visit to the 'New Utopia': Revitalizing Democracy, Emancipation and Quality in Co-Operative Design. In ACM International Conference Proceeding Series: Proceedings of the third Nordic conference on Human-computer interaction (Vol. 82, pp. 171-179). Association for Computing Machinery. https://doi.org/10.1145/1028014.1028040

Iversen, O. S., Petersen, M. G. & Kanstrup, A.-M. (2004). A Visit to the 'New Utopia'. In Proceedings of the Third Nordic Conference on Human-Computer interaction (pp. 171-179). Association for Computing Machinery.

Iversen, J. (2005). Formalisms and tools supporting Constructive Action Semantics. Århus Universitet. BRICS Dissertation Series No. DS-05-2

Iversen, J. (2005). An Action Compiler Targeting Standard ML. In J. Boyland & G. Hedin (Eds.), Electronic Notes in Theoretical Computer Science (Vol. 141/4, pp. 167-188). Pergamon Press.

Iversen, O. S. & Brodersen, A. C. (2007). Bridging the Gap between users and children - A socio-cultural approach to designing with children. Cognition, Technology and Work.

Iversen, O. S., Kortbek, K. J., Nielsen, K. R. & Aagaard, L. (2007). Stepstone - An Interactive Floor Application for hearing Impaired Children with a Cochlear Implant. Paper presented at Interaction Design and Children, Ålborg, Denmark. http://www.interactivespaces.net/data/uploads/papers/55.pdf

Iversen, O. S. & Dindler, C. (2008). Pursuing Aesthetic Inquiry in Participatory Design. In J. Simonsen, T. Robertson & D. Hakken (Eds.), Proceedings of the Participatory Design Conference 2008, Bloomington IN, USA (pp. 138-145). The Trustees of Indiana University.

Iversen, O. S., Krogh, P. G. & Petersen, M. G. (2003). The Fifth Element - promoting the perspective of aesthetic interaction. In M. Hertzum & S. Heilesen (Eds.), Proceedings of the third Danish Human-Computer Interaction Research Symposium (pp. 45-50). Roskilde Universitet.

Iversen, O. S. & Hansen, F. A. (2006). Med it på lommen – mobilteknologi til nomadisk læring. http://design.emu.dk/artikler/0619-mobiltek.html

Ishai, Y., Kumarasubramanian, A., Orlandi, C. & Sahai, A. (2011). On Invertible Sampling and Adaptive Security. Lecture Notes in Computer Science, 6477, 466-482. https://doi.org/10.1007/978-3-642-17373-8_27

Ishai, Y., Kushilevitz, E., Meldgaard, S. T., Orlandi, C. & Paskin-Cherniavsky, A. (2013). On the Power of Correlated Randomness in Secure Computation. In A. Sahai (Ed.), Theory of Cryptography: 10th TCC 2013. Proceedings (pp. 600-620 ). Springer VS. https://doi.org/10.1007/978-3-642-36594-2_34

Ishai, Y., Patra, A., Patranabis, S., Ravi, D. & Srinivasan, A. (2022). Fully-Secure MPC with Minimal Trust. In Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (pp. 470–501). Springer. https://doi.org/10.1007/978-3-031-22365-5_17

Ingstrup, M. & Hansen, K. M. (2005). A Declarative Approach to Architectural Reflection. In R. Nord, N. Medvidovic, R. Krikhaar, J. Stafford & J. Bosch (Eds.), 5th Working IEEE/IFIP Conference on Software Architecture (pp. 149-158). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2005.6

Ingstrup, M. (2006). Towards Distributed Declarative Architectural Reflection. Daimi PhD Dissertation No. PD-06-17

Ingstrup, M. & Hansen, K. M. (2009). Modeling architectural change - architectural scripting and its applications to reconfiguration. In Ikke angivet (pp. 337). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2009.5290670

Ingstrup, M., Zhang, W., Hansen, K. M. & Fernandes, J. M. (2009). Architecting Self-Management in the Hydra Middleware. In A. Brinkmann, H.-J. Eikerling & M. Z. Aziz (Eds.), Proceedings of the 1st International Workshop on Distributed Computing in Ambient Environments: proceedings co-located with the 32nd Annual Conference on Artificial Intelligence Paderborn, September 15th, 2009 (pp. 1-12). COMSATS Institue of Information Technology, Islamabad. http://www.iis.uni-hildesheim.de/files/staff/bach/KI-2009-WS-Web.pdf

Ingstrup, M. (2003). Interaction Widget. In K. Henney & D. Schütz (Eds.), Proceedings of the 8th European Conference on Pattern Languages of Programs, 2003 UVK Verlagsgesellschaft.

Ingesman, M. D. & Ernst, E. (2012). Lifted Java: A Minimal Calculus for Translation Polymorphism. Journal of Object Technology, 11(1), 1-23. https://doi.org/10.5381/jot.2012.11.1.a2

Ingesman, M. D. & Ernst, E. (2011). Lifted Java: A Minimal Calculus for Translation Polymorphism. Lecture Notes in Computer Science, 6705, 179-193. https://doi.org/10.1007/978-3-642-21952-8_14

Ibsen-Jensen, R. & Miltersen, P. B. (2011). Solving simple stochastic games with few coin toss positions. http://arxiv.org/abs/1112.5255

Ibsen-Jensen, R. & Miltersen, P. B. (2012). Solving Simple Stochastic Games with Few Coin Toss Positions. Lecture Notes in Computer Science, 7501, 636-647. https://doi.org/10.1007/978-3-642-33090-2_55

Ibsen-Jensen, R. (2013). Strategy complexity of two-player, zero-sum games. Department of Computer Science, University of Aarhus.

Ibsen-Jensen, R. & Chatterjee , K. (2013). Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games. In A. Kučera , T. A. Henzinger, J. Nešetřil, T. Vojnar & D. Antoš (Eds.), Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (pp. 106-117). Springer VS. https://doi.org/10.1007/978-3-642-36046-6_11

Displaying results 2401 to 2450 out of 5649

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University