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

Seinfeld, S., Feuchtner, T., Pinzek, J. & Müller, J. (2022). Impact of Information Placement and User Representations in VR on Performance and Embodiment. IEEE Transactions on Visualization and Computer Graphics, 28(3), 1545-1556. https://doi.org/10.1109/TVCG.2020.3021342

Seghier Ben, M. E. A., Truong, T. T., Feiler, C. & Höche, D. (2025). A hybrid deep learning model for predicting atmospheric corrosion in steel energy structures under maritime conditions based on time-series data. Results in Engineering, 25, Artikel 104417. https://doi.org/10.1016/j.rineng.2025.104417

Segal, S., Adi, Y., Pinkas, B., Baum, C., Ganesh, C. & Keshet, J. (2021). Fairness in the Eyes of the Data: Certifying Machine-Learning Models. I AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (s. 926-935). Association for Computing Machinery. https://doi.org/10.1145/3461702.3462554

Sebastian Stær Knudsen, M., Almskou Brodal, L., Peczalski, P. K., Moradan, A., Mottin, D. & Assent, I. (2022). GraB: Graph Benchmark for Heterogeneous Graph Clustering. https://openreview.net/forum?id=qsGpFRlK0a

Sciannamblo, M., Teli, M., Lyle, P. J. & Csíkszentmihályi, C. (2020). Infrastructuring the commons today, when STS meets ICT. Journal of Peer Production, (14).

Schwiegelshohn, C. & Schwiegelshohn, U. (2016). The power of migration for online slack scheduling. I C. Zaroliagis & P. Sankowski (red.), 24th Annual European Symposium on Algorithms, ESA 2016 Artikel 75 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2016.75

Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). An Empirical Evaluation of k-Means Coresets. I S. Chechik, G. Navarro, E. Rotenberg & G. Herman (red.), 30th Annual European Symposium on Algorithms, ESA 2022 (s. 84:1-84:17). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2022.84

Schwiegelshohn, C. (2023). Fitting Data on a Grain of Rice. I I. Chatzigiannakis & I. Karydis (red.), Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers (s. 1-8). Springer. https://doi.org/10.1007/978-3-031-49361-4_13

Schwarz, M. R. (2013). Design and Analysis of Web Application Frameworks. Datalogisk Institut, Aarhus Universitet.

Schwartzbach, N. I. (2021). An Incentive-Compatible Smart Contract for Decentralized Commerce. I IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2021 (s. 1-3). IEEE. https://doi.org/10.1109/ICBC51069.2021.9461077

Schwartzbach, N. I. (2022). Payment Schemes from Limited Information with Applications in Distributed Computing. I EC '22: Proceedings of the 23rd ACM Conference on Economics and Computation (s. 129-149) https://doi.org/10.1145/3490486.3538342

Schwartzbach, N. I. (2023). Smart Contracts and Rationality. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Schulz, H.-J. (2010). Explorative Graph Visualization. https://doi.org/10.18453/rosdok_id00000674

Schulz, H.-J. (2011). Treevis.net: A Tree Visualization Reference. IEEE Computer Graphics and Applications, 31(6), 11-15. https://doi.org/10.1109/MCG.2011.103

Schulz, H.-J., Urban, B. & Lukas, U. F. V. (red.) (2015). Proceedings of the International Summer School on Visual Computing 2015. Fraunhofer Verlag. http://publica.fraunhofer.de/documents/N-370236.html

Schulz, H.-J., Nocke, T., Heitzler, M. & Schumann, H. (2013). A Design Space of Visualization Tasks. IEEE Transactions on Visualization and Computer Graphics, 19(12), 2366-2375. https://doi.org/10.1109/TVCG.2013.120

Schulz, H.-J. & Hadlak, S. (2015). Preset-based generation and exploration of visualization designs. Journal of Visual Languages Computing, 31 (Part A), 9-29. https://doi.org/10.1016/j.jvlc.2015.09.004

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

Schulz, H.-J., Nocke, T. & Schumann, H. (2006). A Framework for Visual Data Mining of Structures. -, 48, 157-166. http://crpit.com/abstracts/CRPITV48Schulz.html

Schulz, H.-J., Akbar, Z. & Maurer, F. (2013). A generative layout approach for rooted tree drawings. I S. Carpendale, W. Chen & S. Hong (red.), Proceedings of the IEEE Pacific Visualization Symposium PacificVis (s. 225-232). IEEE. https://doi.org/10.1109/PacificVis.2013.6596149

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

Schulz, H.-J., Hadlak, S. & Schumann, H. (2013). A Visualization Approach for Cross-level Exploration of Spatiotemporal Data. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the International Conference on Knowledge Management and Knowledge Technologies (i-Know'13) Artikel 2 Association for Computing Machinery. https://doi.org/10.1145/2494188.2494199

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., Hadlak, S. & Schumann, H. (2011). The Design Space of Implicit Hierarchy Visualization: A Survey. IEEE Transactions on Visualization and Computer Graphics, 17(4), 393-411. https://doi.org/10.1109/TVCG.2010.79

Schulz, H.-J., Hadlak, S. & Schumann, H. (2011). Point-Based Visualization for Large Hierarchies. IEEE Transactions on Visualization and Computer Graphics, 17(5), 598-611. https://doi.org/10.1109/TVCG.2010.89

Schulz, H.-J., Hadlak, S. & Schumann, H. (2009). Point-based tree representation: A new approach for large hierarchies. I P. Eades, T. Ertl & H.-W. Shen (red.), Proceedings of the IEEE Pacific Visualization Symposium PacificVis (s. 81-88). IEEE. https://doi.org/10.1109/PACIFICVIS.2009.4906841

Schulz, H.-J., Röhlig, M., Nonnemann, L., Aehnelt, M., Diener, H., Urban, B. & Schumann, H. (2019). Lightweight Coordination of Multiple Independent Visual Analytics Tools. I A. Kerren, C. Hurter & J. Braz (red.), VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (Bind 2, s. 106-117). SCITEPRESS Digital Library. https://doi.org/10.5220/0007571101060117

Schulz, H.-J., Röhlig, M., Nonnemann, L., Hogräfer, M., Aehnelt, M., Urban, B. & Schumann, H. (2020). A Layered Approach to Lightweight Toolchaining in Visual Analytics. I A. P. Cláudio, K. Bouatouch, M. Chessa, A. Paljic, A. Kerren, C. Hurter, A. Tremeau & G. M. Farinella (red.), Computer Vision, Imaging and Computer Graphics Theory and Applications : 14th International Joint Conference, VISIGRAPP 2019, Revised Selected Papers (s. 313-337). Springer. https://doi.org/10.1007/978-3-030-41590-7_13

Schulz, H.-J. & Weaver, C. (2024). Transient Visual Analytics. I D. Fellner, D. Fellner, M. El-Assady & H.-J. Schulz (red.), EuroVA 2024 - EuroVis Workshop on Visual Analytics The Eurographics Association. https://doi.org/10.2312/eurova.20241108

Schulz, H.-J., Aupetit, M. & Fisher, D. (2024). Human Aspects. I J.-D. Fekete, D. Fisher & M. Sedlmair (red.), Progressive Data Analysis: Roadmap and Research Agenda (s. 108-131). Eurographics Association. https://doi.org/10.2312/pda.20242707

Schulz, H.-J. & Angelini, M. (2025). Foreword to special section: Highlights from EuroVA 2024. Computers & Graphics, 133, Artikel 104450. https://doi.org/10.1016/j.cag.2025.104450

Schraefel, M. C., Rouncefield, M., Kellogg, W., Ackerman, M., Marsden, G., Bødker, S., Wyche, S. & Reddy, M. (2012). Domain crossing: how much expertise is enough? I S. Poltrock & C. Simone (red.), CSCW’12 : Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work Companion (s. 29-32). Association for Computing Machinery. https://doi.org/10.1145/2141512.2141529

Schougaard, K. R., Grønbæk, K. & Scharling, T. (2012). Indoor Pedestrian Navigation Based on Hybrid Route Planning and Location Modeling. Lecture Notes in Computer Science, 7319, 289-306. https://doi.org/10.1007/978-3-642-31205-2_18

Schou, J. K. R. & Wang, B. (2024). PersiSort: A New Perspective on Adaptive Sorting Based on Persistence. I R. I. Nishat (red.), Canadian Conference on Computational Geometry: Proceedings of the 36th Canadian Conference on Computational Geometry (CCCG 2024) Brock University, St. Catharines, Canada, July 17 - 19, 2024 (s. 287-312)

Scholl, P., Smart, N. P. & Wood, T. (2017). When It’s All Just Too Much: Outsourcing MPC-Preprocessing. I M. O'Neill (red.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (Bind 10655, s. 77-99). Springer VS. https://doi.org/10.1007/978-3-319-71045-7_4

Scholl, P. (2018). Extending Oblivious Transfer with Low Communication via Key-Homomorphic PRFs. I M. Abdalla & R. Dahab (red.), Public-Key Cryptography - PKC 2018 (Bind 10769, s. 554-583). Springer VS. https://doi.org/10.1007/978-3-319-76578-5_19

Scholl, P. & Smart, N. P. (2011). Improved key generation for Gentry's Fully Homomorphic Encryption scheme. I Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Proceedings (s. 10-22) https://doi.org/10.1007/978-3-642-25516-8_2

Scholl, P., Simkin, M. & Siniscalchi, L. (2022). Multiparty Computation with Covert Security and Public Verifiability. I D. Dachman-Soled (red.), 3rd Conference on Information-Theoretic Cryptography, ITC 2022 Artikel 8 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2022.8

Schnell, I. B., Thomsen, P. F., Wilkinson, N., Rasmussen, M., Jensen, L. R. D., Willerslev, E., Bertelsen, M. F. & Gilbert, M. T. P. (2012). Screening mammal biodiversity using DNA from leeches. Current Biology, 22(8), R262-R263. https://doi.org/10.1016/j.cub.2012.02.058

Schnell, I. B., Thomsen, P. F., Wilkinson, N., Rasmussen, M., Jensen, L. R. D., Willerslev, E., Bertelsen, M. F. & Gilbert, M. T. P. (2012). Erratum: Screening mammal biodiversity using dna from leeches (Current Biology (2012) 22 (R262-R263)). Current Biology, 22(20), 1980. https://doi.org/10.1016/j.cub.2012.10.014

Schneiders, E., Boudouraki, A., Reyes-Cruz, G., Martinez Avila, J. P., Elmimouni, H., Grønbæk, J. E. S., Rintel, S. & Joshi, S. (2023). Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots. I A. Komninos, C. Santoro, D. Gavalas, J. Schoening, M. Matera & L. A. Leiva (red.), Proceedings of the 25th International Conference on Mobile Human-Computer Interaction, MobileHCI 2023 Companion Artikel 34 Association for Computing Machinery. https://doi.org/10.1145/3565066.3609791

Schmidt, E. M., Skyum, S. & Nielsen, M. (2012). To Dexter - A Tribute from Aarhus. I R. L. Constable & A. Silva (red.), Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (s. 341). Springer. https://doi.org/10.1007/978-3-642-29485-3_30

Schmidt, K. & Bannon, L. J. (2013). Constructing CSCW: The First Quarter Century. Computer Supported Cooperative Work, 22(4-6), 345-372. https://doi.org/10.1007/s10606-013-9193-7

Schmidt, H. T., Thomas, R. D., Gatchell, M., Rosen, S., Reinhed, P., Lofgren, P., Brannholm, L., Blom, M., Bjorkhage, M., Backstrom, E., Alexander, J. D., Leontein, S., Hanstorp, D., Zettergren, H., Liljeby, L., Kallberg, A., Simonsson, A., Hellberg, F., Mannervik, S. ... Cederquist, H. (2013). First storage of ion beams in the Double Electrostatic Ion-Ring Experiment: DESIREE. Review of Scientific Instruments, 84(5), Artikel 055115. https://doi.org/10.1063/1.4807702

Schmidt, A., Kleemann, M., Merritt, T. & Selker, T. (2015). Tactile Communication in Extreme Contexts: Exploring the Design Space Through Kiteboarding. I J. Abascal, S. Barbosa, M. Fetter, T. Gross, P. Palanque & M. Winckler (red.), Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV (s. 37-54). Springer. https://doi.org/10.1007/978-3-319-22723-8_4

Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., van de Pol, J., Langerak, R., van Wijnen, A. J., Geris, L., Karperien, M. & Post, J. N. (2020). ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease. Cellular Signalling, 68, Artikel 109471. https://doi.org/10.1016/j.cellsig.2019.109471

Schieber, H., Young, J., Langlotz, T., Zollmann, S. & Roth, D. (2025). Semantics-Controlled Gaussian Splatting for Outdoor Scene Reconstruction and Rendering in Virtual Reality. I 2025 IEEE Conference Virtual Reality and 3D User Interfaces (VR) (s. 318-328). IEEE. https://doi.org/10.1109/VR59515.2025.00056

Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M. (2024). AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), 1787-1813. Artikel 334. https://doi.org/10.1145/3689774

Scheder, D. (2013). Trivial, tractable, hard. A not so sudden complexity jump in neighborhood restricted CNF formulas. I L. Cai, S.-W. Cheng & A.-W. Lam (red.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (s. 251-261). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_24

Scheder, D. (2013). Unsatisfiable CNF formulas contain many conflicts. I L. Cai, S.-W. Cheng & T.-W. Lam (red.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (s. 273-283). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_26

Viser resultater 451 til 500 ud af 3070

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series