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

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

Pedersen, C. N. S. (2002). Bioinformatik ved Aarhus Universitet. Biozoom, (3), 12-18.

Pedersen, C. N. S., Scharling, T., Guigó, R. (red.) & Gusfield, D. (red.) (2002). Comparative Methods for Gene Structure Prediction in Homologous Sequences. I Ikke angivet (2452 of Lecture Notes in Computer Science udg., Bind 2452/2002, s. 220-234). Springer.

Pedersen, H. & Midtgaard, J. (2001). Different Evolutionary Approaches to Football Expertise. (s. p. 87-97). EVALife, Dept. of Computer Science, University of Aarhus. http://www.evalife.dk/publications/RKU_ToEC2001_reports.pdf

Pedersen, H. & Boomsma, W. (2006). Classifying Parasite Eggs in Microscope Images. Softwareprogram http://www.daimi.au.dk/~henrikp/publications/ClassifyingParasiteEggs.pdf

Pedersen, M. Ø. & Pagter, J. I. (2007). The All-or-Nothing Anti-Theft Policy - Theft Protection for Pervasive Computing. I Proceedings of AINA Workshops (1 udg., Bind 1, s. 626-631). IEEE Computer Society Press.

Pedersen, C. S. & Kristensen, T. G. (2009). Optimal Overlay of Ligands with Flexible Bonds Using Differential Evolution. Poster-session præsenteret på 17th Annual International Conference on Intelligent Systems for Molecular Bioligy (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sverige. http://www.iscb.org/ismbeccb2009/poster_list.php?cat=C

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. PLoS 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, 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

Pedersen, J. M., Blatchley Hansen, A. & Halbe Torres, M. (2023). Winning the European Cyber Security Challenge 2022: What did We Learn? I International Symposium on Project Approaches in Engineering Education: Volume 13 (s. 148-157). University of Minho. http://paee.dps.uminho.pt/proceedingsSCOPUS/PAEE_ALE_2023_PROCEEDINGS.pdf

Pedersen, T. B. (2006). Quantum Encryption Minimising Key Leakage under Known Plaintext Attacks.

Pedersen, M. Ø. (2008). Authentication and Privacy with Application to Pervasive Computing. Aarhus Universitetsforlag.

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://doi.org/10.18653/v1/2022.nlp4pi-1.11

Pauli, A. B., Derczynski, L. & Assent, I. (2023). Anchoring Fine-tuning of Sentence Transformer with Semantic Label Information for Efficient Truly Few-shot Classification. I H. Bouamor, J. Pino & K. Bali (red.), Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing (s. 11254–11264). Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.emnlp-main.692

Pauli, A. B., Pablos Sarabia, R., Derczynski, L. & Assent, I. (2023). TeamAmpa at SemEval-2023 Task 3: Exploring Multilabel and Multilingual RoBERTa Models for Persuasion and Framing Detection. I A. K. Ojha, A. S. Doğruöz, G. Da San Martino, H. Tayyar Madabushi, R. Kumar & E. Sartori (red.), Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023) (s. 847–855). Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.semeval-1.117

Pauli, A. B., Augenstein, I. & Assent, I. (2025). Measuring and Benchmarking Large Language Models’ Capabilities to Generate Persuasive Language. I L. Chiruzzo, A. Ritter & L. Wang (red.), Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers) (s. 10056-10075). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.naacl-long.506

Pauli, A. B., Augenstein, I. & Assent, I. (2025). Mind the Style Gap: Meta-Evaluation of Style and Attribute Transfer Metrics. I C. Christodoulopoulos, T. Chakraborty, C. Rose & V. Peng (red.), EMNLP 2025 - 2025 Conference on Empirical Methods in Natural Language Processing, Findings of EMNLP 2025: EMNLP 2025 (s. 21550-21564). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.findings-emnlp.1175

Paudice, A., Høgsgaard, M. M., da Cunha, A. & Sun, Y. (2025). Revisiting Agnostic Boosting. I The Thirty-Ninth Annual Conference on Neural Information Processing Systems

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

Patnaik, B., Peng, H. & Elmqvist, N. (2024). VisTorch: Interacting with Situated Visualizations using Handheld Projectors. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 208 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642857

Patnaik, B., Borowski, M., Peng, H., Klokmose, C. N. & Elmqvist, N. (2025). Datamancer: Bimanual Gesture Interaction in Multi-Display Ubiquitous Analytics Environments. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 281 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713123

Paterlini, S. & Krink, T. (2004). High Performance Clustering with Differential Evolution. I Ikke angivet (s. 2004-2011). IEEE Press.

Patel, K., Phadnis, V., Gonzalez, E. J., Gellersen, H., Pfeuffer, K. & Gonzalez-Franco, M. (2025). H2E: Hand, Head, Eye a Multimodal Cascade of Natural Inputs. I Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (s. 84-89) https://doi.org/10.1109/VRW66409.2025.00026

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

Pasquini, D., Francati, D., Ateniese, G. & Evgenios M. Kornaropoulos, E. M. (2024). Breach Extraction Attacks: Exposing and Addressing the Leakage in Second Generation Compromised Credential Checking Services. I 2024 IEEE Symposium on Security and Privacy (SP): Proceedings (s. 1405-1423). IEEE. https://doi.org/10.1109/SP54263.2024.00114

Paschos, V. T., Telelis, O. & Zissimopoulos, V. (2010). Probabilistic models for the Steiner Tree problem. Networks (New York), 56(1), 39-49. https://doi.org/10.1002/net.20346

Papanikolaou, N. M. (2025). Better, Faster, Stronger - Improving Security, Efficiency, and Primitives for MPC. [Ph.d.-afhandling, Aarhus Universitet].

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.

Pancholi, M. R. (2024). Beyond Knowledge Soundness of SNARKs. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Palen, L. A. & Ballegaard, S. A. (2006). Of Pill Boxes and Piano Benches: "Home-made" Methods for Managing Medication. Afhandling præsenteret på CSCW '06, Banff, Alberta, Canada.

Palen, L. A., Grinter, R. & Eldridge, M. (2006). Chatting with Teenagers: Considering the Place of Chat Technologies in Teen Life. ACM Transactions on Computer-Human Interaction, 13(4).

Palen, L. A. & Hughes, A. (2006). When home base is not a place: parents' use of mobile telephones. Personal and Ubiquitous Computing Journal.

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

Pagter, J. I. (2001). Time-Space Trade-Offs. (BRICS Dissertation Series DS-01-2 udg.) Aarhus Universitet.

Pagter, J. I. (2005). On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem. Chicago Journal of Theoretical Computer Science.

Pagter, J. I. & Arge, L. (2000). I/O-Space Trade-Offs: Extended Abstract. I Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings (s. 509-514). Springer. https://doi.org/10.1007/3-540-44985-X_38

Pagter, J. I. & Rauhe, T. (1998). Optimal Time-Space Trade-Offs for Sorting. I Proc. of 39th Annual Symposium on Foundations of Computer Science (FOCS '98) IEEE. https://doi.org/10.1109/SFCS.1998.743455

Pagter, J. I., Toft, T., Damgård, I. B., Bogetoft, P., Nielsen, K. & Jakobsen, T. (2005). Secure Computing, Economy, and Trust - A Generic Solution for Secure Auctions with Real-World Applications. BRICS Report Series, (RS-05-18), 1-35.

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. & Pagter, J. (2001). Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting. BRICS Report Series, (RS-01-2), 20-20.

Pagh, R., Pagter, J. I. & Eppstein, D. (red.) (2002). Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting. I Symposium on Discrete Algorithm: Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms (s. 9-18). Association for Computing Machinery.

Viser resultater 1101 til 1150 ud af 6074

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series