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

Bilstrup, K.-E. K., Kaspersen, M. H. & Petersen, M. G. (2020). Staging reflections on ethical dilemmas in machine learning: A card-based design workshop for high school students. I DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (s. 1211-1222). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395558

Brodersen, A. C., Dindler, C. & Iversen, O. S. (2008). Staging Imaginative Places for Participatory Prototyping. CoDesign: International Journal of CoCreation in Design and the Arts, 4(1).

Kortbek, K. J. (2011). Staging as a Holistic Perspective on Interaction Design for Public Environments. Department of Computer Science, Aarhus University.

Bødker, S. & Iversen, O. S. (2002). Staging a Professional Participatory Design Practice: Moving PD beyond the Initial Fascination of User Involvement. I O. W. Bertelsen (red.), Proceedings of the second Nordic conference on Human-computer interaction (s. 11 - 18). Association for Computing Machinery. https://doi.org/10.1145/572020.572023

Bødker, S. & Iversen, O. S. (2002). Staging a Professional Participatory Design Practice. I Proceedings of Second Nordic Conference on Human-Computer Interaction (s. 11-18).

Engelfriet, J., Schmidt, E. M. & van Leeuwen, J. (1980). Stack Machines and Classes of Nonnested Macro Languages. Journal of the ACM, 27(1), 96-117. https://doi.org/10.1145/322169.322178

Goel, A., Green, M., Hall-Andersen, M. & Kaptchuk, G. (2022). Stacking Sigmas: A Framework to Compose Σ -Protocols for Disjunctions. I O. Dunkelman & S. Dziembowski (red.), Advances in Cryptology – EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings (s. 458-487). Springer. https://doi.org/10.1007/978-3-031-07085-3_16

Landis, D. & Schwartzbach, N. (2023). Stackelberg Attacks on Auctions and Blockchain Transaction Fee Mechanisms. I K. Gal, K. Gal, A. Nowe, G. J. Nalepa, R. Fairstein & R. Radulescu (red.), ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings (s. 2073-2080). IOS Press. https://doi.org/10.3233/FAIA230501

Caragiannis, I., Filos-Ratsikas, A., Kanellopoulos, P. & Vaish, R. (2021). Stable Fractional Matchings. Artificial Intelligence, 295, Artikel 103416. https://doi.org/10.1016/j.artint.2020.103416

Østerby, O. (1993). Stability of finite difference formulas for linear parabolic equations. I D. D. Bainov & V. Covachev (red.), Proceedings of the Second International Colloquium on Numerical Analysis (s. 165-176)

Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hriţcu, C., Maillard, K. & Spitters, B. (2021). SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. I Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021 IEEE. https://doi.org/10.1109/CSF51468.2021.00048

Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hritcu, C., Maillard, K. & Spitters, B. (2021). SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. (s. 397). Cryptology ePrint Archive. https://eprint.iacr.org/2021/397

Haselwarter, P. G., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C., Sidorenco, N., Hriţcu, C., Maillard, K. & Spitters, B. (2023). SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Transactions on Programming Languages and Systems, 45(3), 61. Artikel 15. https://doi.org/10.1145/3594735

Hoggan, E., Trendafilov, D., Ahmaniemi, T. & Raisamo, R. (2011). Squeeze vs. tilt: a comparative study using continuous tactile feedback. I CHI'11 Extended Abstracts on Human Factors in Computing Systems (s. 1309-1314)

Petersen, M. G. (2007). Squeeze: designing for playful experiences among co-located people in homes. (received first prize people's choice award). I M. B. Rosson & D. Gilmore (red.), CHI '07 extended abstracts on Human factors in computing systems: SESSION: Work-in-progress (Bind 2, s. 2609-2614). Association for Computing Machinery.

Cascudo Pueyo, I., Cramer, R., Mirandola, D. & Zémor, G. (2015). Squares of Random Linear Codes. I E E E Transactions on Information Theory, 61(3), 1159-1173. https://doi.org/10.1109/TIT.2015.2393251

Aardal, M. A., Adj, G., F. Aranha, D., Basso, A., Canales Martínez, I. A., Chávez-Saab, J., Corte-Real Santos, M., Dartois, P., De Feo, L., Duparc, M., Komada Eriksen, J., Fouotsa, T. B., Filho, D. L. G., Hess, B., Kohel, D., Leroux, A., Longa, P., Maino, L., Meyer, M. ... Wesolowski, B. (2025). SQIsign 2.0: Algorithm specifications and supporting documentation. https://sqisign.org/spec/sqisign-20250205.pdf

Rindal, P. & Trifiletti, R. (2017, maj 10). SplitCommit: Implementing and Analyzing Homomorphic UC Commitments. Cryptology ePrint Archive. https://eprint.iacr.org/2017/407.pdf

Vindum, S. F. & Birkedal, L. (2023). Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 632-657. Artikel 244. https://doi.org/10.1145/3622820

Vollrath, F. & Krink, T. (2020). Spider webs inspiring soft robotics. Journal of the Royal Society, Interface, 17(172). https://doi.org/10.1098/rsif.2020.0569

Sanggaard, K. W., Bechsgaard, J. S., Fang, X., Duan, J., Dyrlund, T. F., Gupta, V., Jiang, X., Cheng, L., Fan, D., Feng, Y., Han, L., Huang, Z., Wu, Z., Liao, L., Settepani, V., Thøgersen, I. B., Vanthournout, B., Wang, T., Zhu, Y. ... Wang, J. (2014). Spider genomes provide insight into composition and evolution of venom and silk. Nature Communications, 5, Artikel 3765. https://doi.org/10.1038/ncomms4765

Goel, A., Hall-Andersen, M. N., Kaptchuk, G. & Spooner, N. (2023). Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions. I C. Hazay & M. Stam (red.), Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (s. 347-378). Springer. https://doi.org/10.1007/978-3-031-30617-4_12

Brandt, J., Damgård, I. B. & Landrock, P. (1993). Speeding up prime number generation. I Advances in cryptology - ASIACRYPT '91 (s. 440-449). Springer. https://doi.org/10.1007/3-540-57332-1

Brodal, G. S., Fagerberg, R., Mailund, T., Pedersen, C. N. S. & Phillips, D. (2003). Speeding Up Neighbour-Joining Tree Construction. (Work package 5 udg.) ALCOM-FT.

Brodal, G. S., Fagerberg, R., Mailund, T., Pedersen, C. N. S. & Phillips, D. (2003). Speeding Up Neighbour-Joining Tree Construction.

Bovo, R., Giunchi, D., Sidenmark, L., Newn, J., Gellersen, H., Costanza, E. & Heinis, T. (2023). Speech-Augmented Cone-of-Vision for Exploratory Data Analysis. I CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 162 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581283

Bainson, A. B., Boyarski, A., Hermanns, J., Petsinis, P., Aavad, N., Larsen, C. D., Swayne, T., Mottin, D., Bronstein, A. M. & Karras, P. (2023). Spectral Subgraph Localization. I The Second Learning on Graphs Conference (Bind 231, s. 71-711) https://proceedings.mlr.press/v231/bainson24a/bainson24a.pdf

Hermanns, J. F. (2022). Spectral Graph Correspondences. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

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

Wells, L. M. (2005). Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. I G. Ciardo & P. Darondeau (red.), ICATPN 2005 (s. 403-423). Springer LNCS.

Grønbæk, K. & Mogensen, P. H. (1994). Specific Cooperative Analysis and Design in General Hypermedia Development. I R. Trigg, S. I. Anderson & E. Dykstra-Erickson (red.), Proceedings of the 3rd Participatory Design Conference (s. 159-171). Computer Professionals for Social Responsibility.

Kyng, M. (1983). Specification and Verification of Networks in a Petri Net Based Language. I A. Pagnoni & G. Rozenberg (red.), Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets (s. 181-198). Springer.

Kristensen, L. M. & Jensen, K. (2004). Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. I H. Ehrig, W. Damm, J. Desel, M. Grosse-Rhode, W. Reif, E. Schneider & E. Westkämper (red.), Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation. Final Report (Bind 3147, s. 248-269). Springer.

Brønsted, J. & Kristensen, L. M. (2006). Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks. Afhandling præsenteret på 39th Annual Simulation Symposium, Huntsville, Alabama, USA.

Kristensen, B. B. & Madsen, O. L. (1990). Specification and implementation of application-oriented languages. I L. W. Hoevel, B. D. Shriver, J. F. J. Nunamaker, R. H. J. Sprague & V. Milutinovic (red.), Proceedings of the Hawaii International Conference on System Science (s. 55-63). Publ by Western Periodicals Co.

Jensen, K. & Podelski, A. (red.) (2005). Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004. Theoretical Computer Science, 345(1), 1-170. https://doi.org/10.1016/j.tcs.2005.07.034

Jensen, K. & Podelski, A. (red.) (2006). Special Section on "Tools and Algorithms for the Construction and Analysis of Systems". International Journal on Software Tools for Technology Transfer, 8(3), 177-299. https://doi.org/10.1007/s10009-006-0221-5

Jensen, K. (red.) (2001). Special Section on Practical Use of High-level Petri Nets. International Journal on Software Tools for Technology Transfer, 3(4), 369-430. https://doi.org/10.1007/s100090100066

Jensen, K. (2007). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 9(3-4), 209-411. https://doi.org/10.1007/s10009-007-0039-9

Jensen, K. (red.) (1998). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 95-191. https://doi.org/10.1007/s100090050020

Jensen, K. (red.) (2008). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 10(1), 1-110. https://doi.org/10.1007/s10009-007-0056-8

Grønbæk, K. & Trigg, R. H. (red.) (1994). Special Section: "Hypermedia". Association for Computing Machinery. Communications, 37(2), 26-86.

Dalsgaard, B., Magård, E., Fjeldså, J., Martín González, A. M., Rahbek, C., Olesen, J. M., Ollerton, J., Alarcón, R., Cardoso Araujo, A., A. Cotton, P., Lara, C., Graco Machado, C., Sazima, I., Sazima, M., Timmermann, A., Watts, S., Sandel, B. S., J. Sutherland, W. & Svenning, J.-C. (2011). Specialization in Plant-Hummingbird Networks Is Associated with Species Richness, Contemporary Precipitation and Quaternary Climate-Change Velocity. PLoS One, 6(10). https://doi.org/10.1371/journal.pone.0025891

Bergmans, L., Gybels, K. & Ernst, E. (2008). Special Issue: Software-engineering, Properites of Language and Aspect Technologies. Journal of Object Technology, 7(9), 1-1.

Bardram, J. E. (2004). Special issue on Pervasive Healthcare. (8(3) of IEEE Trans. on Inf. Tech. in Biomedicine udg.) IEEE Press.

Danvy, O. (red.) (2003). Special Issue of Higher-Order and Symbolic Computation: Partial Evaluation and Semantics-Based Program Manipulation. I P. Thiemann (red.), Higher-Order and Symbolic Computation: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002) (Bind 16(4), s. 295-401). Springer.

Danvy, O., Henglein, F. (red.), Mairson, H. (red.) & Pettorossi, A. (red.) (2003). Special issue of Higher-Order and Symbolic Computation: - in memory of Bob Paige. Springer.

Danvy, O., Wei-Ngan, C. & Thiemann, P. (red.) (2003). Special issue of Higher-Order and Symbolic Computation: Partial Evaluation and Semantics-Based Program Manipulation. Springer.

Danvy, O. & Sabry, A. (2002). Special issue of Higher-Order and Symbolic Computation: Special Issue on the third ACM SIGPLAN Workshop on Continuations (CW 2001). Springer.

Baillie, L., Benyon, D., Bødker, S. & Macauley, C. (red.) (2003). Special Issue: "Interacting with Household Technologies". Cognition, Technology and Work, 5(1).

Viser resultater 1151 til 1200 ud af 6068

Forrige