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

Heinze, T. S., Møller, A. & Strocco, F. (2016). Type safety analysis for dart. In R. Ierusalimschy (Ed.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989226

Hein, J., Jensen, J. L. & Pedersen, C. N. S. (2002). Recursions for Statistical Multiple Alignment. Department of Mathematical Sciences , University of Aarhus.

Hein, J., Jensen, J. L. & Pedersen, C. N. S. (2003). Recursions for statistical multiple alignment. Proceedings of the National Academy of Sciences (PNAS), 100(25), 14960-14965. https://doi.org/10.1073/pnas.2036252100

Hein, J., Pedersen, C. N. S. & Jensen, J. L. (2002). Recursions for Statistical Multiple Alignment. Proceedings of the National Academy of Sciences (PNAS), 100(25), 14960-14965.

Hein, J., Wiuf, C., Møller, M., Knudsen, B. & Wibling, G. (2000). Statistical alignment: computational properties, homology testing and goodness-of-fit. J. Mol. Biol., 302(1), 265-279. https://doi.org/10.1006/jmbi.2000.4061

Hedin, G., Magnusson, B., Fors, D. S., Robertz, S., Gjerlufsen, T. & Andersen, P. (2007). PalCom Deliverable 49 (2.6.3). Support for End-User Composition in PalCom. http://www.ist-palcom.org/publications/deliverables/Deliverable-49-[2.6.3]-end-user-composition.pdf

Hedegaard Morsing, L., Sheikh-Omar, O. A. & Iosifidis, A. (2021). Supervised Domain Adaptation: A Graph Embedding Perspective and a Rectified Experimental Protocol. IEEE Transactions on Image Processing, 30, 8619-8631. https://doi.org/10.1109/TIP.2021.3118978

Hazay, C. & Toft, T. (2010). Computationally Secure Pattern Matching in the Presence of Malicious Adversaries. Lecture Notes in Computer Science, 6477, 195-212. https://doi.org/10.1007/978-3-642-17373-8_12

Hazay, C., Mikkelsen, G. L., Rabin, T. & Toft, T. (2011). Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting. http://eprint.iacr.org/2011/494

Hazay, C., Mikkelsen, G. L., Rabin, T. & Toft, T. (2012). Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting. Lecture Notes in Computer Science, 7178, 313-331. https://doi.org/10.1007/978-3-642-27954-6_20

Hazay, C. & Nissim , K. (2012). Efficient Set Operations in the Presence of Malicious Adversaries. Journal of Cryptology, 25(3), 383-433 . https://doi.org/10.1007/s00145-011-9098-x

Hazay, C. & Toft, T. (2014). Computationally Secure Pattern Matching in the Presence of Malicious Adversaries. Journal of Cryptology, 27(2), 358-395. https://doi.org/10.1007/s00145-013-9147-8

Hazay, C., Polychroniadou, A. & Venkitasubramaniam, M. (2016). Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity. In M. Hirt & A. Smith (Eds.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings: 14th International Conference, TCC 2016-B (Vol. 9985 , pp. 367-399). Springer VS. https://doi.org/10.1007/978-3-662-53641-4_15

Hazay, C., Polychroniadou, A. & Venkitasubramaniam, M. (2017). Constant-Round Adaptively Secure Protocols in the Tamper-Proof Hardware Model. In S. Fehr (Ed.), Public-Key Cryptography – PKC 2017 - 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings: PKC 2017 (Vol. 10175, pp. 428-460 ). Springer VS. https://doi.org/10.1007/978-3-662-54388-7_15

Hazay, C., Scholl, P. & Soria-Vazquez, E. (2017). Low cost constant round MPC combining BMR and oblivious transfer. In T. Takagi & T. Peyrin (Eds.), Advances in Cryptology – ASIACRYPT 2017 - 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Proceedings (Vol. 10624, pp. 598-628). Springer VS. https://doi.org/10.1007/978-3-319-70694-8_21

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). TinyKeys: A New Approach to Efficient Multi-Party Computation. In H. Shacham & A. Boldyreva (Eds.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Vol. 10993, pp. 3-33). Springer VS. https://doi.org/10.1007/978-3-319-96878-0_1

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). Concretely Efficient Large-Scale MPC with Active Security (or, TinyKeys for TinyOT). In T. Peyrin & S. Galbraith (Eds.), Advances in Cryptology – ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Vol. 11274, pp. 86-117). Springer VS. https://doi.org/10.1007/978-3-030-03332-3_4

Hazay, C., López-Alt, A., Wee, H. & Wichs, D. (2013). Leakage-resilient cryptography from minimal assumptions. In T. Johansson & P. Nguyen (Eds.), Leakage-Resilient Cryptography from Minimal Assumptions: 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings (pp. 160-176). Springer VS. https://doi.org/10.1007/978-3-642-38348-9_10

Hazay, C., Scholl, P. & Soria-Vazquez, E. (2020). Low Cost Constant Round MPC Combining BMR and Oblivious Transfer. Journal of Cryptology, 33(4), 1732-1786. https://doi.org/10.1007/s00145-020-09355-y

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2022). TinyKeys: A New Approach to Efficient Multi-Party Computation. Journal of Cryptology, 35(2), Article 13. https://doi.org/10.1007/s00145-022-09423-5

Haxen, M., Raeburn, M., Afshani, P. & Karras, P. (2021). Centerpoint Query Authentication. In Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (pp. 3083-3087). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482072

Haverkort, H. & Walderveen, F. V. (2011). Four-dimensional hilbert curves for R-trees. Journal of Experimental Algorithmics, 16(3), article 3.4. http://delivery.acm.org.ez.statsbiblioteket.dk:2048/10.1145/2030000/2025380/a3_4-haverkort.pdf?ip=130.225.27.190&acc=ACTIVE%20SERVICE&CFID=87253851&CFTOKEN=10848781&__acm__=1330418603_15ea5ff6076f78ee33d5b69771abf5ef

Haulrik, N., Petersen, R. M. & Merritt, T. (2017). CADLens: Haptic feedback for navigating in 3D environments. In DIS 2017 Companion - Proceedings of the 2017 ACM Conference on Designing Interactive Systems (pp. 127-131). Association for Computing Machinery. https://doi.org/10.1145/3064857.3079132

Hatcliff, J. & Danvy, O. (1997). A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5), 507-541. https://doi.org/10.1017/S0960129597002405

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. Journal of Functional Programming, 7(3), 303-319.

Hatcliff, J. & Danvy, O. (1996). A computational formalization for partial evaluation. B R I C S Report Series, RS-96-34.

Hatcliff, J. & Danvy, O. (1996). Thunks and the λ-calculus. B R I C S Report Series, (RS-96-19).

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. B R I C S Report Series, (RS-97-7).

Haselwarter, P. G., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C., Sidorenco, N., Hriţcu, C., Maillard, K. & Spitters, B. (2023). SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Transactions on Programming Languages and Systems, 45(3), 61. Article 15. https://doi.org/10.1145/3594735

Haselwarter, P. G. & Bauer, A. (2023). Finitary Type Theories With and Without Contexts. Journal of Automated Reasoning, 67(4), Article 36. https://doi.org/10.1007/s10817-023-09678-y

Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C. & Spitters, B. (2024). The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. In A. Timany, D. Traytel, B. Pientka & S. Blazy (Eds.), CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 30-44). Association for Computing Machinery. https://doi.org/10.1145/3636501.3636961

Haselwarter, P. G., Li, K. H. E. I., Medeiros, M. D. E., Gregersen, S. O., Aguirre, A., Tassarotti, J. & Birkedal, L. (2024). Tachis: Higher-Order Separation Logic with Credits for Expected Costs. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), 1189 - 1218. Article 313. https://doi.org/10.1145/3689753

Haselwarter, P. G., Li, K. H., Aguirre, A., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2025). Approximate Relational Reasoning for Higher-Order Probabilistic Programs. Proceedings of the ACM on Programming Languages , 9(POPL), 1196-1226. Article 41. https://doi.org/10.1145/3704877

Harnik, D., Ishai, Y., Kushilevitz, E. & Nielsen, J. B. (2008). OT-Combiners Via Secure Computation. Lecture Notes in Computer Science, 4948, 393-411. https://doi.org/10.1007/978-3-540-78524-8_22

Hansen, K. A. (2004). Constant Width Planar Computation Characterizes ACC⁰. In V. Diekert & M. Habib (Eds.), STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings (pp. 44-55). Springer. https://doi.org/10.1007/978-3-540-24749-4_5

Hansen, K. A. & Miltersen, P. B. (2004). Some Meet-in-the-middle Circuit Lower Bounds. In J. Fiala, V. Koubek & J. Kratochvil (Eds.), Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings (pp. 334-345). Springer. https://doi.org/10.1007/978-3-540-28629-5_24

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2002). Circuits on Cylinders. Electronic Colloquium on Computational Complexity, (TR02-066).

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2003). Circuits on Cylinders. In Fundamentals of Computation Theory (pp. 171-182). Springer. https://doi.org/10.1007/978-3-540-45077-1_17

Hansen, K. M. (2003). Activity-Centred Tool Integration: Using Type-Based Publish/Subscribe for Peer-to-Peer Tool Integration. In A. Schürr & H. Dörr (Eds.), Proceedings of TIS 2003 Workshop on Tool Integration in System Development (pp. 11-16). Association for Computing Machinery.

Hansen, K. M. (2002). Experimental Object-Oriented Modelling. Department of Computer Science, Aarhus University. DAIMI PB No. 559

Hansen, K. M. (2001). Fluid Interfaces: Supporting Specific, General, and Minimal Interaction. In O. W. Bertelsen (Ed.), Proceedings of The First Danish Human-Computer Interaction Research Symposium (pp. 25-26). Departement of Computer Science, University of Aarhus.

Hansen, K. M. (2004). Thoth - A Publish/Subscribe Architecture for Peer-to-Peer Tool Integration. International Journal on Software Tools for Technology Transfer, 6(3), 219-230. https://doi.org/10.1007/s10009-004-0156-7

Hansen, K. M. & Christensen, H. B. (2004). Component Reengineering Workshops: A Low-Cost Approach for Assessing Specific Reengineering Costs Across Product Lines. In Proceedings of the 8th European Conference on Software Maintenance and Reengineering 2004 (pp. 154-162). IEEE Computer Society Press. https://doi.org/10.1109/CSMR.2004.1281416

Hansen, K. M., MacIntyre, B., Mynatt, E. D., Tullio, J. & Voida, S. (2001). Hypermedia in the Kimura System: Using Spacial, Temporal and Navigational Relationships to Support Multitasking and Background Awareness. In Proceedings of the twelfth ACM Conference on Hypertext and Hypermedia (Vol. Posters). ACM Press New York, NY, USA.

Hansen, K. M. & Ratzer, A. V. (2002). Tool Support for Collaborative Teaching and Learning of Object-Oriented Modelling. In Proceedings of the 7th annual conference on Innovation and technology in computer science education (pp. 146-150). Association for Computing Machinery. https://doi.org/10.1145/544414.544458

Hansen, T. R. (2004). Socio-Technical Experiments - A New Approach on the Design Process. Electronic Colloquium on Computational Complexity, (CfPC 2004-PP-57).

Hansen, T. R. & Bardram, J. E. (2005). ActiveTheatre - a Collaborative, Event-based Capture and Access System for the Operating Theatre. In UbiComp 2005 (pp. 375-392). Springer LNCS.

Hansen, F. A., Christensen, B. G. & Bouvin, N. O. (2005). RSS as a distribution medium for geo-spatial hypermedia. In Proceedings of the sixteenth ACM conference on Hypertext and hypermedia (pp. 254-256). Association for Computing Machinery. https://doi.org/10.1145/1083356.1083410

Hansen, F. A. (2005). Representing Context in Hypermedia Data Models. In International Workshop on Context in Mobile HCI http://mobilehci.icts.sbg.ac.at/context/papers/hansen.pdf

Hansen, K. A. & Chattopadhyay, A. (2005). Lower Bounds for Circuits with Few Modular and Symmetric Gates. In L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi & M. Yung (Eds.), Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings (pp. 994-1005). Springer. https://doi.org/10.1007/11523468_80

Displaying results 2551 to 2600 out of 5647

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University