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

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. [Ph.d.-afhandling, Aarhus Universitet]. 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., Cabarcas, D. & Aranha, D. F. (2023). Privacy-Preserving Edit Distance Computation Using Secret-Sharing Two-Party Computation. I A. Aly & M. Tibouchi (red.), Progress in Cryptology – LATINCRYPT 2023: 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3–6, 2023, Proceedings (s. 67-86). Springer. https://doi.org/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 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

Turkmen, R., Gelmez, Z. E., Batmaz, A. U., Stuerzlinger, W., Asente, P., Sarac, M., Pfeuffer, K. & Machuca, M. D. B. (2024). EyeGuide & EyeConGuide: Gaze-based Visual Guides to Improve 3D Sketching Systems. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 178 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641947

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

Tunç, H. C., Deshmukh, A. P., Çirisci, B., Enea, C. & Pavlogiannis, A. (2024). CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. I ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Bind 3, s. 223-238). Association for Computing Machinery. https://doi.org/10.1145/3620666.3651358

Tunç, H. C. (2025). Efficient Data Structures and Algorithms for Dynamic Analysis of Concurrent Programs. [Ph.d.-afhandling, Aarhus Universitet].

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

Tsirogiannis, K. & de Berg, M. (2011). Exact and approximate computations of watersheds on triangulated terrains. I Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (s. 74-83). Association for Computing Machinery. https://doi.org/10.1145/2093973.2093985

Tsirogiannis, K. & Haverkort, H. (2011). Flow on noisy terrains: an experimental evaluation. I Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (s. 84-91). Association for Computing Machinery. https://doi.org/10.1145/2093973.2093986

Tsirogiannis, C., Sandel, B. S. & Cheliotis, D. (2012). Efficient Computation of Popular Phylogenetic Tree Measures. Lecture Notes in Computer Science, 7534, 30-43. https://doi.org/10.1007/978-3-642-33122-0_3

Tsirogiannis, C. & Sandel, B. S. (2013). Computing the Skewness of the Phylogenetic Mean Pairwise Distance in Linear Time. I A. Darling & J. Stoye (red.), Algorithms in Bioinformatics: 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings (s. 170-184). Springer VS. https://doi.org/10.1007/978-3-642-40453-5_14

Tsirogiannis, C., Sandel, B. S. & Kalvisa, A. (2014). New Algorithms for Computing Phylogenetic Biodiversity. I D. Brown & B. Morgenstern (red.), Algorithms in Bioinformatics: 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings (s. 187-203). Springer VS. https://doi.org/10.1007/978-3-662-44753-6_15

Tsirogiannis, C. & Sandel, B. S. (2014). Computing the Skewness of the Phylogenetic Mean Pairwise Distance in Linear Time. Algorithms for Molecular Biology, 9(1), Artikel 15. https://doi.org/10.1186/1748-7188-9-15

Tsirogiannis, C. & Tsirogiannis, C. (2016). Uncovering the Hidden Routes: Algorithms for Identifying Paths and Missing Links in Trade Networks . I T. Brughmans, A. Collar & F. Coward (red.), The Connected Past: Challenges to Network Studies in Archaeology and History Oxford University Press.

Tsirogiannis, C. & Sandel, B. S. (2016). PhyloMeasures: A package for computing phylogenetic biodiversity measures and their statistical moments. Ecography, 39(7), 709-714. https://doi.org/10.1111/ecog.01814

Tsirogiannis, C., Staals, F. & Pellissier, V. (2018). Computing the expected value and variance of geometric measures. ACM Journal of Experimental Algorithmics, 23(1), 2.4:1-2.4:32. Artikel 2.4. https://doi.org/10.1145/3228331

Tsimbalistaia, U., Berger, C. P., Gellersen, H. & Manakhov, P. (2025). On-body Icons: Designing a 3D Interface for Launching Apps in Augmented Reality. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems (s. 1-15). Artikel 629 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713954

Viser resultater 151 til 200 ud af 3070

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series