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

Sølvsten, S., van de Pol, J., Jakobsen, A. B., Rysgaard, C. M., Carstensen, E. F. & Thomasen, M. W. B. (2021). Adiar: An I/O-efficient implementation of Decision Diagrams. Software, GitHub. https://doi.org/10.5281/zenodo.4718218

Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B. (2022). Adiar Binary Decision Diagrams in External Memory. I D. Fisman & G. Rosu (red.), Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (s. 295-313). Springer. https://doi.org/10.1007/978-3-030-99527-0_16

Sølvsten, S. & van de Pol, J. (2023). Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. I K. Y. Rozier & S. Chaudhuri (red.), NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (s. 464-471). Springer. https://doi.org/10.1007/978-3-031-33170-1_28

Sølvsten, S. & van de Pol, J. (2023). Predicting Memory Demands of BDD Operations using Maximum Graph Cuts. I É. André & J. Sun (red.), Automated technology for verification and analysis: Part II (s. 72-92). Springer. https://doi.org/10.1007/978-3-031-45332-8_4

Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2024). Random Access on Narrow Decision Diagrams in External Memory. I T. Neele & A. Wijs (red.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (s. 137–145). Springer. https://doi.org/10.1007/978-3-031-66149-5_7

Soden, R., Ribes, D., Jack, M., Sutherland, W., Khovanskaya, V., Avle, S., Sengers, P. & Bødker, S. (2019). Fostering Historical Research in CSCW & HCI. I CSCW 2019 Companion - Conference Companion Publication of the 2019 Computer Supported Cooperative Work and Social Computing (s. 517-521). Association for Computing Machinery. https://doi.org/10.1145/3311957.3359436

Snow, S., Vyas, D., Lyle, P., Mallett, M. & Brereton, M. (2016). Building Connections: Technology Design for Living on a Low Income. I A. M. Kanstrup, J. Vines, L. Huybrechts, R. C. Smith, K. Bodker & C. Bossen (red.), PDC 2016: Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 (s. 1-4). Association for Computing Machinery. https://doi.org/10.1145/2948076.2948091

Skovsgaard, A., Sidlauskas, D. & Jensen, C. S. (2014). Scalable Top-k Spatio-Temporal Term Querying. ICDE, 148-159. https://doi.org/10.1109/ICDE.2014.6816647

Skovsgaard, A. & Jensen, C. S. (2015). Finding Top-k Relevant Groups of Spatial Web Objects. V L D B Journal, 24(4), 537-555. https://doi.org/10.1007/s00778-015-0388-z

Skovsgaard, A. (2014). Indexing, Query Processing, and Clustering of Spatio-Temporal Text Objects. Department of Computer Science, Aarhus University.

Skovsgaard, A., Sidlauskas, D. & Jensen, C. S. (2014). A Clustering Approach to the Discovery of Points of Interest from Geo-Tagged Microblog Posts. I J. E. Guerrero (red.), 15th IEEE International Conference on Mobile Data Management (MDM), 2014 : Proceedings (s. 178-189 (vol. 1)). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2014.28

Skovsgaard, A. & Jensen, C. S. (2014). Top-k point of interest retrieval using standard indexes. I Y. Huang & M. Schneider (red.), Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL '14 (s. 173-182 ). Association for Computing Machinery. https://doi.org/10.1145/2666310.2666399

Skovsgaard, A. & Jensen, C. S. (2015). Scalable Spatio-Textual Region Querying in Key-Value Stores. Afhandling præsenteret på ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, Dallas, USA. http://sigspatial2014.sigspatial.org/

Skovgaard, C., Thomsen, J. R., Verdezoto, N. & Vestergaard, D. (2015). DogPulse: Augmenting the Coordination of Dog Walking through an Ambient Awareness System at Home. I S. Nanayakkara & E. Y.-L. Do (red.), AH '15, Proceedings of the 6th Augmented Human International Conference: SIGCHI ACM. (s. 41-44). Association for Computing Machinery. https://doi.org/10.1145/2735711.2735825

Skov, L. (2017). Methods for analyzing genetic variation in modern and archaic humans.

Skorstensgaard, L., Devriese, D. & Birkedal, L. (2021). StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. Journal of Functional Programming, 31, Artikel e9. https://doi.org/10.1017/S095679682100006X

Skorstengaard, L., Devriese, D. & Birkedal, L. (2018). Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. I A. Ahmed (red.), Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (Bind 10801, s. 475-501). Springer VS. https://doi.org/10.1007/978-3-319-89884-1_17

Skorstengaard, L. (2019). Formal Reasoning about Capability Machines. Aarhus University.

Skorstengaard, L., Devriese, D. & Birkedal, L. (2019). Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. A C M Transactions on Programming Languages and Systems, 41(4), Artikel 5. https://doi.org/10.1145/3363519

Skorstengaard, L., Devriese, D. & Birkedal, L. (2019). StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities. Proceedings of the ACM on Programming Languages , 3(POPL), Artikel 19. https://doi.org/10.1145/3290332

Skorstengaard, L., Devriese, D. & Birkedal, L. (2019). Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. ACM Transactions on Programming Languages and Systems, 42(1), Artikel 5. https://doi.org/10.1145/3363519

Skitsas, K., Orłowski, K., Hermanns, J., Mottin, D. & Karras, P. (2023). Comprehensive Evaluation of Algorithms for Unrestricted Graph Alignment. I Proceedings 26th International Conference on Extending Database Technology (EDBT 2023) (s. 260-272). openproceedings.org. https://doi.org/10.48786/edbt.2023.21

Skitsas, K., Papageorgiou, I. G., Talebi, M. S., Kantere, V., Katehakis, M. N. & Karras, P. (2022). SIFTER: Space-Efficient Value Iteration for Finite-Horizon MDPs. Proceedings of the VLDB Endowment, 16(1), 90-98. https://doi.org/10.14778/3561261.3561269

Sitchinava, N. & Zeh, N. (2012). A parallel buffer tree. I Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA (s. 214-223). Association for Computing Machinery. https://doi.org/10.1145/2312005.2312046

Sitchinava, N. & Svenning, R. (2024). The All Nearest Smaller Values Problem Revisited in Practice, Parallel and External Memory. I SPAA '24: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures (s. 259-268). Association for Computing Machinery. https://doi.org/10.1145/3626183.3659979

Simonsen, M., Mailund, T. & Pedersen, C. N. S. (2010). Building Very Large Neighbour-Joining Trees. I A. Fred, J. Filipe & H. Gamboa (red.), BIOINFORMATICS 2010: Proceedings of the First International Conference on Bioinformatics (part of the 3rd International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2010) (s. 26). Institute for Systems and Technologies of Information, Control and Communication.

Simonsen, M., Sand, A., Mailund, T. & Pedersen, C. N. S. (2010). Using the Power of Modern Processors in Bioformatics. Poster session præsenteret på Conference on IT research at AU, Århus, Danmark.

Simonsen, M. & Pedersen, C. N. S. (2011). Rapid Computation of Distance Estimators from Nucleotide and Amino Acid Alignments. I Proceedings of the 26th Annual ACM Symposium on Applied Computing Association for Computing Machinery.

Simonsen, M., Thomsen, R., Christensen, M. H. & Pedersen, C. N. S. (2011). GPU-Accelerated High-Accuracy Molecular Docking using Guided Differential Evolution. I GECCO'11 Proceedings of the 13th annual conference on Genetic and evolutionary computation (s. 1803-1810). Association for Computing Machinery. https://doi.org/10.1145/2001576.2001818

Simonsen, M. (2011). Efficient algorithms for tree reconstruction and prediction of molecular interactions. Department of Computer Science, Aarhus University.

Simonsen, M., Christensen, M. H., Thomsen, R. & Pedersen, C. N. S. (2013). GPU-Accelerated High-Accuracy Molecular Docking using Guided Differential Evolution. I S. tsutsui & P. Collet (red.), Massively Parallel Evolutionary Computation on GPGPUs Springer Publishing Company.

Simmons , R. J. & Zerny, I. (2013). A logical correspondence between natural semantics and abstract machines. I R. Peña & T. Schrijvers (red.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 (s. 109-119 ). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505899

Simkin, M. (2020). Alice, Bits, and Bob.

Simkin, M., Siniscalchi, L. & Yakoubov, S. (2022). On Sufficient Oracles for Secure Computation with Identifiable Abort. I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks - 13th International Conference, SCN 2022, Proceedings (s. 494-515). Springer. https://doi.org/10.1007/978-3-031-14791-3_22

Silvestri, C., Lettich, F., Orlando, S. & Jensen, C. S. (2014). GPU-based computing of repeated range queries over moving objects. I Proceedings - 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014 (s. 640-647). Artikel 6787342 IEEE Computer Society Press. https://doi.org/10.1109/PDP.2014.27

Silva, G., Lyle, P. J. & Silva, C. (2020). Local Perspectives for Sharing Economy Design on a Remote Tourist Island. I Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (s. 368-378). Association for Computing Machinery. https://doi.org/10.1145/3441000.3441058

Sillasen, M., Daugbjerg, P., Krogh, L. B. & Nielsen, K. (2018). Engineering i skolen - Vidensgrundlag. VIA University College. https://www.ucviden.dk/portal/da/publications/engineering-i-skolen(2d8a5ff9-3ab5-4a10-965f-46ebe403919d).html

Sieczkowski, F., Svendsen, K., Birkedal, L. & Pichon-Pharabod, J. (2015). A separation logic for fictional sequential consistency. I J. Vitek (red.), Programming Languages and Systems : 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 (s. 736-761). Springer. https://doi.org/10.1007/978-3-662-46669-8_30

Sieczkowski, F., Bizjak, A. & Birkedal, L. (2015). ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages. I C. Urban & X. Zhang (red.), Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (s. 375-390). Springer. https://doi.org/10.1007/978-3-319-22102-1_25

Sieczkowski, F., Stepanenko, S., Sterling, J. & Birkedal, L. (2024). The Essence of Generalized Algebraic Data Types. Proceedings of the ACM on Programming Languages , 8(POPL), 695-723. https://doi.org/10.1145/3632866

Sidorenco, N., Oechsner, S. & Spitters, B. (2021). Formal security analysis of MPC-in-the-head zero-knowledge protocols. I Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021 (s. 607-620). IEEE. https://doi.org/10.1109/CSF51468.2021.00050

Šidlauskas, D., Jensen, C. S. & Šaltenis , S. (2012). A comparison of the use of virtual versus physical snapshots for supporting update-intensive workloads. I Proceedings of the Eighth International Workshop on Data Management on New Hardware: DaMoN '12 (s. 1-8). Association for Computing Machinery. https://doi.org/10.1145/2236584.2236585

Šidlauskas, D., Šaltenis, S. & Jensen, C. S. (2012). Parallel main-memory indexing for moving-object query and update workloads. I Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (s. 37-48 ). Association for Computing Machinery. https://doi.org/10.1145/2213836.2213842

Sidlauskas, D., Ross, K. A., Jensen, C. S. & Saltenis, S. (2011). Thread-Level Parallel Indexing of Update Intensive Moving-Object Workloads. Lecture Notes in Computer Science, 6849, 186-204. https://doi.org/10.1007/978-3-642-22922-0_12

Sidlauskas, D., Saltenis, S. & Jensen, C. S. (2014). Processing of extreme moving-object update and query workloads in main memory. V L D B Journal, 23(5), 817-841. https://doi.org/10.1007/s00778-014-0353-2

Sidlauskas, D. & Jensen, C. S. (2014). Spatial joins in main memory: Implementation matters! Proceedings of the VLDB Endowment, 8(1), 97-100. http://www.vldb.org/pvldb/vol8/p97-sidlauskas.pdf

Sidenmark, L., Clarke, C., Zhang, X., Phu, J. & Gellersen, H. (2020). Outline Pursuits: Gaze-assisted Selection of Occluded Objects in Virtual Reality. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376438 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376438

Sidenmark, L., Potts, D., Bapisch, B. & Gellersen, H. (2021). Radi-Eye: Hands-Free Radial Interfaces for 3D Interaction using Gaze-Activated Head-Crossing. I CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths Artikel 740 Association for Computing Machinery. https://doi.org/10.1145/3411764.3445697

Sidenmark, L., Clarke, C., Newn, J., Lystbæk, M. N., Pfeuffer, K. & Gellersen, H. (2023). Vergence Matching: Inferring Attention to Objects in 3D Environments for Gaze-Assisted Selection. I CHI '23: 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

Sidenmark, L., Lystbæk, M. N. & Gellersen, H. (2023). GE-Simulator: An Open-Source Tool for Simulating Real-Time Errors for HMD-based Eye Trackers. I S. N. Spencer (red.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (s. 1-6). Artikel 8 Association for Computing Machinery. https://doi.org/10.1145/3588015.3588417

Viser resultater 351 til 400 ud af 2935

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series