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

Sheng, Q. Z., Wang, G., Jensen, C. S. & Xu, G. (red.) (2012). Web Technologies and Applications: 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings. Springer. Lecture Notes in Computer Science Bind 7235 https://doi.org/10.1007/978-3-642-29253-8

Borowski, M. & Klokmose, C. N. (2022). Webstrates, Codestrates v2, and Varv: A Software Stack for Computational Media. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Artikel 30 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547714

Klokmose, C. N., Eagan, J. R., Baader, S., Mackay, W. & Beaudouin-Lafon, M. (2015). Webstrates: Shareable Dynamic Media. I UIST'15 Proceedings of the 28th annual ACM symposium on User interface software and technology (UIST '15) Association for Computing Machinery. https://doi.org/10.1145/2807442.2807446

Klokmose, C. N., Eagan, J., Baader, S., Mackay, W. & Beaudouin-Lafon, M. (2016). Webstrates: Demonstrating the potential of shareable dynamic media. I Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion: CSCW '16 Companion (s. 61-64). Association for Computing Machinery. https://doi.org/10.1145/2818052.2874325

Thomsen, J. G., Ernst, E., Brabrand, C. & Schwartzbach, M. I. (2012). WebSelF: A Web Scraping Framework . Lecture Notes in Computer Science, 7387, 347-361. https://doi.org/10.1007/978-3-642-31753-8_28

Hansen, K. A., Liu, T. X. & Malekian, A. (red.) (2022). Web and Internet Economics: 18th International Conference, WINE 2022, Troy, NY, USA, December 12-15, 2022, Proceedings. Springer. Lecture Notes in Computer Science Bind 13778 https://doi.org/10.1007/978-3-031-22832-2

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

Van Vlaenderen, W., Brulmans, J., Vermeulen, J. & Schöning, J. (2015). WatchMe: A Novel Input Method Combining a Smartwatch and Bimanual Interaction. -, 2091-2095. https://doi.org/10.1145/2702613.2732789

Brânzei, S., Filos-Ratsikas, A., Miltersen, P. B. & Zeng, Y. (2017). Walrasian pricing in multi-unit auctions. I K. G. Larsen, H. L. Bodlaender & J.-F. Raskin (red.), 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017 (Bind 83, s. 80:1-80:14). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2017.80

Brânzei, S., Filos-Ratsikas, A., Miltersen, P. B. & Zeng, Y. (2023). Walrasian pricing in multi-unit auctions. Artificial Intelligence, 322, Artikel 103961. https://doi.org/10.1016/j.artint.2023.103961

Kaspersen, M. H., Bilstrup, K.-E. K., Van Mechelen, M., Hjorth, H. A., Bouvin, N. O. & Petersen, M. G. (2021). VotestratesML: A High School Learning Tool for Exploring Machine Learning and its Societal Implications. I Proceedings of 5th FabLearn Europe / MakeEd Conference 2021 Artikel 3466728 Association for Computing Machinery. https://doi.org/10.1145/3466725.3466728

Kaspersen, M. H. & Bilstrup, K.-E. K. (2020). VotestratesML: Social Studies as a Vehicle for Teaching Machine Learning. I B. Tangney, J. R. Byrne & C. Girvan (red.), Proceedings of the 2020 Constructionism Conference (s. 44-45)

Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L. (2023). VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. Proceedings of the ACM on Programming Languages , 7, 1438-1462. https://doi.org/10.1145/3591279

Holzhüter, C., Lex, A., Schmalstieg, D., Schulz, H.-J., Schumann, H. & Streit, M. (2012). Visualizing uncertainty in biological expression data. I P. C. Wong, D. L. Kao, M. C. Hao, C. Chen, R. Kosara, M. A. Livingston, J. Park & I. Roberts (red.), Proceedings of the Conference on Visualization and Data Analysis VDA 2012 SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.908516

Vernica, T., Lipman, R., Kramer, T., Kwon, S. & Bernstein, W. Z. (2022). Visualizing Standardized Model-Based Design and Inspection Data in Augmented Reality. Journal of Computing and Information Science in Engineering, 22(4), Artikel 041001. https://doi.org/10.1115/1.4053154

Schulz, H.-J. & Schumann, H. (2006). Visualizing Graphs - A Generalized View. I E. Banissi, R. A. Burkhard, A. Ursyn, J. J. Zhang, M. Bannatyne, C. Maple, A. J. Cowell, G. Y. Tian & M. Hou (red.), Proceedings of the 10th International Conference on Information Visualisation (IV'06) (s. 166-173). IEEE. https://doi.org/10.1109/IV.2006.130

Sørensen, T. S., Pedersen, E. M., Hansen, O. K. & Sørensen, K. (2003). Visualization of morphological details in congenitally malformed hearts: virtual three-dimensional reconstruction from magnetic resonance imaging. Cardiology in the Young, 13(5), 451-60.

Hadlak, S., Tominski, C., Schulz, H.-J. & Schumann, H. (2010). Visualization of attributed hierarchical structures in a spatiotemporal context. International Journal of Geographical Information Science, 24(10), 1497-1513. https://doi.org/10.1080/13658816.2010.510840

Madsen, J., Sode, L., Dahl, J. F., Corredig, M. & Schulz, H.-J. (2022). Visual Exploration of Rheological Test Results from Soft Materials. I Proceedings - 2022 1st International Workshop on Visualization in Testing of Hardware, Software, and Manufacturing, TestVis 2022 (s. 1-7). IEEE. https://doi.org/10.1109/TestVis57757.2022.00006

Klokmose, C. N. (2013). Visual Attributes for Face Images: A review of Describable Visual Attributes for Face Images, by Neraaj Kumar. Dissertation Reviews, (10. January). http://dissertationreviews.org/archives/2053

Schulz, H.-J., Uhrmacher, A. M. & Schumann, H. (2011). Visual Analytics for Stochastic Simulation in Cell Biology. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the Special Track on Theory and Applications of Visual Analytics (TAVA) of the i-Know'11 Conference Artikel 48 Association for Computing Machinery. https://doi.org/10.1145/2024288.2024345

Schulz, H.-J., John, M., Unger, A. & Schumann, H. (2008). Visual Analysis of Bipartite Biological Networks. I C. P. Botha, G. Kindlmann, W. Niessen & B. Preim (red.), Proceedings of the Eurographics Workshop on Visual Computing for Biomedicine VCBM 2008 (s. 135-142). Eurographics Association. https://doi.org/10.2312/VCBM/VCBM08/135-142

Horak, T., Mathisen, A., Klokmose, C. N., Dachselt, R. & Elmqvist, N. (2019). Vistribute: Distributing Interactive Visualizations in Dynamic Multi-Device Setups. I CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems Artikel 616 Association for Computing Machinery. https://doi.org/10.1145/3290605.3300846

Bardam, S. K., Mathisen, A., Rädle, R., Klokmose, C. N. & Elmqvist, N. (2018). Vistrates: A Component Model for Ubiquitous Analytics. IEEE Transactions on Visualization and Computer Graphics, 25(1), 586-596. Artikel 8440803. https://doi.org/10.1109/TVCG.2018.2865144

Patnaik, B., Peng, H. & Elmqvist, N. (2024). VisTorch: Interacting with Situated Visualizations using Handheld Projectors. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 208 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642857

Stenfeldt, L. & Grønbæk, K. (2014). Visions of an interactive Utzon Archive: Tangible, visual and interactive experiences of Utzon works . I Utzon Symposium What would Utzon do Now?: What would Utzon do Now? http://www.be.unsw.edu.au/sites/default/files/36.%20Liselott%20Stenfeldt%20and%20Kaj%20Grønbæk%20-%20Visions%20of%20an%20interactive%20Utzon%20Archive.pdf

Lex, A., Schulz, H.-J., Streit, M., Partl, C. & Schmalstieg, D. (2011). VisBricks: Multiform Visualization of Large, Inhomogeneous Data. IEEE Transactions on Visualization and Computer Graphics, 17(12), 2291-2300. https://doi.org/10.1109/TVCG.2011.250

Sørensen, T. S., Mosegaard, J., Kislinskiy, S. & Greil, G. (2014). Virtual Surgery in Congenital Heart Disease. I F. Saremi (red.), Cardiac CT and MR for Adult Congenital Heart Disease (s. 515-523). Springer. https://doi.org/10.1007/978-1-4614-8875-0_23

Kristensen, T. G. (2011). Virtual screening algorithms. Department of Computer Science, Aarhus University.

Madsen, O. L. (2001). Virtual classes and their implementation. I R. Wilhelm (red.), Compiler Construction - 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings (s. 1-2). Springer Verlag. https://doi.org/10.1007/3-540-45306-7_1

Ganesh, C., Orlandi, C., Tschudi, D. & Zohar, A. (2022). Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies. I J. Garcia-Alfaro, J. L. Muñoz-Tapia, G. Navarro-Arribas & M. Soriano (red.), Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2021 International Workshops, DPM 2021 and CBT 2021 (s. 173-191). Springer. https://doi.org/10.1007/978-3-030-93944-1_12

Winthereik, B., Grønbæk, K., Glæsel, J. & Larsen, K. G. (2019). Vi må ikke lade skandaler om datamisbrug bremse vores brug af data i samfundets tjeneste. Berlingske Tidende. https://www.berlingske.dk/kronikker/vi-maa-ikke-lade-skandaler-om-datamisbrug-bremse-vores-brug-af-data-i

Klokmose, C. N. & Beaudouin-Lafon, M. (2009). VIGO: Instrumental Interaction in Multi-Surface Environments. I D. R. Olsen Jr. & R. B. Arthur (red.), CHI '09 Proceedings of the 27th International Conference on Human factors in Computing Systems (Bind SESSION: Programming tools and architectures, s. 869-878). Association for Computing Machinery. https://doi.org/10.1145/1518701.1518833

Christensen, L. R. & Bertelsen, O. W. (2015). View of Causation for CSCW: Manipulation and Control in the Material Field of Work. I V. Wulf, K. Schmidt & D. Randall (red.), Designing Socially Embedded Technologies in the Real-World, Part II (s. 151-169). Springer. https://doi.org/10.1007/978-1-4471-6720-4_8

Tsitsulin, A., Mottin, D., Karras, P. & Müller, E. (2018). VERSE: Versatile Graph Embeddings from Similarity Measures. I P.-A. Champin, F. Gandon & L. Médini (red.), The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018: WWW '18 (s. 539-548). Association for Computing Machinery. https://doi.org/10.1145/3178876.3186120

Gondelman, L., Hinrichsen, J. K., Pereira, M., Timany, A. & Birkedal, L. (2023). Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. Proceedings of the ACM on Programming Languages , 7(ICFP), 847-877. Artikel 217. https://doi.org/10.1145/3607859

Grønkjær Jensen, M. V., Kjeldsen, H.-C., Skriver Nielsen, A., Olesen, N. B. & Aranha, D. F. (Accepteret/In press). Verifying ElectionGuard: a theoretical and empirical analysis. I Proceedings of E-Vote-ID 2024

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. Artikel 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. I A. L. Lafuente & A. Mavridou (red.), Formal Methods for Industrial Critical Systems (s. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1

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. I T. Roughgarden (red.), Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS '15 (s. 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. I CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 1467-1481). Association for Computing Machinery. https://doi.org/10.1145/3576915.3616683

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). I A. Boldyreva & V. Kolesnikov (red.), 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 (s. 63-93). Springer. https://doi.org/10.1007/978-3-031-31371-4_3

Sidenmark, L., Clarke, C., Newn, J., Lystbæk, M. N., Pfeuffer, K. & Gellersen, H. (Accepteret/In press). Vergence Matching: Inferring Attention to Objects in 3D Environments for Gaze-Assisted Selection. I CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 257 Association for Computing Machinery. https://doi.org/10.1145/3544548.3580685

Fender, A. & Müller, J. (2018). Velt: A Framework for Multi RGB-D Camera Systems. I Proceedings of the 2018 ACM International Conference on Interactive Surfaces and Spaces (s. 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. I ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (s. 652-666). Association for Computing Machinery. https://doi.org/10.1145/3488932.3517424

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. I E. Kiltz & V. Vaikuntanathan (red.), Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (Bind Part 1, s. 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. I CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 492 Association for Computing Machinery. https://doi.org/10.1145/3491102.3502064

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. I Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (s. 283-286). Artikel 7516847 IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2016.29

Viser resultater 51 til 100 ud af 2822

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series