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

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

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 (s. 139-148) http://paee.dps.uminho.pt/proceedingsSCOPUS/PAEE_ALE_2023_PROCEEDINGS.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

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

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. (Accepteret/In press). Datamancer: Bimanual Gesture Interaction in Multi-Display Ubiquitous Analytics Environments. I CHI '25: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3706598.3713123

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

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. Aarhus University.

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

Pablos Sarabia, R., Nyborg, J. C., Birk, M. & Assent, I. (2024). RainAI - Precipitation Nowcasting from Satellite Data. Manuskript under forberedelse. I Weather4cast 2023 Competition at NeurIPS 2023 https://doi.org/10.48550/arXiv.2311.18398

Ozbek, D., Alalawi, M., Eckroth, T. M. & Wessely, M. (2024). Demonstration of AcceloPrint: Fabricating Accelerometers with Multi-Material 3D Printing. I M. Wessely, V. Savage, P. Didyk & J. Martinez (red.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Artikel 8 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3665662.3673256

Ø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). Århus 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

Ondov, B., Patel, H. B., Kuo, A. T., Kastner, J., Han, Y., Wei, H., Elmqvist, N. & Samet, H. (2024). Visualizing multilayer spatiotemporal epidemiological data with animated geocircles. Journal of the American Medical Informatics Association, 31(11), 2507-2518. https://doi.org/10.1093/jamia/ocae234

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

Oechsner, S. (2019). Constructions and Proof Techniques for Secure Computation. Århus Universitet.

Obremski, M. & Skorski, M. (2017). Renyi Entropy Estimation Revisited. I J. D. P. Rolim, K. Jansen, D. P. Williamson & S. S. Vempala (red.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 20th International Workshop, APPROX 2017 and 21st International Workshop, RANDOM 2017 (Bind 81, s. 20:1-20:15). Artikel 20 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20

Obremski, M. & Skorski, M. (2018). Inverted Leftover Hash Lemma. I 2018 IEEE International Symposium on Information Theory, ISIT 2018 (Bind 2018-June, s. 1834-1838). Artikel 8437654 IEEE. https://doi.org/10.1109/ISIT.2018.8437654

Obremski, M., Ribeiro, J., Roy, L., Standaert, F.-X. & Venturi, D. (2024). Improved Reductions from Noisy to Bounded and Probing Leakages via Hockey-Stick Divergences. I L. Reyzin & D. Stebila (red.), Advances in Cryptology -- CRYPTO 2024 (s. 461-491). Springer Nature. https://doi.org/10.1007/978-3-031-68391-6_14

Nyborg, J. C. & Assent, I. (2021). Weakly-Supervised Cloud Detection with Fixed-Point GANs. IEEE Transactions on Big Data, 4191-4198. https://doi.org/10.1109/BigData52589.2021.9671405

Nyborg, J. C., Pelletier, C., Lefevre, S. & Assent, I. (2022). TimeMatch: Unsupervised Cross-Region Adaptation by Temporal Shift Estimation. ISPRS Journal of Photogrammetry and Remote Sensing, 188, 301-313. https://doi.org/10.1016/j.isprsjprs.2022.04.018

Nyborg, J. C. (2022). Deep Learning for Remote Sensing in Precision Agriculture: Large-scale and label-efficient methods for satellite image data. Århus Universitet.

Viser resultater 651 til 700 ud af 2961

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series