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

Dodds, M., Jagannathan, S., Parkinson, M. J., Svendsen, K. & Birkedal, L. (2016). Verifying custom synchronisation constructs using higher-order separation logic. ACM Transactions on Programming Languages and Systems, 38/2(2), 4:1 - 4:72. Article 4. https://doi.org/10.1145/2818638

Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021). Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In A. L. Lafuente & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems (pp. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1

Jørgensen, J. B. & Kristensen, L. M. (2003). Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. LINCOM Studies in Computer Science, (1), 17-34.

Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O., Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022). Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. International Journal on Software Tools for Technology Transfer, 24(6), 999-1024. https://doi.org/10.1007/s10009-022-00686-8

Branzei, S. & Procaccia, A. D. (2015). Verifiably Truthful Mechanisms. In T. Roughgarden (Ed.), Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS '15 (pp. 297-306 ). Association for Computing Machinery. https://doi.org/10.1145/2688073.2688098

Aranha, D. F., Baum, C., Gjøsteen, K. & Silde, T. (2023). Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. In CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (pp. 1467-1481). Association for Computing Machinery. https://doi.org/10.1145/3576915.3616683

Camenisch, J. & Damgård, I. B. (2000). Verifiable Encryption, Group Encryption, and Their Applications to Separable Group Signatures and Signature Sharing Schemes (Extended Abstract). In T. Okamoto (Ed.), Advances in Cryptology - ASIACRYPT 2000: 6th International Conference on the Theory and Application of Cryptology and Information Security Kyoto, Japan, December 3-7, 2000 Proceedings (pp. 331-345). Springer. https://doi.org/10.1007/3-540-44448-3_25

Ateniese, G., Chen, L., Francati, D., Papadopoulos, D. & Tang, Q. (2023). Verifiable Capacity-Bound Functions: A New Primitive from Kolmogorov Complexity: (Revisiting Space-Based Security in the Adaptive Setting). In A. Boldyreva & V. Kolesnikov (Eds.), Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part II (pp. 63-93). Springer. https://doi.org/10.1007/978-3-031-31371-4_3

Blunck, H., Hinrichs, K., Puke, I. & Vahrenhold, J. (2004). Verarbeitung von Trajektorien mobiler Objekte. In Geoinformation und Mobilität - von der Forschung zur praktischen Anwendung. : Beiträge zu den Münsteraner GI-Tagen 2004 (pp. 29-40)

Fender, A. & Müller, J. (2018). Velt: A Framework for Multi RGB-D Camera Systems. In Proceedings of the 2018 ACM International Conference on Interactive Surfaces and Spaces (pp. 73-83). Association for Computing Machinery. https://doi.org/10.1145/3279778.3279794

Campanelli, M. & Hall-Andersen, M. (2022). Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets fromWell-Studied Assumptions. In ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (pp. 652-666). Association for Computing Machinery. https://doi.org/10.1145/3488932.3517424

Schougaard, K. R. (2007). Vehicular Mobility Prediction by Bayesian Networks. (pp. 1-7). Department of Computer Science, University of Aarhus.

Brønsted, J. R. (2008). Vehicle to Vehicle Services: Service oriented architecture for pervasive computing systems with emphasis on vehicle to vehicle applications.

Ceikute, V. & Jensen, C. S. (2013). Vehicle Routing With User Generated Trajectory Data. http://www.sciencegate.ch/. http://nelanth.cvt.dk/cgi-bin/das-oai/ddf

Attema, T., Cascudo, I., Cramer, R., Damgård, I. & Escudero, D. (2022). Vector Commitments over Rings and Compressed Σ -Protocols. In E. Kiltz & V. Vaikuntanathan (Eds.), Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (Vol. Part 1, pp. 173-202). Springer. https://doi.org/10.1007/978-3-031-22318-1_7

Borowski, M., Murray, L., Bagge, R., Kristensen, J. B., Satyanarayan, A. & Klokmose, C. N. (2022). Varv: Reprogrammable Interactive Software as a Declarative Data Structure. In CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Article 492 Association for Computing Machinery. https://doi.org/10.1145/3491102.3502064

Hansen, K. M. (2005). Various Ideogramic products. Computer programme

Jørgensen, J. B., Knudsen, B., Sloth, L., Vase, J. R. & Christensen, H. B. (2016). Variability Handling for Mobile Banking Apps on iOS and Android. In Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (pp. 283-286). Article 7516847 IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2016.29

Bhandari, S., Harsha, P., Saptharishi, R. & Srinivasan, S. (2022). Vanishing Spaces of Random Sets and Applications to Reed-Muller Codes. In S. Lovett (Ed.), 37th Computational Complexity Conference, CCC 2022 Article 31 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CCC.2022.31

Petersen, M. G. & Rasmussen, M. K. (2011). Value representations: a value based dialogue tool. In making Design Matter! : Proceedings Nordes '11 : the Nordic 4th Nordic Design Research Conference (pp. 284-287). School of Art & Design, Aalto University . http://ocs.sfu.ca/nordes/index.php/nordes/2011/paper/view/445

Nielsen, B. B. & Møller, A. (2020). Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. In 34th European Conference on Object-Oriented Programming, ECOOP 2020 Article 16 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2020.16

S. Fitzgerald, J., Gorm Larsen, P., Tjell, S. & Verhoef, M. (2007). Validation Support for Distributed Real-Time Embedded Systems in VDM++. In Proceedings of the Tenth IEEE International Symposium on High Assurance Software Engineering (HASE 2007) (pp. 331-340). IEEE Computer Society Press.

Shaik, I., Heisinger, M., Seidl, M. & Pol, J. V. D. (2023). Validation of QBF Encodings with Winning Strategies. Leibniz International Proceedings in Informatics, 271. https://doi.org/10.4230/LIPIcs.SAT.2023.24

Winge, K., Haugaard, R. & Merritt, T. R. (2014). VAL: Visually Augmented Laser cutting to enhance and support creativity. In IEEE International Symposium on Mixed and Augmented Reality - Media, Arts, Social Science, Humanities and Design, ISMAR 2014, Proceedings (pp. 31-34). Article 6935435 IEEE. https://doi.org/10.1109/ISMAR-AMH.2014.6935435

Bødker, S. (1985). UTOPIA and the Design of User Interfaces. In Precedings of the Working Conference on Development and Use of Computer-based Systems and Tools (pp. 109-124). Department of COmputer Science, Aarhus University.

Christensen, H. B. (1998). Utilising a Geographic Space Metaphor in a Software Development Environment. In Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction (pp. 39-56). Klüwer.

Kristensen, M. D. & Bouvin, N. O. (2010). Using Wi-Fi to Save Energy via P2P Remote Execution. In 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops 2010). Proceedings (pp. 123-128). IEEE. https://doi.org/10.1109/PERCOMW.2010.5470614

Cahill, V., Gray, E., Seigneur, J., Jensen, C., Chen, Y., Shand, B., Dimmock, N., Twigg, A., Bacon, J., English, C., Wagealla, W., Terzis, S., Nixon, P., Serugendo, G. D. M., Bryce, C., Carbone, M., Krukow, K. & Nielsen, M. (2003). Using trust for Secure Collaboration in Uncertain Environments. I E E E Pervasive Computing, 2(3), 52-61. https://doi.org/10.1109/MPRV.2003.1228527

Baum, C., Cozzo, D. & P. Smart, N. (2020). Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ. In K. G. Paterson & D. Stebila (Eds.), Selected Areas in Cryptography – SAC 2019 - 26th International Conference, Revised Selected Papers: 26th International Conference, Waterloo, ON, Canada, August 12–16, 2019, Revised Selected Papers (pp. 274-302). Springer. https://doi.org/10.1007/978-3-030-38471-5_12

Brabrand, C. & Dahl, B. (2009). Using the SOLO taxonomy to Analyze competence progression of university science curricula. Higher Education, 58(4), 531-549. https://doi.org/10.1007/s10734-009-9210-4

Simonsen, M., Sand, A., Mailund, T. & Pedersen, C. N. S. (2010). Using the Power of Modern Processors in Bioformatics. Poster session presented at Conference on IT research at AU, Århus, Denmark.

Madsen, O. L. & Møller-Pedersen, B. (2022). Using supplementary properties to reduce the need for documentation. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings: Software Engineering (pp. 35-59). Springer. https://doi.org/10.1007/978-3-031-19756-7_4

Christensen, H. B. (2022). Using Students’ Screencasts as Alternative to Written Submissions. In Proceedings of the 55th Hawaii International Conference on System Sciences (pp. 881-889). University of Hawai'i at Manoa . http://hdl.handle.net/10125/79440

Christensen, H. B. (2003). Using Software Architectures for Designing Distributed Embedded Systems. Department of Computer Science, Aarhus University.

Hansen, T. R., Eklund, J. M., Sprinkle, J., Bajcsy, R. & Sastry, S. (2005). Using Smart Sensors and a Camera Phone to Detect and Verify the Fall of Elderly Persons. In Proceedings of 3rd European Medical and Biological Engineering Conference: EMBEC 2005 (pp. 2486-2487). IFMBE.

Sandel, B. S., Corbin, J. & Krupa, M. (2011). Using plant functional traits to guide restoration: A case study in California coastal grassland. Ecosphere, 2(2), 1-16.

Madsen, O. L. (2023). Using Object-Sequence Diagrams for Debugging. In E. Gonzalez Boix & C. Scholliers (Eds.), DEBT 2023: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques (pp. 11-22). Association for Computing Machinery. https://doi.org/10.1145/3605155.3605864

Madsen, O. L. & Knudsen, J. L. (1996). Using Object-Orientation as a Common Basis for System Development Education. SIGPLAN Notices, 31(12), 52-62. https://doi.org/10.1145/242604.242618

Christensen, H. B. (2002). Using Logic Programming to Detect Activities in Pervasive Healthcare. In P. J. Stuckey (Ed.), Logic Programming: 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings (2401 ed., pp. 185-199). Springer. https://doi.org/10.1007/3-540-45619-8_29

Bødker, S. (2015). Using IT to ‘do good’ in communities? Journal of Community Informatics, 11(2). http://www.ci-journal.net/index.php/ciej/article/view/1151

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2011). Using Inverted Indices for Accelerating LINGO Calculations. Journal of Chemical Information and Modeling, 51(3), 597-600. https://doi.org/10.1021/ci100437e

Yang, B., Kaul, M. & Jensen, C. S. (2014). Using Incomplete Information for Complete Weight Annotation of Road Networks. I E E E Transactions on Knowledge & Data Engineering, 26(5), 1267-1279. https://doi.org/10.1109/TKDE.2013.89

Lassen, K. B. (2008). Using Formal Behavioral Modelsin Software Development:From Real-World Problems to Software Systems. Aarhus Universitetsforlag.

Andersen, M. S., Kjærgaard, M. B. & Grønbæk, K. (2012). Using Extracted Behavioral Features to Improve Privacy for Shared Route Tracks. In A. U. Schmidt, G. Russello, I. Krontiris & S. Lian (Eds.), Security and Privacy in Mobile Information and Communication Systems : 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers (pp. 107-118). Springer. https://doi.org/10.1007/978-3-642-33392-7_12

Lehmann, A. & Gross, A. (2016). Using Crowd Sensed Data as Input to Congestion Model. In 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016: The Third International Workshop on Crowd Assisted Sensing Pervasive Systems and Communications Article 7457105 IEEE Press. https://doi.org/10.1109/PERCOMW.2016.7457105

Čermák, J., Bosansky, B., Durkota, K., Lisý, V. & Kiekintveld, C. (2016). Using correlated strategies for computing stackelberg equilibria in extensive-form games. In 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (pp. 439-445). AAAI Press. https://www.scopus.com/inward/record.uri?eid=2-s2.0-85007242893&partnerID=40&md5=d6d209b2094ebcd4dd19608badb7e971

Madsen, O. L. (2021). Using Coroutines for Multi-core Preemptive Scheduling. In Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS '21) (pp. 46-52). Association for Computing Machinery. https://doi.org/10.1145/3477113.3487271

Zhang, W. & Hansen, K. M. (2011). Using Context Awareness for Self Management in Pervasive Service Middleware. In F. Mastrogiovanni & N.-Y. Chong (Eds.), Handbook of Research on Ambient Intelligence and Smart Environments Trends and Perspectives (pp. 248-271). Idea Group Publishing. http://www.igi-global.com/book/handbook-research-ambient-intelligence-smart/41775#table-of-contents

Kristensen, L. M. (2004). Using Coloured Petri Nets in the Development of Protocols for Ad-Hoc Networking. In Proceedings of 3rd International Workshop on Integration and Specification Techniques for Applications in Engineering (pp. 12-13)

Mailund, T., Halager, A. E. & Westergaard, M. (2012). Using colored Petri nets to construct coalescent hidden markov models: Automatic translation from demographic specifications to efficient inference methods. Lecture Notes in Computer Science, 7347, 32-50. https://doi.org/10.1007/978-3-642-31131-4_3

Displaying results 151 to 200 out of 5406

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University