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

Alon, N., Grønlund, A., Jørgensen, S. F. & Larsen, K. G. (2024). Sublinear Time Shortest Path in Expander Graphs. I R. Kralovic & A. Kucera (red.), 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024 (s. 8:1-8:13). Artikel 8 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2024.8

Pinder, C., Vermeulen, J. & Cowan, B. R. (2018). Subliminal Semantic Number Processing on Smartphones. I L. Bailie & N. Oliver (red.), MobileHCI 2018 - Beyond Mobile: The Next 20 Years - 20th International Conference on Human-Computer Interaction with Mobile Devices and Services, Conference Proceedings (s. 24:1-24:13). Artikel a24 Association for Computing Machinery. https://doi.org/10.1145/3229434.3229451

Pinder, C., Vermeulen, J., Beale, R. & Hendley, R. (2015). Subliminal Priming of Nonconscious Goals on Smartphones. MobileHCI '15 Adjunct, 825-830. https://doi.org/10.1145/2786567.2793707

Friedmann, O., Hansen, T. D. & Zwick, U. (2011). Subexponential lower bounds for randomized pivoting rules for the simplex algorithm. I Proceedings of the 43rd annual ACM symposium on Theory of computing (s. 283-292). Association for Computing Machinery. https://doi.org/10.1145/1993636.1993675

Riedel, C., Michael, G. G., Orgel, C., Baum, C., van der Bogert, C. H. & Hiesinger, H. (2021). Studying the Global Spatial Randomness of Impact Craters on Mercury, Venus, and the Moon With Geodesic Neighborhood Relationships. Journal of Geophysical Research: Planets, 126(3), Artikel e2020JE006693. https://doi.org/10.1029/2020JE006693

Kjærgaard, M. B. (2013). Studying Sensing-Based Systems: Scaling to Human Crowds in the Real World . I E E E Internet Computing, 17(5), 80 - 84 . https://doi.org/10.1109/MIC.2013.101

Hjorth, A. & Wilensky, U. (2019). Studying Conceptual Change in Classrooms Using Association Rule Mining to Detect Changes in Students' Explanations of the Effects of Urban Planning and Social Policy. Constructivist Foundations, 14(3), 272-283. https://constructivist.info/14/3/272

Avdic, M. & Vermeulen, J. (2019). Studying Breakdowns in Interactions with Smart Speakers. Afhandling præsenteret på The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, Storbritannien. https://iotdirections.wordpress.com/

Campanelli, M., Francati, D. & Orlandi, C. (2023). Structure-Preserving Compilers from New Notions of Obfuscations. 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. 663-693). Springer. https://doi.org/10.1007/978-3-031-31371-4_23

Melissaris Papanikolaou, N., Couteau, G. & Bui, D. (2024). Structured-Seed Local Pseudorandom Generators and their Applications. Advance online publication. https://eprint.iacr.org/2024/1027

Madsen, O. L., Magnusson, B. & Møller-Pedersen, B. (1990). Strong typing of object-oriented languages revisited. I Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990 (s. 140-150). Association for Computing Machinery, Inc.. https://doi.org/10.1145/97945.97964

Loss, J., Maurer, U. & Tschudi, D. (2018). Strong Separations Between Broadcast and Authenticated Channels. I U. Schmid & J. Widder (red.), 32nd International Symposium on Distributed Computing (DISC 2018) (Bind 121, s. 36:1-36:17). Artikel 36 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.DISC.2018.36

Damgård, I., Haagh, H., Mercer, R., Nitulescu, A., Orlandi, C. & Yakoubov, S. (2020). Stronger Security and Constructions of Multi-designated Verifier Signatures. I R. Pass & K. Pietrzak (red.), Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings: Proceedings (Bind II, s. 229-260). Springer. https://doi.org/10.1007/978-3-030-64378-2_9

Munch-Hansen, A., Orlandi, C. & Yakoubov, S. (2021). Stronger Notions and a More Efficient Construction of Threshold Ring Signatures. I P. Longa & C. Ràfols (red.), Progress in Cryptology – LATINCRYPT 2021 : 7th International Conference on Cryptology and Information Security in Latin America, Proceedings (s. 363-381). Springer. https://doi.org/10.1007/978-3-030-88238-9_18

Aggarwal, D., Damgård, I., Nielsen, J. B., Obremski, M., Purwanto, E., Ribeiro, J. & Simkin, M. (2019). Stronger leakage-resilient and non-malleable secret sharing schemes for general access structures. I A. Boldyreva & D. Micciancio (red.), Advances in Cryptology – CRYPTO 2019 : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings (Bind II, s. 510-539). Springer. https://doi.org/10.1007/978-3-030-26951-7_18

Chung, E. & Larsen, K. G. (2023). Stronger 3SUM-Indexing Lower Bounds. I N. Bansal & V. Nagarajan (red.), Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) (s. 444-455). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch19

Batziou, E., Hansen, K. A. & Høgh, K. (2021). Strong Approximate Consensus Halving and the Borsuk-Ulam Theorem. I N. Bansal, E. Merelli & J. Worrell (red.), 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (Bind 198, s. 24:1-24:20). Artikel 24 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2021.24

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

Madsen, M. & Andreasen, E. (2014). String Analysis for Dynamic Field Access. I A. Cohen (red.), Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (s. 197-217). Springer. https://doi.org/10.1007/978-3-642-54807-9_12

Brodal, G. S., Nielsen, J. A. S. & Truelsen, J. (2015). Strictly Implicit Priority Queues: On the Number of Moves and Worst-Case Time. I F. Dehne, J.-R. Sack & U. Stege (red.), Algorithms and Data Structures: 14th International Symposium, WADS 2015, Proceedings (s. 91-102). Springer VS. https://doi.org/10.1007/978-3-319-21840-3_8

Brodal, G. S., Lagogiannis, G. & Tarjan, R. E. (2012). Strict fibonacci heaps. I STOC '12 Proceedings of the 44th symposium on Theory of Computing (s. 1177-1184 ). Association for Computing Machinery. https://doi.org/10.1145/2213977.2214082

Son, W. & Afshani, P. (2015). Streaming Algorithms for Smallest Intersecting Ball of Disjoint Balls. I R. Jain, S. Jain & F. Stephan (red.), Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings (s. 189-199 ). Springer VS. https://doi.org/10.1007/978-3-319-17142-5

Lex, A., Streit, M., Schulz, H.-J., Partl, C., Schmalstieg, D., Park, P. J. & Gehlenborg, N. (2012). StratomeX: Visual Analysis of Large-Scale Heterogeneous Genomics Data for Cancer Subtype Characterization. Computer Graphics Forum, 31(3), 1175-1184. https://doi.org/10.1111/j.1467-8659.2012.03110.x

Hansen, T. D., Miltersen, P. B. & Zwick, U. (2013). Strategy Iteration Is Strongly Polynomial for 2-Player Turn-Based Stochastic Games with a Constant Discount Factor. Association for Computing Machinery. Journal, 60(1), Article No. 1 . https://doi.org/10.1145/2432622.2432623

Hansen, T. D., Miltersen, P. B. & Zwick, U. (2011). Strategy iteration is strongly polynomial for 2-player turn-based stochastic games with a constant discount factor. I Proceedings of the Second Symposium on Innovations in Computer Science (s. 253-263). Tsinghua University Press, Beijing. http://conference.itcs.tsinghua.edu.cn/ICS2011/content/papers/7.html

Cermak, J., Bosansky, B. & Gatti, N. (2015). Strategy Effectiveness of Game-Theoretical Solution Concepts in Extensive-Form General-Sum Games. Abstract fra International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Tyrkiet. http://dl.acm.org/citation.cfm?id=2773450&CFID=719158965&CFTOKEN=25615646

Ibsen-Jensen, R. (2013). Strategy complexity of two-player, zero-sum games. Department of Computer Science, University of Aarhus.

Ibsen-Jensen, R. & Chatterjee , K. (2013). Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games. I A. Kučera , T. A. Henzinger, J. Nešetřil, T. Vojnar & D. Antoš (red.), Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (s. 106-117). Springer VS. https://doi.org/10.1007/978-3-642-36046-6_11

Chatterjee, K., Hansen, K. A. & Ibsen-Jensen, R. (2017). Strategy Complexity of Concurrent Safety Games. 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. 55:1-55:13). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2017.55

Rossitto, C., Berns, K. & Larsen-Ledet, I. (2020). Strategies of Visibility: Growth, Media and Social Movements. Afhandling præsenteret på The 23rd ACM Conference on Computer-Supported Cooperative Work and Social Computing.

Guerraoui, R., Aksit, M., Black, A., Cardelli, L., Cointe, P., Coplien, J., Kiczales, G., Lea, D., Madsen, O., Magnusson, B., Meseguer, J., Moessenboeck, H., Palsberg, J. & Schmidt, D. (1996). Strategic directions in object-oriented programming. ACM Computing Surveys, 28(4), 691-700. https://doi.org/10.1145/242223.242275

Grønborg, T. K., Hansen, S. N., Nielsen, S., Skytthe, A. & Parner, E. T. (2015). Stoppage in Autism Spectrum Disorders. Journal of Autism and Developmental Disorders, 45(11), 3509-3519. https://doi.org/10.1007/s10803-015-2497-3

Yang, B., Guo, C., Jensen, C. S., Kaul, M. & Shang, S. (2014). Stochastic skyline route planning under time-varying uncertainty. I 2014 IEEE 30th International Conference on Data Engineering (ICDE), (s. 136-147). IEEE. https://doi.org/10.1109/ICDE.2014.6816646

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. (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

Da Rocha Pinto, P., Dinsdale-Young, T. & Gardner, P. (2015). Steps in Modular Specifications for Concurrent Modules: (Invited Tutorial Paper). Electronic Notes in Theoretical Computer Science, 319, 3-18. https://doi.org/10.1016/j.entcs.2015.12.002

Birkedal, L., Bizjak, A. & Schwinghamme, J. (2013). Step-Indexed Relational Reasoning for Countable Nondeterminism. Logical Methods in Computer Science, 9(4), Artikel 4. https://doi.org/10.2168/LMCS-9(4:4)2013

Bizjak, A. & Birkedal, L. (2015). Step-indexed logical relations for probability. I A. Pitts (red.), Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (s. 279-294 ). Springer VS. https://doi.org/10.1007/978-3-662-46678-0_18

Aguirre, A. & Birkedal, L. (2023). Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice. Proceedings of the ACM on Programming Languages , 7, 33-60. Artikel 2. https://doi.org/10.1145/3571195

Hogräfer, M., Angelini, M., Santucci, G. & Schulz, H.-J. (2022). Steering-by-Example for Progressive Visual Analytics. ACM Transactions on Intelligent Systems and Technology, 13(6), 1–26. Artikel 96. https://doi.org/10.1145/3531229

Bhatacharya, H., Nielsen, M. B. & Bridson, R. (2012). Steady State Stokes Flow Interpolation for Fluid Control. Annual Conference of the European Association for Computer Graphics , 33, 57-60. https://doi.org/10.2312/conf/EG2012/short/057-060

Guo, Q. (2018). Statistical Modelling of Mutations in Cancer Genomes. Århus Universitet.

Orlandi, C., Ostrovsky, R., Rao, V., Sahai, A. & Visconti, I. (2014). Statistical Concurrent Non-malleable Zero Knowledge. I Y. Lindell (red.), Theory of Cryptography: 11th Theory of Cryptography Conference, TCC 2014, 2014. Proceedings (s. 167-191). Springer Publishing Company. https://doi.org/10.1007/978-3-642-54242-8_8

Pedersen, M. & Askarov, A. (2019). Static Enforcement of Security in Runtime Systems. I Proceedings - 2019 IEEE 32nd Computer Security Foundations Symposium, CSF 2019 (s. 335-350). Artikel 8823712 IEEE. https://doi.org/10.1109/CSF.2019.00030

Stein, B., Nielsen, B. B., Chang, B.-Y. E. & Møller, A. (2019). Static Analysis with Demand-driven Value Refinement. Proceedings of the ACM on Programming Languages , 3(OOPSLA), Artikel 140. https://doi.org/10.1145/3360566

Madsen, M. (2015). Static Analysis of Dynamic Languages. Department of Computer Science, Aarhus University.

Nielsen, B. B. (2021). Static Analysis for Node.js. Århus Universitet.

Jensen, S. H. (2013). Static Analysis for JavaScript. Datalogisk Institut, Aarhus Universitet.

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

Hachisuka, T., Jarosz, W., Bouchard , G., Christensen, P., Frisvad, J. R., Wenzel, J., Henrik Wann, J., Kaschalk, M., Knaus, C., Selle, A. & Spencer, B. (2012). State of the Art in Photon-Density Estimation: Course notes. I SIGGRAPH '12 ACM SIGGRAPH 2012 Courses Association for Computing Machinery. https://doi.org/10.1145/2343483.2343489

Viser resultater 501 til 550 ud af 2935

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series