Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Mu, Q., Borowski, M., Grønbæk, J. E., Bødker, S. & Hoggan, E. (2024). Whispering Through Walls: Towards Inclusive Backchannel Communication in Hybrid Meetings. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Artikel 1032 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3613904.3642419

Mottin, D., Marascu, A., Basu Roy, S., Das, G., Palpanas, T. & Velegrakis, Y. (2013). A Probabilistic Optimization Framework for the Empty-Answer Problem. PVLDB, 6(14).

Mottin, D., Palpanas, T. & Velegrakis, Y. (2013). Entity ranking using click-log information. Intelligent Data Analysis, 17(5), 837-856.

Mottin, D., Lissandrini, M., Velegrakis, Y. & Palpanas, T. (2019). Exploring the Data Wilderness through Examples. I SIGMOD 2019 - Proceedings of the 2019 International Conference on Management of Data (s. 2031-2035). Association for Computing Machinery. https://doi.org/10.1145/3299869.3314031

Mortensen, D. H., Hepworth, S. J., Berg, K. S. & Petersen, M. G. (2012). "It's in Love with You". Communicating Status and Preference with Simple Product Movements. I CHI EA '12: Extended abstracts on Human Factors in Computing Systems (s. 61-70). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212784

Mortensen, M. L., Chester, S., Assent, I. & Magnani, M. (2015). Efficient caching for constrained skyline queries. I International Conference on Extending Database Technology (EDBT 2015) (s. 337-348). openproceedings.org. https://doi.org/10.5441/002/edbt.2015.30

Mortensen, M. L. (2016). Multi-Criteria Decision Support Queries in Exploratory & Open World Settings.

Mortensen, K. O., Zardbani, F., Haque, M. A., Agustsson, S. Y., Mottin, D., Hofmann, P. & Karras, P. (2023). Marigold: Efficient k-means Clustering in High Dimensions. Proceedings of the VLDB Endowment, 16(7), 1740-1748. https://doi.org/10.14778/3587136.3587147

Moreira, J. M. M., Jensen, C. S., Dias, P. & Mesquita, P. (2013). Creating data representations for moving objects with extent from images. I Presented at the COST MOVE Workshop at Moving Objects at Sea, Brest, France, June 28–29, 2013

Moradan, A., Draganov, A., Mottin, D. & Assent, I. (2021). UCoDe: Unified Community Detection with Graph Convolutional Networks. ArXiv. https://doi.org/10.48550/arXiv.2112.14822

Moradan, A., Draganov, A., Mottin, D. & Assent, I. (2023). UCoDe: unified community detection with graph convolutional networks. Machine Learning, 112(12), 5057-5080. https://doi.org/10.1007/s10994-023-06402-0

Moradan, A. (2024). On the Expressiveness of Community Detection in Complex Networks. Aarhus University.

Moon, B., Jun, J. Y., Lee, J., Kim, K., Hachisuka, T. & Yoon , S. E. (2013). Robust Image Denoising using a Virtual Flash Image for Monte Carlo Ray Tracing. Computer Graphics Forum, 32(1), 139–151. https://doi.org/10.1111/cgf.12004

Monti, C., Manco, G., Aslay, C. & Bonchi, F. (2021). Learning Ideological Embeddings from Information Cascades. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 1325-1334). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482444

Møller-Nielsen, P. (2022). Undersøgelser omkring analyse og manipulation af musik og tale: En antologi.

Møller-Nielsen, P. (2022). Two Extensions of a Phase Vocoder.

Møller, A. & Schwarz, M. (2012). Automated Detection of Client-State Manipulation Vulnerabilities. I M. Glinz, G. Murphy & M. Pezzè (red.), 34th International Conference on Software Engineering (ICSE 2012) : Proceedings (s. 749 - 759 ). IEEE Communications Society. https://doi.org/10.1109/ICSE.2012.6227143

Møller, A. & Schwarz, M. R. (2014). Automated Detection of Client-State Manipulation Vulnerabilities. A C M Transactions on Software Engineering and Methodology, 23/4, Artikel 29. https://doi.org/10.1145/2531921

Møller, A. & Naik, M. (2015). SOAP'15: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. I Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2771284

Møller, A. (2018). Technical Perspective: WebAssembly: A Quiet Revolution of the Web. Communications of the A C M, 61(12), 106-106. https://doi.org/10.1145/3282508

Møller, A. & Torp, M. T. (2019). Model-based testing of breaking changes in Node.js libraries. I S. Apel, M. Dumas, A. Russo & D. Pfahl (red.), ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (s. 409-419). Association for Computing Machinery. https://doi.org/10.1145/3338906.3338940

Møller, A. & Veileborg, O. H. (2020). Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization. Proceedings of the ACM on Programming Languages , 4(OOPSLA), Artikel 168. https://doi.org/10.1145/3428236

Møller, A. & Sridharan, M. (red.) (2021). 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). I A. Møller & M. Sridharan (red.), 35th European Conference on Object-Oriented Programming (ECOOP 2021) (s. vii-ix). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2021.0

Mogensen, P. H. & Wollsen, S. (2014). Participatory Realisation? PD in a complex, large-scale, and commercial context. I O. S. Iversen, H. Winschiers-Theophilus, V. D'Andrea, A. Clement, A. Botero & K. Bødker (red.), Proceedings of the 13th Participatory Design Conference, PDC '14 : Research Papers (s. 21-30 (Vol. 1)). Association for Computing Machinery. https://doi.org/10.1145/2661435.2661443

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T., Odgaard, M. V., Nygaard, B. & Svenning, J.-C. (2013). Topographically controlled soil moisture is the primary driver of local vegetation patterns across a lowland region. Ecosphere (Washington, D.C.), 4(7), Artikel 91. https://doi.org/10.1890/ES13-00134.1

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B. & Bouabdallah, N. (2011). Load Balancing Metric with Diversity for Energy Efficient Routing in Wireless Sensor Networks. Procedia Computer Science, 5, 804-811. https://doi.org/10.1016/j.procs.2011.07.110

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B. & Bouabdallah, N. (2011). WETX: A Weighted Expected Transmission Routing Metric for Diversity in Wireless Sensor Networks. I Wireless Days (WD), 2011 IFIP (s. 1-7). IEEE. https://doi.org/10.1109/WD.2011.6098162

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B., Bouabdallah, N. & Ksentini, A. (2012). On balancing between minimum energy and minimum delay with radio diversity for wireless sensor networks. I 2012 IFIP Wireless Days (WD) (s. 1 - 6 ). IEEE Press. https://doi.org/10.1109/WD.2012.6402840

Mitchell, R., Fender, A. & Mueller, F. F. (2016). HandyFeet: Social Bodily Play Via Split Control of a Human Puppet's Limbs. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (s. 506-511). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856531

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Head Up Visualization of Spatial Sound Sources in Virtual Reality for Deaf and Hard-of-Hearing People. I Proceedings - 2021 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2021 (s. 582-587). Artikel 9417788 IEEE. https://doi.org/10.1109/VR50410.2021.00083

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Multi-modal Spatial Object Localization in Virtual Reality for Deaf and Hard-of-Hearing People. I Proceedings - 2021 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2021 (s. 588-596). Artikel 9417786 IEEE. https://doi.org/10.1109/VR50410.2021.00084

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Effects of Using Vibrotactile Feedback on Sound Localization by Deaf and Hard-of-Hearing People in Virtual Environments. Electronics, 10(22), Artikel 2794. https://doi.org/10.3390/electronics10222794

Miruchna , V., Walter , R., Lindlbauer , D., Lehmann , M., Klitzing, R. V. & Müller, J. (2015). GelTouch: Localized Tactile Feedback Through Thin, Programmable Gel. I UIST '15 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology (s. 3-10 ). Association for Computing Machinery. https://doi.org/10.1145/2807442.2807487

Miltersen, P. B. & Sheffet, O. (2012). Send mixed signals : earn more, work less. I B. Faltings, K. Leyton-Brown & P. Ipeirotis (red.), EC '12 Proceedings of the 13th ACM Conference on Electronic Commerce (s. 234-247). Association for Computing Machinery. https://doi.org/10.1145/2229012.2229033

Miltersen, P. B. (2013). Recent results on howard's algorithm. I A. Kučera (red.), Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (s. 53-56). Springer VS. https://doi.org/10.1007/978-3-642-36046-6_6

Miltersen, P. B. (2014). Leibniz International Proceedings in Informatics: Invited talk. Leibniz International Proceedings in Informatics, 25, 11-12. https://doi.org/10.4230/LIPIcs.STACS.2014.11

Miltersen, P. B. (2014). Semi-algebraic geometry in computational game theory - A consumer's perspective: Invited Talk. I E. W. Mayr & N. Portier (red.), 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014) (s. 11-12). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2014.11

Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B. (2022). Finding smart contract vulnerabilities with ConCert's property-based testing framework. FMBC: Formal Methods for Blockchains https://doi.org/10.48550/arXiv.2208.00758

Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B. (2022). Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. I Z. Dargaye & C. Schneidewind (red.), 4th International Workshop on Formal Methods for Blockchains (FMBC 2022) Dagstuhl Publishing. https://doi.org/10.4230/OASIcs.FMBC.2022.2

Mikkelsen, G. L. (2011). On the Protection of Digital Identities Through Threshold Cryptography. Department of Computer Science, Aarhus University.

Mikkelsen, G. L., Keller, M. & Rupp, A. (2012). Efficient Threshold Zero-Knowledge with Applications to User-Centric Protocols. Lecture Notes in Computer Science, 7412, 147-166 . https://doi.org/10.1007/978-3-642-32284-6_9

Midtgaard, J. (2012). Control-flow analysis of functional programs. A C M Computing Surveys, 44(3), 10:1 - 10:33. https://doi.org/10.1145/2187671.2187672

Midtgaard, J. & Jensen, T. P. (2012). Control-flow analysis of function calls and returns by abstract interpretation. Information and Computation, 211, 49-76. https://doi.org/10.1016/j.ic.2011.11.005

Midtgaard, J., Adams, M. D. & Matthew , M. (2012). A Structural Soundness Proof for Shivers's Escape Technique: A Case for Galois Connections . Lecture Notes in Computer Science, 7460, 352-369. https://doi.org/10.1007/978-3-642-33125-1_24

Midtgaard, J. & Might, M. (red.) (2012). Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2012. Elsevier. https://doi.org/10.1016/j.entcs.2012.09.001

Midtgaard, J. & Might, M. (2012). Preface. Elsevier. https://doi.org/10.1016/j.entcs.2012.09.001

Midtgaard, J., Ramsay, N. & Larsen, B. (2013). Engineering Definitional Interpreters. I T. Schrijvers & R. Peña (red.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming , PPDP '13 (s. 121-132). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505894

Midtgaard, J., Brabrand, C. & Wasowski , A. (2014). Systematic Derivation of Static Analyses for Software Product Lines. I W. Binder (red.), MODULARITY '14 Proceedings of the 13th international conference on Modularity (s. 181-192 ). Association for Computing Machinery. https://doi.org/10.1145/2577080.2577091

Midtgaard, J. & Møller, A. (2015). QuickChecking Static Analysis Properties. I 8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015 (s. 1-10). IEEE. https://doi.org/10.1109/ICST.2015.7102603

Midtgaard, J. & Møller, A. (2017). QuickChecking static analysis properties. Software Testing, Verification and Reliability, 27(6), Artikel e1640. https://doi.org/10.1002/stvr.1640

Viser resultater 801 til 850 ud af 2959

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series