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

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

Baumann, P., Nyman, J., Høyer, M., Gagliardi, G., Lax, I., Wennberg, B., Drugge, N., Ekberg, L., Friesland, S., Johansson, K.-A., Lund, J.-S., Morhed, E., Nilsson, K. K., Levin, N., Paludan, M., Sederholm, C., Hansen, A. T., Wittgren, L. & Lewensohn, R. (2008). Stereotactic body radiotherapy for medically inoperable patients with stage I non-small cell lung cancer - a first report of toxicity related to COPD/CVD in a non-randomized prospective phase II study. Radiotherapy & Oncology, 88(3), 359-367. https://doi.org/10.1016/j.radonc.2008.07.019

Hobolth, A. & Jensen, E. B. V. (2002). Stereological analysis of shape. Image Analysis and Stereology, 21(4), S23-S29. https://doi.org/10.5566/ias.v21.pS23-S29

Iversen, O. S., Kortbek, K. J., Nielsen, K. R. & Aagaard, L. (2007). Stepstone - An Interactive Floor Application for hearing Impaired Children with a Cochlear Implant. Afhandling præsenteret på Interaction Design and Children, Ålborg, Danmark. http://www.interactivespaces.net/data/uploads/papers/55.pdf

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

Østerby, O. (1985). Step Change Strategies for Multistep Methods. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 196

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

Damgård, I. B., Pedersen, T. P. & Pfitzmann, B. (1998). Statistical secrecy and multibit commitments. I E E E Transactions on Information Theory, 44(3), 1143-1151. https://doi.org/10.1109/18.669255

Guo, Q. (2018). Statistical Modelling of Mutations in Cancer Genomes. Aarhus 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

Hein, J., Wiuf, C., Møller, M., Knudsen, B. & Wibling, G. (2000). Statistical alignment: computational properties, homology testing and goodness-of-fit. J. Mol. Biol., 302(1), 265-279. https://doi.org/10.1006/jmbi.2000.4061

Møller, A., Olesen, M. Ø. & Schwartzbach, M. I. (2007). Static Validation of XSL Transformations. A C M Transactions on Programming Languages and Systems, 29(4), Article 21. https://doi.org/10.1145/1255450.1255454

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2001). Static Validation of Dynamically Generated HTML. I Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (s. 38-45). Association for Computing Machinery. https://doi.org/10.1145/379605.379657

Schwartzbach, M. I. & Palsberg, J. (1994). Static Typing for Object-Oriented Programming. Science of Computer Programming, 23(1), 19-53. https://doi.org/10.1016/0167-6423(94)00014-X

Danvy, O., Damian, D. & Taha, W. (red.) (2001). Static Transition Compression. I Semantics, Applications, and Implementation of Program Generation (Bind 2196 of Lecture Notes in Computer Science, s. 92-107). Springer.

Damian, D. & Danvy, O. (2001). Static Transition Compression. I W. Taha (red.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (s. 92-107). Springer. https://doi.org/10.1007/3-540-44806-3_6

Vorreiter 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

Andersson, A., Miltersen, P. B., Riis, S. & Thorup, M. (1996). Static dictionaries on AC⁰ RAMs: query time (√log n/log log n) is necessary and sufficient. I 37th Annual Symposium on Foundations of Computer Science, 1996. Proceedings. (s. 441-450). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1996.548503

Schwartzbach, M. I. (1990). Static Correctness of Hierarchical Procedures. I M. S. Paterson (red.), Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings (s. 32-45). Springer. https://doi.org/10.1007/BFb0032020

Schwartzbach, M. I. (1996). Static Correctness of Hierarchical Procedures. Theoretical Computer Science, 156(1-2), 177-201. https://doi.org/10.1016/0304-3975(95)00086-0

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

Kirkegaard, C., Møller, A. & Schwartzbach, M. I. (2004). Static Analysis of XML Transformations in Java. I E E E Transactions on Software Engineering, 30(3), 181-192. https://doi.org/10.1109/TSE.2004.1271173

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

Nielsen, B. B. (2021). Static Analysis for Node.js. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Kirkegaard, C. & Møller, A. (2006). Static Analysis for Java Servlets and JSP. I K. Yi (red.), Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings (s. 336-352). Springer. https://doi.org/10.1007/11823230_22

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

Møller, A. (2006). Static Analysis for Event-Based XML Processing. BRICS Report Series, (RS-06-16).

Møller, A. (2008). Static Analysis for Event-Based XML Processing. I PLAN-X: Programming Language Technologies for XML: An ACM SIGPLAN Workshop colocated with POPL 2008 (s. 18-27). Universität Trier.

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2002). Static Analysis for Dynamic XML. I E-Proceeding of PLAN-X 2002 http://homepages.inf.ed.ac.uk/wadler/planx/planx-eproceed/papers/E00-1868950904.pdf

Cornils, A. & Hedin, G. (2000). Statically checked documentation with design patterns. I 33rd International Conference on Technology of Object-Oriented Languages, 2000. TOOLS 33. Proceedings. (s. 419-430). IEEE. https://doi.org/10.1109/TOOLS.2000.848780

Christensen, S., Jensen, K., Mailund, T., Weber, H. (red.), Ehrig, H. (red.) & Reisig, W. (red.) (2001). State Space Methods for Timed Petri Nets. I Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems: DFG Research Group "Petri Net Technology" (s. 33-42). DFG-Forschergruppe Petri Net Technologie.

Christensen, S., Jensen, K., Mailund & Kristensen, L. M. (2001). State space methods for coloured Petri nets. I Proceedings of the 2nd international colloquium on Petri net technologies for modelling communication based systems (s. 14-15)

Lakos, C. & Kristensen, L. M. (2005). State Space Exploration of Object-Based Systems using Equivalence Reduction and the Sweep-line Method. I Third International Symposium on Automated Technology for Verification and Analysis (s. 187-201). Springer LNCS.

Christensen, S., Kristensen, L. M., Aalst, W. M. P. V. D. (red.), Colom, J.-M. (red.), Kordon, F. (red.), Kotsis, G. (red.) & Moldt, D. (red.) (2003). State Space Analysis of Hierarchical Coloured Petri Nets. LINCOM Studies in Computer Science: LSCS 01: Petri Net Approaches for Modelling and Validation, (1), 1-16.

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

Hachisuka, T., Jarosz, W., Georgiev, I., Kaplanyan, A., Nowrouzezahrai, D. & Spencer, B. (2013). State of the Art in Photon-Density Estimation: Course notes. I Proceeding, SA '13 SIGGRAPH Asia 2013 Courses Association for Computing Machinery. https://doi.org/10.1145/2542266.2542281

Bouras, C., Caragiannis, I., Gkamas, A., Protopapas, N., Sardelis, T. & Sgarbas, K. (2023). State of the Art Analysis of Resource Allocation Techniques in 5G MIMO Networks. I 37th International Conference on Information Networking, ICOIN 2023 (s. 632-637). IEEE. https://doi.org/10.1109/ICOIN56518.2023.10049018

Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A. & Toman, V. (2021). Stateless Model Checking Under a Reads-Value-From Equivalence. I A. Silva, K. Rustan & M. Leino (red.), Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: Proceedings (Bind 1, s. 341-366). Springer. https://doi.org/10.1007/978-3-030-81685-8_16

Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M. (2015). Stateless Model Checking of Event-Driven Applications. I OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (s. 57-73). Association for Computing Machinery. https://doi.org/10.1145/2814270.2814282

Micenková, B., van Beusekom, J. & Shafait, F. (2012). Stamp Verification for Automated Document Authentication. Afhandling præsenteret på International Workshop on Computational Forensics , Tsukuba, Japan.

Micenkova, B. & van Beusekom, J. (2011). Stamp Detection in Color Document Images. I 2011 International Conference on Document Analysis and Recognition (ICDAR) (s. 1125-1129). IEEE Computer Society Press. https://doi.org/10.1109/ICDAR.2011.227

Dalsgaard, P. & Kortbek, K. J. (2009). Staging urban atmospheres in interaction design. I Nordes 2009: Engaging Artifacts

Viser resultater 1101 til 1150 ud af 6068

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series