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

Nygaard, M., Winskel, G., Amadio, R. (Ed.) & Lugiez, D. (Ed.) (2003). Full Abstraction for HOPLA. In G. Goos, J. van Leeuwen & J. Hartmanis (Eds.), Lecture Notes in Computer Science: Concur 2003 - Concurrency Theory (Vol. 2761. Mobility, pp. 383-398). Springer.

Nygaard, M., Winskel, G., Brim, L. (Ed.), Jancar, P. (Ed.), Kretínsky, M. (Ed.) & Kucera, A. (Ed.) (2002). HOPLA: A Higher-Order Process Language. In Lecture Notes in Computer Science: Proceedings of the 13th International Conference on Concurrency Theory (Vol. 2421, pp. 434-448). Springer.

Nygaard, M., Winskel, G. & Plotkin, G. (Ed.) (2002). Linearity in Process Languages. In Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02) (pp. 433-446). IEEE Press.

Nyborg, J. C. & Assent, I. (2021). Weakly-Supervised Cloud Detection with Fixed-Point GANs. IEEE Transactions on Big Data, 4191-4198. https://doi.org/10.1109/BigData52589.2021.9671405

Nyborg, J. C., Pelletier, C., Lefevre, S. & Assent, I. (2022). TimeMatch: Unsupervised Cross-Region Adaptation by Temporal Shift Estimation. ISPRS Journal of Photogrammetry and Remote Sensing, 188, 301-313. https://doi.org/10.1016/j.isprsjprs.2022.04.018

Nyborg, J. C., Pelletier, C. & Assent, I. (2022). Generalized Classification of Satellite Image Time Series with Thermal Positional Encoding. In Proceedings - 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2022 (pp. 1391-1401). IEEE. https://doi.org/10.1109/CVPRW56347.2022.00145

Nyborg, J. C. (2022). Deep Learning for Remote Sensing in Precision Agriculture: Large-scale and label-efficient methods for satellite image data. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Nunnari, F., Bachynskyi, M. & Heloir, A. (2016). Introducing postural variability improves the distribution of muscular loads during mid-air gestural interaction. In Motion in Games 2016: 9th International Conference on Motion in Games, MIG 2016 (pp. 155-160). Article 2994278 Association for Computing Machinery. https://doi.org/10.1145/2994258.2994278

Nunes, F., Verdezoto, N., Fitzpatrick, G., Kyng, M., Grönvall, E. & Storni, C. (2015). Self-Care Technologies in HCI: Trends, Tensions, and Opportunities. ACM Transactions on Computer-Human Interaction, 22(6), Article 33. https://doi.org/10.1145/2803173

Nüchel, J., Bøcher, P. K. & Svenning, J.-C. (2015). Present and potential distribution of Snub-nosed Monkey. Poster session presented at International Biogeography Society: 7th Biennial Conference, Bayreuth, Germany.

Nouwens, M., Borowski, M., Fog, B. V. & Klokmose, C. N. (2020). Between Scripts and Applications: Computational Media for the Frontier of Nanoscience. In CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Article 3376287 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376287

Nouwens, M., Bagge, R., Kristensen, J. B. & Klokmose, C. N. (2022). Consent-O-Matic: Automatically Answering Consent Pop-ups Using Adversarial Interoperability. In CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems Article 238 Association for Computing Machinery. https://doi.org/10.1145/3491101.3519683

Nørregaard, P., Dindler, C., Fritsch, J., Iversen, O. S., Nielsen, C. & Andersen, J. (2003). NetWorking News - A Method for Engaging Children Actively In Design. In Proceedings for the 26th Information Systems Research Seminar in Scandinavia (IRIS 26)

Nørgaard, M., Merritt, T. R., Rasmussen, M. & Petersen, M. G. (2013). Exploring the design space of shape-changing objects: imagined physics. In Proceedings of the 6th International Conference on Designing Pleasurable Products and Interfaces (pp. 251-260 ). Association for Computing Machinery. https://doi.org/10.1145/2513506.2513533

Nordstrøm Rasmussen, C., Pakanen, M. A. & Petersen, M. G. (2021). Designing Socially Acceptable Light Therapy Glasses for Self-managing Seasonal Affective Disorder. In J. Häkkilä, P. Lopes, T. Kosch, J. Nishida, P. Strohmeier & Y. Abdelrahman (Eds.), Proceedings - AHs 2021: Augmented Humans Conference 2021 (pp. 307-312). Association for Computing Machinery. https://doi.org/10.1145/3458709.3458995

Nordholt, P. S. (2013). New Approaches to Practical Secure Two-Party Computation. Institut for Datalogi, Aarhus Universitet.

Nonnemann, L., Hogräfer, M., Schumann, H., Urban, B. & Schulz, H.-J. (2021). Customizable Coordination of Independent Visual Analytics Tools. In J. Bernard & K. Vrotsou (Eds.), Proceedings of the 12th International EuroVis Workshop on Visual Analytics (EuroVA) (pp. 25-29). Eurographics Association. https://doi.org/10.2312/eurova.20211094

Nonnemann, L., Schumann, H., Urban, B., Aehnelt, M. & Schulz, H.-J. (2020). A Characterization of Data Exchange between Visual Analytics Tools. In 2020 24th International Conference Information Visualisation, IV 2020 (pp. 368-377). Article 9373163 IEEE. https://doi.org/10.1109/IV51561.2020.00066

Nonnemann, L., Hogräfer, M., Röhlig, M., Schumann, H., Urban, B. & Schulz, H.-J. (2022). A Data-Driven Platform for the Coordination of Independent Visual Analytics Tools. Computers & Graphics, 106, 152-160. https://doi.org/10.1016/j.cag.2022.05.023

Noe, K. Ø., Tanderup, K., Kiritsis, C., Dimopoulos, J., Sørensen, T. S., Lindegaard, J. & Grau, C. (2006). Accelerated Deformable Registration of Repetitive MRI during Radiotherapy in Cervical Cancer. In J. Overgaard (Ed.), Radiotherapy & Oncology: Journal of the European Society for Therapeutic Radiology and Oncology (Vol. Volume 81 Supplement 1, pp. 210-211). Pergamon Press.

Noe, K. Ø., De Senneville, B. D., Elstrøm, U. V., Tanderup, K. & Sørensen, T. S. (2008). Acceleration and validation of optical flow based deformable registration for image-guided radiotherapy. Acta Odontologica Scandinavica, 47(7), 1286-1293. https://doi.org/10.1080/02841860802258760

Noe, K. Ø., Denis de Senneville, B., Tanderup, K. & Sørensen, T. S. (2008). Significantly reducing registration time in IGRT using graphics processing units. Radiotherapy & Oncology, (2), 377.

Noe, K. Ø. & Sørensen, T. S. (2010). Solid Mesh Registration for Radiotherapy Treatment Planning. Lecture Notes in Computer Science, 5958, 59-70. https://doi.org/10.1007/978-3-642-11615-5_7

Noe, K. Ø. (2009). Deformable Image Registration for Use in Radiotherapy: Using GPU Acceleration. Aarhus Universitetsforlag.

Noe, K. Ø., Mosegaard, J., Tanderup, K. & Sørensen, T. S. (2008). A framework for shape matching in deformable image registration. In Medicine Meets Virtual Reality 16 (pp. 333-337). IOS Press.

Noe, K. Ø., Tanderup, K., Lindegaard, J. C., Grau, C. & Sørensen, T. S. (2008). GPU accelerated viscous-fluid deformable registration for radiotherapy. In Medicine Meets Virtual Reality 16 (pp. 327-32). IOS Press.

Niu, Y., Sterling, J., Grodin, H. & Harper, R. (2022). A cost-Aware logical framework. Proceedings of the ACM on Programming Languages , 6(POPL), Article 3498670. https://doi.org/10.1145/3498670

Niu, S., Lu, Z., Zhang, A. X., Cai, J., Griggio, C. F. & Heuer, H. (2023). Building Credibility, Trust, and Safety on Video-Sharing Platforms. In A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson & A. Peters (Eds.), Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, CHI EA 2023, Hamburg, Germany, April 23-28, 2023 (pp. 337:1-337:7). Article 337 ACM. https://doi.org/10.1145/3544549.3573809

Nitulescu, A. (2019). Lattice-Based Zero-Knowledge SNARGs for Arithmetic Circuits. In P. Schwabe & N. Thériault (Eds.), Progress in Cryptology – LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Proceedings (pp. 217-236). Springer. https://doi.org/10.1007/978-3-030-30530-7_11

Nissim, K., Orlandi, C. & Smorodinsky, R. (2012). Privacy-aware mechanism design. In B. Faltings (Ed.), Proceedings of the ACM Conference on Electronic Commerce, EC '12 (pp. 774-789). Association for Computing Machinery. https://doi.org/10.1145/2229012.2229073

Nilsson, J. (2007). Combinatorial Algorithms for Graphs and Partially Ordered Sets. Department of Computer Science.

Nilges, T. (2016). Efficient Resettably Secure Two-Party Computation. http://eprint.iacr.org/2016/1009

Nieto Rodriguez, A. (2023). Conflict-free Replicated Data Types have Abstract Data Types. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Nieto, A., Gondelman, L., Reynaud, A., Timany, A. & Birkedal, L. (2022). Modular verification of op-based CRDTs in separation logic. Proceedings of the ACM on Programming Languages , 6(OOPSLA2), 1788-1816. Article 188. https://doi.org/10.1145/3563351

Nieto, A., Daby-Seesaram, A., Gondelman, L., Timany, A. & Birkedal, L. (2023). Modular Verification of State-Based CRDTs in Separation Logic. In K. Ali & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Article 22 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.22

Nielsen, J. B. (2002). A Threshold Pseudorandom Function Construction and Its Applications. In M. Yung (Ed.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (pp. 43-59). Springer. https://doi.org/10.1007/3-540-45708-9_26

Nielsen, J. B. (2001). Non-Committing Encryption is Too Easy in the Random Oracle Model. BRICS Report Series, (RS-01-47).

Nielsen, J. B. (2002). Separating Random Oracle Proofs from Complexity Theoretic Proofs: The Non-Committing Encryption Case. In M. Yung (Ed.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (pp. 191-214). Springer. https://doi.org/10.1007/3-540-45708-9_8

Nielsen, M., Paun, G., Rozenberg, G. & Salomaa, A. (Eds.) (2001). Current Trends in Theoretical Computer Science Entering the 21st Century: Concurrency. World Scientific.

Nielsen, M. (Ed.) (2004). Current Trends in Theoretical Computer Science - The Challenge of the New Century: Concurrency. World Scientific.

Nielsen, M. (2001). Modelling with Partial Orders - Why and Why Not? In F. Orejas, P. G. Spirakis & J. van Leeuwen (Eds.), Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings (pp. 61-63). Springer. https://doi.org/10.1007/3-540-48224-5_5

Nielsen, M., Krukow, K., Karhumäki, J. (Ed.), Maurer, H. A. (Ed.), Paun, G. (Ed.) & Rozenberg, G. (Ed.) (2004). On the Formal Modeling of Trust in Reputation-Based Systems. In Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (pp. 192-204). Springer. https://doi.org/10.1007/978-3-540-27812-2_18

Nielsen, M., Palamidessi, C. & Valencia Posso, F. D. (2002). A Calculus for Temporal Concurrent Constraint Programming. Electronic Notes in Theoretical Computer Science, (1), A-59.

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). On the Expressive Power of Temporal Concurrent Constraint Programming Languages. In Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming (pp. 156-167). Association for Computing Machinery. https://doi.org/10.1145/571157.571173

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(2), 145-188.

Nielsen, M., Sassone, V. & Srba, J. (2001). Properties of Distributed Timed-Arc Petri Nets. In R. Hariharan, V. Vinay & M. Mukund (Eds.), FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference Bangalore, India, December 13-15, 2001 Proceedings (pp. 280-291). Springer. https://doi.org/10.1007/3-540-45294-X_24

Nielsen, M., Sassone, V. & Srba, J. (2001). Towards a Notion of Distributed Time for Petri Nets. In J.-M. Colom & M. Koutny (Eds.), Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings (pp. 23-31). Springer. https://doi.org/10.1007/3-540-45740-2_3

Nielsen, M. & Valencia, F. D. (2001). Temporal Concurrent Constraint Programming: Applications and Behavior. BRICS Report Series, (RS-01-48).

Nielsen, M. & Valencia Posso, F. D. (2002). Temporal Concurrent Constraint Programming: Applications and Behavior. In W. Brauer, H. Ehrig, J. Karhumäki & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (pp. 298-324). Springer. https://doi.org/10.1007/3-540-45711-9_17

Nielsen, M. B., Brodersen, A. T. & Skala, V. (Ed.) (2004). Inverse Rendering of Polished Materials under Constant Complex Uncontrolled Illumination. In Journal of WSCG (pp. 309-316). UNION Agency - Science Press, Plzen, Czech Republic.

Displaying results 1151 to 1200 out of 5927

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University