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

Pettie, S. (2014). Sensitivity analysis of minimum spanning trees in sub-inverse-ackermann time. (arXiv:1407.1910v1 udg.) arXiv.org. http://arxiv.org/abs/1407.1910

Petsinis, P., Pavlogiannis, A. & Karras, P. (2023). Maximizing the Probability of Fixation in the Positional Voter Model. I B. Williams, Y. Chen & J. Neville (red.), AAAI-23 Technical Tracks 10 (s. 12269-12277). Artikel 190493 AAAI Press.

Petrescu, A., Truica, C. O., Apostol, E. S. & Karras, P. (2021). Sparse Shield: Social Network Immunization vs. Harmful Speech. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 1426-1436). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482481

Petersen, M. G. & Rasmussen, M. K. (2011). Re-scripting artefacts with feminine values. Afhandling præsenteret på dPPI 2011.

Petersen, M. G. & Rasmussen, M. K. (2011). The Ambiguity of Shape Changing Interfaces. Afhandling præsenteret på Organic User Interface Workshop, Funchal, Portugal.

Petersen, M. G. & Rasmussen, M. K. (2011). Value representations: a value based dialogue tool. I making Design Matter! : Proceedings Nordes '11 : the Nordic 4th Nordic Design Research Conference (s. 284-287). School of Art & Design, Aalto University . http://ocs.sfu.ca/nordes/index.php/nordes/2011/paper/view/445

Petersen, M. G., Rasmussen, M. K. & Jakobsen, K. (2015). Framing open-ended and constructive play with emerging interactive materials. I Proceedings of the 14th International Conference on Interaction Design and Children , IDC '15 (s. 150-159 ). Association for Computing Machinery. https://doi.org/10.1145/2771839.2771855

Petersen, O. B., Rasch, S. M., Bach, K., Holst, L. & Kyng, M. (2015). Meningsfuld telemedicinsk hjemmemonitorering for både klinikere og patienter skabes gennem forhandling og involvering. Abstract fra E-Sundhedsobservatoriets årskonference 2015, Nyborg, Danmark. http://2015.e-sundhedsobservatoriet.dk/forslag/evaluering-af-e-sundhedsprojekter/meningsfuld-telemedicinsk-hjemmemonitorering-b-de

Petersen, M. G., Rasmussen, M. K. & Krogh, P. G. (2017). Collective Interaction: A Designerly Visual Analysis of Seven Research Prototypes. I Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (s. 68-76). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152779

Petersen, M. G., Rasmussen, M. K. & Trettvik, J. (2020). Affordances of Shape-Changing Interfaces: An Information Perspective on transformability and Movement. I DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (s. 1959-1971). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395521

Petersen, R. K. B. & Afshani, P. (2021). Rectangle Stabbing and Orthogonal Range Reporting Lower Bounds in Moderate Dimensions. 167-174.

Petersen, R. K. B. (2022). A Tale of Twines, Quadrangles and Colorful Hierarchies. Aarhus Universitet.

Petersen, M. G., Iversen, O. S., Krogh, P. G. & Ludvigsen, M. (2004). Aesthetic interaction - A pragmatist's aesthetics of interactive systems. I DIS2004 - Designing Interactive Systems: Across the Spectrum (s. 269-276)

Peternier , A., Binder, W., Ernst, E. & Hirschfeld, R. (red.) (2014). MODULARITY 2014 - Proceedings of the 13th International Conference on Modularity (Formerly AOSD). Association for Computing Machinery. http://www.scopus.com/inward/record.url?scp=84900004198&partnerID=8YFLogxK

Perner, A., Kjær, M. B. N., Thorsen-Meyer, H. C., Kaas-Hansen, B. S., Munch, M. W., Collet, M. O., Bruun, C. R., Jensen, A. K., Lange, T., Albertsen, T., Pedersen, C. D., Poulsen, L. M., Mathiesen, O., Brøchner, A. C., Strøm, T., Andersen, L. W., Christensen, S., Rasmussen, B. S., Schjørring, O. L. ... Granholm, A. (2023). Platform trials. Ugeskrift for Laeger, 185(41).

Penninckx, W., Timany, A. & Jacobs, B. (2019). Abstract I/O Specification. ArXiv. http://arxiv.org/abs/1901.10541v1

Pedersen, C. N. S., Axelsen, K. B., Harper, J. F. & Palmgren, M. G. (2012). Evolution of plant P-type ATPases. Frontiers in Plant Science, 21. https://doi.org/10.3389/fpls.2012.00031

Pedersen, B. P., Ifrim, G., Liboriussen, P., Axelsen, K. B., Palmgren, M. G., Nissen, P., Wiuf, C. H. & Pedersen, C. N. S. (2014). Large Scale Identification and Categorization of Protein Sequences Using Structured Logistic Regression. P L o S One, 9(1), Artikel e85139. https://doi.org/10.1371/journal.pone.0085139

Pedersen, M. V. & Askarov, A. (2017). From Trash to Treasure: Timing-Sensitive Garbage Collection. I 2017 IEEE Symposium on Security and Privacy, SP 2017 - Proceedings (s. 693-709). Artikel 7958605 IEEE Computer Society Press. https://doi.org/10.1109/SP.2017.64

Pedersen, M. & Chong, S. (2019). Programming with Flow-Limited Authorization: Coarser is Better. I Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019 (s. 63-78). Artikel 8806736 IEEE. https://doi.org/10.1109/EuroSP.2019.00015

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

Pedersen, M. (2019). Enforcement of Timing-Sensitive Security Policies in Runtime Systems. Aarhus University.

Pedersen, T. B., Madsen, O. L., Alstrup, S., Togsverd, T., Bardram, J., Bechmann, A., Glæsel, J. & Grønbæk, K. (2017). Hele Danmark som digital super-region? Akademiet for de Tekniske Videnskaber (ATV). https://atv.dk/sites/atv.dk/files/media/document/Notat_ATV_Debatoplaeg_fra_ATV%27s_Digitale_Vismaend_-_Danmark_som_digital_vaekstregion_final_web2_September_2017.pdf

Pavlogiannis, A. (2020). Fast, Sound, and Effectively Complete Dynamic Race Prediction. Proceedings of the ACM on Programming Languages, 4(POPL), 1-29. Artikel 17. https://doi.org/10.1145/3371085

Pavlogiannis, A. (2020). The Fine-Grained Complexity of Andersen's Pointer Analysis. ArXiv. https://arxiv.org/abs/2006.01491

Pavlogiannis, A., Schaumberger, N., Schmid, U. & Chatterjee, K. (2020). Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3981-3992. Artikel 9211419. https://doi.org/10.1109/TCAD.2020.3012803

Paviotti, M., Møgelberg, R. E. & Birkedal, L. (2015). A model of PCF in guarded type theory. Electronic Notes in Theoretical Computer Science, 319, 333–349. https://doi.org/10.1016/j.entcs.2015.12.020

Pauli, A. B., Derczynski, L. & Assent, I. (2022). Modelling Persuasion through Misuse of Rhetorical Appeals. I NLP4PI 2022 - 2nd Workshop on NLP for Positive Impact, Proceedings of the Workshop (s. 89-100). Association for Computational Linguistics. https://pure.itu.dk/ws/portalfiles/portal/90392646/wokrshop_social_impact.pdf

Patra, A. & Ravi, D. (2023). Beyond Honest Majority: The Round Complexity of Fair and Robust Multi-party Computation. Journal of Cryptology, 36(3), Artikel 30. https://doi.org/10.1007/s00145-023-09468-0

Pastro, V. (2012). Construction of rational elliptic surfaces with Mordell-Weil rank four. Commentarii Mathematici Universitatis Sancti Pauli, 61(1), 29-42.

Pastro, V. (2013). Zero-Knowledge Protocols and Multiparty Computation. Department of Computer Science, Aarhus University.

Pasquini, D., Francati, D. & Ateniese, G. (2022). Eluding Secure Aggregation in Federated Learning via Model Inconsistency. I CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (s. 2429-2443). Association for Computing Machinery. https://doi.org/10.1145/3548606.3560557

Papakonstantinou, P. A., Xu, J. & Yang, G. (2016). On the power and limits of distance-based learning. I M-F. Balcan & K. Q. Weinberger (red.), Proceedings of the 33nd International Conference on Machine Learning, {ICML} 2016, New York City, NY, USA, June 19-24, 2016 (Bind 48, s. 2263-2271). JMLR.org.

Pakusch, C., Boden, A., Korsgaard, H., Lewkowicz, M., Avram, G. & Bødker, S. (2021). 2nd Workshop on Studying Technical Mechanisms for Supporting Sharing Communities. Afhandling præsenteret på The 19th European Conference on Computer-Supported Cooperative Work, Zurich, Schweiz. https://doi.org/10.18420/ecscw2021-wsmc01

Pakanen, M., Polli, A. M., Lee, S., Lindley, J. & Goncalves, J. (2013). Tending a Virtual Garden: Exploring Connectivity between Cities. I UbiComp '13 Adjunct Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication (s. 761-764 ). Association for Computing Machinery. https://doi.org/10.1145/2494091.2496004

Pagnin, E., Gunnarsson, G., Talebi, P., Orlandi, C. & Sabelfeld, A. (2019). TOPPool: Time-aware Optimized Privacy-Preserving Ridesharing. Proceedings on Privacy Enhancing Technologies, 2019(4), 93-111. https://doi.org/10.2478/popets-2019-0060

Pagh, R., Wei, Z., Yi, K. & Zhang , Q. (2014). Cache-Oblivious Hashing. Algorithmica, 69(4), 864-883. https://doi.org/10.1007/s00453-013-9763-6

Pablos-Sarabia, R., Griol, D. & Callejas, Z. (2023). A Proposal for Data Collection and Process Automatization for Ubiquitous Engagement with Mental Health Organizations. I J. Bravo, S. Ochoa & J. Favela (red.), Proceedings of the International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2022 (s. 336-341). Springer. https://doi.org/10.1007/978-3-031-21333-5_34

Østergaard Laursen, C., Pedersen, S., Merritt, T. R. & Caprani, O. (2016). Robot-Supported Food Experiences: Exploring Aesthetic Plating with Design Prototypes. I J. T.K.V.Koh, B. J. Dunstan, D. Silvera-Tawil & M. Velonaki (red.), Cultural Robotics - 1st International Workshop, CR 2015 and Held as Part of IEEE RO-MAN 2015, Revised Selected Papers: First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers (Bind 9549, s. 107-130). Springer. https://doi.org/10.1007/978-3-319-42945-8_10

Østerby, O. (2015). Numerical Solution of Parabolic Equations. Department of Computer Science, Aarhus University. https://doi.org/10.7146/aul.5.5

Østerby, O. (2016). On the Stability of ADI Methods. DAIMI PB, 598, 1-7. https://doi.org/10.7146/dpb.v42i598.25146

Østerby, O. (2017). On Saulyev's Methods. I DAIMI Report Series (Bind 599, s. 1-11). Aarhus Universitet. https://doi.org/10.7146/dpb.v43i599.26410

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

Orlandi, C. (2017). Faster Zero-Knowledge Protocols and Applications: Invited Talk Abstract. I P. Farshim & E. Simion (red.), Innovative Security Solutions for Information Technology and Communications - 10th International Conference,SecITC 2017, Revised Selected Papers: Innovative Security Solutions for Information Technology and Communications (Bind 10543, s. 1-11). Springer VS. https://doi.org/10.1007/978-3-319-69284-5_1

Orlandi, C., Scholl, P. & Yakoubov, S. (2021). The Rise of Paillier: Homomorphic Secret Sharing and Public-Key Silent OT. I A. Canteaut & F-X. Standaert (red.), Advances in Cryptology – EUROCRYPT 2021 : 7th International Conference on Cryptology and Information Security in Latin America, Proceedings (s. 678-708). Springer. https://doi.org/10.1007/978-3-030-77870-5_24

Orlandi, C., Ravi, D. & Scholl, P. (2022). On the Bottleneck Complexity of MPC with Correlated Randomness. I G. Hanaoka, J. Shikata & Y. Watanabe (red.), Public-Key Cryptography – PKC 2022: 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I (s. 194-220). Springer. https://doi.org/10.1007/978-3-030-97121-2_8

Oortwijn, W., Huisman, M., Joosten, S. J. C. & van de Pol, J. (2020). Automated verification of parallel nested DFS. I A. Biere & D. Parker (red.), Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (s. 247-265). Springer. https://doi.org/10.1007/978-3-030-45190-5_14

Olsen, M. & Revsbæk, M. (2013). On Alliance Partitions and Bisection Width for Planar Graphs. Journal of Graph Algorithms and Applications, 17(6), 599-614. https://doi.org/10.7155/jgaa.00307

Olsen, M. & Revsbæk, M. (2013). Alliances and Bisection Width for Planar Graphs. I S. K. Ghosh & T. Tokuyama (red.), WALCOM: Algorithms and Computation: 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings (s. 206-216). Springer VS. https://doi.org/10.1007/978-3-642-36065-7_20

Olin, P. A., Issa, A. M., Feuchtner, T. & Grønbæk, K. (2020). Designing for Heterogeneous Cross-Device Collaboration and Social Interaction in Virtual Reality. I N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (red.), Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (s. 112-127). Association for Computing Machinery. https://doi.org/10.1145/3441000.3441070

Viser resultater 551 til 600 ud af 2601

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series