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

Verdezoto, N., Nunes, F., Grönvall, E., Fitzpatrick, G., Storni, C. & Kyng, M. (red.) (2014). Proceedings of Designing Self-care for Everyday Life. Workshop in conjunction with NordiCHI 2014, 27th October 2014, Helsinki, Finland. Department of Computer Science, Aarhus University. DAIMI PB Nr. 597 http://ojs.statsbiblioteket.dk/index.php/daimipb/issue/view/2772

Verdezoto, N., Nunes, F., Grönvall, E., Fitzpatrick, G., Storni, C. & Kyng, M. (2014). Designing self-care for everyday life. I V. Roto & J. Häkkilä (red.), NordiCHI '14, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational (s. 821-824 ). Association for Computing Machinery. https://doi.org/10.1145/2639189.2654837

Verdezoto, N. (2015). Exploring Challenges and Opportunities for Eco-Feedback Technology. Afhandling præsenteret på Workshop on Expanding the Boundaries: A SIGCHI HCI & Sustainability , Seoul, Sydkorea. http://wp.lancs.ac.uk/chi15sust/files/2015/04/pp_verdezoto.pdf

Verdezoto, N. & Grönvall, E. (2015). On preventive blood pressure self-monitoring at home. Cognition, Technology and Work, 18(2), 267-285. adv. onlinepublikation. https://doi.org/10.1007/s10111-015-0358-7

Verbin, E. & Zhang, Q. (2012). Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance. Lecture Notes in Computer Science, 7391, 834-845. https://doi.org/10.1007/978-3-642-31594-7_70

Verbin, E. & Yu, W. (2013). Data structure lower bounds on random access to grammar-compressed strings. I J. Fischer & P. Sanders (red.), Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings (s. 247-258). Springer VS. https://doi.org/10.1007/978-3-642-38905-4_24

Venetis, P., Gonzalez, H., Jensen, C. S. & Halevy, A. (2011). Hyper-local, directions-based ranking of places. Proceedings of the VLDB Endowment, 4(5), 290-301. http://www.vldb.org/pvldb/vol4/p290-venetis.pdf

Veje Pedersen, N., Clausen, H. S. & Dissing, C. (2019). Centralizing Pure after 15 years: Experiences forming a library specialist team. Abstract fra PURE International Conference 2019, Prag, Tjekkiet. https://app.oxfordabstracts.com/events/1125/program-app/submission/143655

Veileborg, O. H., Saioc, G-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. I iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings (s. 1-12). artikel 32 Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

Veileborg, O. H. (2023). Localized Static Program Analysis for Optimization and Error Detection.

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

Van Oosterhout, A., Alonso, M. B. & Jumisko-Pyykkö, S. (2018). Ripple thermostat: Affecting the emotional experience through interactive force feedback and shape change. I CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018-April). Association for Computing Machinery. https://doi.org/10.1145/3173574.3174229

Van Oosterhout, A. (2019). Understanding the benefits and drawbacks of shape change in contrast or addition to other modalities. I DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (s. 113-116). Association for Computing Machinery. https://doi.org/10.1145/3301019.3324875

Van Oosterhout, A., Hoggan, E., Rasmussen, M. K. & Bruns, M. (2019). DynaKnob: Combining haptic force feedback and shape change. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 963-974). Association for Computing Machinery. https://doi.org/10.1145/3322276.3322321

Van Oosterhout, A. & Hoggan, E. (2021). Deformation Techniques for Shape Changing Interfaces. I Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021 artikel 388 Association for Computing Machinery. https://doi.org/10.1145/3411763.3451622

Van Oosterhout, A., Bruns, M. & Hoggan, E. (2022). Designing Feedback for Haptic and Shape Changing Interfaces with Feelix A tutorial on the design of force feedback and shape change in custom user interfaces. I Participative Computing for Sustainable Futures: Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) artikel 18 Association for Computing Machinery. https://doi.org/10.1145/3547522.3558900

Van Oosterhout, A., Hoggan, E. & Bruns, M. (2022). Adjustable Graphical Notation and Accessible Hardware to Accommodate the Force Feedback Design Process Redesign of Feelix based on Preliminary Evaluations of Design Tools and Methods. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) artikel 52 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547683

Van Oosterhout, A., Bruns, M. & Hoggan, E. (2023). Designing for Haptic and Embodied Interaction with Feelix. I TEI '23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction artikel 66 Association for Computing Machinery. https://doi.org/10.1145/3569009.3571842

van Oosterhout, A., Rasmussen, M. K., Hoggan, E. & Alonso, M. B. (2018). Knobology 2.0: Giving Shape to the Haptic Force Feedback of Interactive Knobs. I UIST 2018 Adjunct - Adjunct Publication of the 31st Annual ACM Symposium on User Interface Software and Technology: UIST '18 Adjunct (s. 197-199). Association for Computing Machinery. https://doi.org/10.1145/3266037.3271649

van Oosterhout, A. & Hoggan, E. (2020). Reshaping Interaction with Rotary Knobs: Combining Form, Feel and Function. I DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (s. 1973-1982). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395536

van Oosterhout, A., Bruns, M. & Hoggan, E. (2020). Facilitating Flexible Force Feedback Design with Feelix. I ICMI 2020 - Proceedings of the 2020 International Conference on Multimodal Interaction (s. 184–193). Association for Computing Machinery. https://doi.org/10.1145/3382507.3418819

van Oosterhout, A. (2021). A Design Perspective on Force Feedback. Aarhus Universitet.

Van Mechelen, M., Smith, R. C., Schaper, M-M. A., Tamashiro, M. A., Bilstrup, K-E. K., Lunding, M. S., Petersen, M. G. & Iversen, O. S. (2022). Emerging Technologies in K-12 Education: A Future HCI Research Agenda. ACM Transactions on Computer-Human Interaction, 30(3), artikel 47. https://doi.org/10.1145/3569897

Vanegas, H., Carbacas, D. & Aranha, D. F. (2023). Privacy-preserving edit distance computation using secret-sharing protocols. I Progress in Cryptology – LATINCRYPT 2023 https://link.springer.com/chapter/10.1007/978-3-031-44469-2_4

Van Der Berg, F. I. & Van De Pol, J. (2019). Concurrent chaining hash maps for software model checking. I C. Barrett & J. Yang (red.), Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019 (s. 46-54). artikel 8894279 IEEE. https://doi.org/10.23919/FMCAD.2019.8894279

van de Pol, J. (2019). Concurrent algorithms and data structures for model checking. I W. Fokkink & R. van Glabbeek (red.), 30th International Conference on Concurrency Theory, CONCUR 2019 artikel 4 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2019.4

van de Pol, J. (2022). Exploring a Parallel SCC Algorithm: Using TLA ⁺ and the TLC Model Checker. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (s. 535-555). Springer. https://doi.org/10.1007/978-3-031-19849-6_30

van de Pol, J. & Petrucci, L. (2021). On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). I M. Roggenbach (red.), Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Revised Selected Papers (s. 3-10). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-73785-6_1

Van Bergerem, S., Grohe, M. & Ritzert, M. (2022). On the Parameterized Complexity of Learning First-Order Logic. I PODS 2022 - Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (s. 337-346). Association for Computing Machinery. https://doi.org/10.1145/3517804.3524151

Valsted, F. M., Nielsen, C. V. H., Jensen, J. Q., Sonne, T. & Jensen, M. M. (2017). Strive: Exploring Assistive Haptic Feedback on the Run. I M. Brereton, D. Vyas, A. Soro, B. Ploderer, J. Waycott & A. Morrison (red.), Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (s. 275-284). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152801

Urazimbetova, S. (2012). A Case Study - On Patient Empowerment and Integration of Telemedicine to National Healthcare Services. Afhandling præsenteret på International Conference on Health Informatics, Vilamoura, Algarve, Portugal. https://doi.org/10.5220/0003870902630269

Urazimbetova, S. (2011). Patient and Care Network can Improve Interoperability of Telemedicine. D A I M I P B, (594), 51-54.

Urazimbetova, S. & Kyng, M. (2012). Bridging the Patient Empowerment Gap of National Healthcare Services with Quick Response Code. Global Telemedicine and eHealth Updates : Knowledge Resources, 5, 444-448. http://www.medetel.lu/download/2012/Med-e-Tel_2012_Global_Telemedicine_and_eHealth_Updates_Volume_5_Contents.pdf

Urazimbetova, S. & Kyng, M. (2013). From Many to One: Analysis of Information Models for Patient Centric Telemedicine. Global Telemedicine and eHealth Updates : Knowledge Resources, 6, 7-12. http://www.medetel.eu/download/2013/parallel_sessions/presentation/day3/From_Many_to_One.pdf

Uhrmacher, A. M., Schulz, H-J., Schumann, H., Schwabe, L. & Timmermann, D. (2009). Regenerative Systems - Challenges and Opportunities for Modeling, Simulation, and Visualization. I G. Stea, J. Mairesse & J. Mendes (red.), Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools artikel 45. https://doi.org/10.4108/ICST.VALUETOOLS2009.7907

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2011). Lightweight Graphical Models for Selectivity Estimation Without Independence Assumptions. Proceedings of the VLDB Endowment, 4(11), 852-863. http://www.vldb.org/pvldb/vol4/p852-tzoumas.pdf

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2013). Efficiently adapting graphical models for selectivity estimation. V L D B Journal, 22(1), 3-27. https://doi.org/10.1007/s00778-012-0293-7

Tziavelis, N., Giannakopoulos, I., Doka, K., Koziris, N. & Karras, P. (2019). Equitable Stable Matchings in Quadratic Time. I H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox & R. Garnett (red.), Advances in Neural Information Processing Systems 32 (NIPS 2019): Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019 (Bind 32, s. 455-465). Curran Associates, Inc.. https://papers.nips.cc/paper/8337-equitable-stable-matchings-in-quadratic-time

Tzavelis, N., Giannakopoulos, I., Johansen, R. Q., Doka, K., Koziris, N. & Karras, P. (2020). Fair Procedures for Fair Stable Marriage Outcomes. I AAAI 2020 - 34th AAAI Conference on Artificial Intelligence (Bind 34, no. 5, s. 7269-7276). AAAI Press. https://doi.org/10.1609/aaai.v34i05.6218

Turon, A., Dreyer , D. & Birkedal, L. (2013). Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. I G. Morrisett & T. Uustalu (red.), Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP '13 (s. 377-390 ). Association for Computing Machinery. https://doi.org/10.1145/2500365.2500600

Türkmen, R., Pfeuffer, K., Barrera MacHuca, M. D., Batmaz, A. U. & Gellersen, H. (2022). Exploring Discrete Drawing Guides to Assist Users in Accurate Mid-air Sketching in VR. I CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems artikel 276 Association for Computing Machinery. https://doi.org/10.1145/3491101.3519737

Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2023). Sound Dynamic Deadlock Prediction in Linear Time. Proceedings of the ACM on Programming Languages , 7, 1733-1758. https://doi.org/10.1145/3591291

Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U. & Pavlogiannis, A. (2023). Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proceedings of the ACM on Programming Languages , 7(PLDI), 761–785. artikel 137. https://doi.org/10.1145/3591251

Tu, S., Aslay, C. & Gionis, A. (2020). Co-exposure maximization in online social networks. I H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (red.), Advances in Neural Information Processing Systems: NeurIPS 2020 (Bind 33). Neural Information Processing Systems Foundation. https://proceedings.neurips.cc/paper/2020/hash/212ab20dbdf4191cbcdcf015511783f4-Abstract.html

Tsourakakis, C. E., Mitzenmacher, M., Larsen, K. G., Blasiok, J., Lawson, B., Nakkiran, P. & Nakos, V. (2018). Predicting Positive and Negative Links with Noisy Queries: Theory Practice. arXiv.org. http://arxiv.org/abs/1709.07308

Tsitsulin, A., Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2018). NetLSD: Hearing the Shape of a Graph. I Y. Guo & F. Farooq (red.), KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (s. 2347-2356). Association for Computing Machinery. https://doi.org/10.1145/3219819.3219991

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

Tsitsulin, A., Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2019). Spectral graph complexity. I L. Liu & R. White (red.), The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019 (s. 308-309). Association for Computing Machinery. https://doi.org/10.1145/3308560.3316589

Tsitsulin, A., Munkhoeva, M., Mottin, D., Karras, P., Bronstein, A., Oseledets, I. & Müller, E. (2020). The Shape of Data: Intrinsic Distance for Data Distributions. Afhandling præsenteret på The International Conference on Learning Representations (ICLR), Ababa, Etiopien.

Tsitsulin, A., Munkhoeva, M., Mottin, D., Karras, P., Oseledets, I. & Mueller, E. (2021). FREDE: Anytime Graph Embeddings. Proceedings of the VLDB Endowment, 14(6), 1102-1110. https://doi.org/10.14778/3447689.3447713

Viser resultater 101 til 150 ud af 2545

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series