Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Larsen, K. G. (2019). Constructive Discrepancy Minimization with Hereditary L2 Guarantees. In R. Niedermeier & C. Paul (Eds.), 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) Article 48 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. https://doi.org/10.4230/LIPIcs.STACS.2019.48

Larsen, M. R. E., Han, W. & Schulz, H.-J. (2020). Sketchy Rendering to Aid the Recollection of Regular Visualizations. In EuroVis 2020: Short Papers (pp. 139-143). Eurographics Association. https://doi.org/10.2312/evs.20201062

Larsen, K. G., Mitzenmacher, M. & Tsourakakis, C. E. (2020). Optimal Learning of Joint Alignments with a Faulty Oracle. In 2020 IEEE International Symposium on Information Theory, ISIT 2020 (pp. 2492-2497). IEEE. https://doi.org/10.1109/ISIT44484.2020.9174310

Larsen, K. G. & Simkin, M. (2020). Secret sharing lower bound: Either reconstruction is hard or shares are long. In C. Galdi & V. Kolesnikov (Eds.), Security and Cryptography for Networks (pp. 566-578). Springer. https://doi.org/10.1007/978-3-030-57990-6_28

Larsen, K. G., Simkin, M. & Yeo, K. (2020). Lower Bounds for Multi-server Oblivious RAMs. In R. Pass & K. Pietrzak (Eds.), Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings (pp. 486-503). Springer. https://doi.org/10.1007/978-3-030-64375-1_17

Larsen, K. G., Starup, J. L. & Steensgaard, J. (2021). Further Unifying the Landscape of Cell Probe Lower Bounds. Paper presented at Happening virtually , -. https://cs.au.dk/~larsen/papers/FurtherUnifying.pdf

Larsen, K. G., Pagh, R. & Tetek, J. (2021). CountSketches, Feature Hashing and the Median of Three. In M. Meila & T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ICML 2021 (pp. 6011-6020) http://proceedings.mlr.press/v139/larsen21a.html

Larsen, K. G., Obremski, M. & Simkin, M. (2023). Distributed Shuffling in Adversarial Environments. In K.-M. Chung (Ed.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 Article 10 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2023.10

Larsen, K. G. (2023). Bagging is an Optimal PAC Learner. In G. Neu & L. Rosasco (Eds.), Proceedings of COLT 2023 (pp. 450-468). MLResearch Press.

Larsen, K. G. (2023). Fast Discrepancy Minimization with Hereditary Guarantees. In N. Bansal & V. Nagarajan (Eds.), Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) (pp. 276-289). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch11

Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023). A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. In S. Sankaranarayanan & N. Sharygina (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (pp. 353-371). Springer. https://doi.org/10.1007/978-3-031-30820-8_22

Larsen, K. G., Pagh, R., Persiano, G., Pitassi, T., Yeo, K. & Zamir, O. (2024). Optimal Non-Adaptive Cell Probe Dictionaries and Hashing. In K. Bringmann, M. Grohe, G. Puppis & O. Svensson (Eds.), 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 Article 104 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2024.104

Laoudias, C., Nikitin, A., Karras, P., Youssef, M. & Zeinalipour-Yazti, D. (2021). Indoor Quality-of-Position Visual Assessment Using Crowdsourced Fingerprint Maps. ACM Transactions on Spatial Algorithms and Systems, 7(2), Article 10. https://doi.org/10.1145/3433026

Lanng, H., Lykkegaard, A., Thornholm, S., Tzannis, P. & Verdezoto, N. (2016). PeaceKeeper: Augmenting the Awareness and Communication of Noise Pollution in Student Dormitories. In Proceedings of the 7th Augmented Human International Conference, AH 2016: AH '16 Article 39 Association for Computing Machinery. https://doi.org/10.1145/2875194.2875218

Lange, M. (2007). Three Notes on the Complexity of Model Checking Fixpoint Logic with Chop. R.A.I.R.O. - Theoretical Informatics and Applications.

Lange, M. (2007). Linear Time Logics around PSL: Complexity, Expressiveness, and a little bit of Succinctness. In Proc. of the 18th Int. Conf. on Concurrency Theory (Vol. LNCS 4703, pp. 90-104). Springer.

Lange, M., Thulesen, J., Feldt-Rasmussen, U., Skakkebaek, N. E., Vahl, N., Jørgensen, J. O. L., Christiansen, J. S., Poulsen, S. S., Sneppen, S. E. B. & Juul, A. (2001). Skin morphological changes in growth hormone deficiency and acromegaly. European Journal of Endocrinology, 145(2), 147-53.

Langdal, J., Kjærgaard, M. B., Toftkjær, T. & Schougaard, K. R. (2010). Exposing Position Uncertainty in Middleware. In S. Terzis & L. Veiga (Eds.), Proceedings of the Second International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2010) (pp. Article no. 1). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890792

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

Lampropoulos, K., Zardbani, F., Mamoulis, N. & Karras, P. (2023). Adaptive Indexing in High-Dimensional Metric Spaces. Proceedings of the VLDB Endowment, 16(10), 2525-2537. https://doi.org/10.14778/3603581.3603592

Lämmel, R. & Ostermann, K. (2006). Software extension and integration with type classes: A tutorial for functional and OO programmers. In S. Jarzabek, D. C. Schmidt & T. L. Veldhuizen (Eds.), Generative Programming and Component Engineering '06: Proceedings of the 5th international conference on Generative programming and component engineering (pp. 161-170). Association for Computing Machinery.

Lambov, B. Z. (2003). A Two Layer Approach to the Computability and Complexity of Real Functions. In Computability and Complexity in Analysis 2003 (302 of Informatic Berichte ed., pp. 279-302). Fern-Universität Hagen.

Lambov, B. Z. (2005). RealLib: an Efficient Implementation of Exact Real Arithmetic. In T. Grubba, P. Hertling, H. Tsuiki & K. Weihrauch (Eds.), econd International Conference on Computability and Complexity in Analysis, CCA 2005 Proceedings (Kyoto, Japan, August 25-29, 2005) (pp. 169-175)

Lambov, B. Z. (2005). Complexity and Intensionality in a Type-1 Framework for Computable Analysis. In C.-H. L. Ong (Ed.), Computer Science Logic, 19th International Workshop, CSL 2005 Proceedings, 14th Annual Conference of the EACSL (Oxford, UK, August 22-25, 2005) (pp. 442-461). Springer LNCS.

Lambov, B. Z. (2005). Rates of Convergence of Recursively Defined Sequences. Electronic Notes in Computer Science, 120, 125-133.

Lambov, B. Z. (2006). Topics in the Theory and Practice of Computable Analysis. Daimi PhD Dissertation No. PD-06-6

Lambertini, M., Magnani, M., Marzolla, M., Montesi, D. & Paolino, C. (2014). Large-Scale Social Network Analysis. In A. Gkoulalas-Divanis & A. Labbi (Eds.), Large scale data analytics (pp. 155-187). Springer. https://doi.org/10.1007/978-1-4614-9242-9

Lamanna, C., Blonder, B., Violle, C., Kraft, N., Sandel, B. S., Simova, I., Donoghue, J., Svenning, J.-C., McGill, B., Boyle, B., Buzzard, V., Dolins, S., Jorgensen, P., Marcuse-Kubitza, A., Morueta-Holme, N., Peet, R., Piel, W., Regetz, J., Schildhauer, M. ... Enquist, B. (2014). Functional trait space and the latitudinal diversity gradient. Proceedings of the National Academy of Sciences, 111(38), 13745-13750. http://www.pnas.org/content/111/38/13745.full.pdf+html

Lam, T.-W., Lee, L. K., To, I. K. K. & Wong, P. W. H. (2013). Online Speed Scaling Based on Active Job Count to Minimize Flow Plus Energy. Algorithmica, 65(3), 605-633 . https://doi.org/10.1007/s00453-012-9613-y

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

Lahire, P., Arévalo, G., Astudillo, H., Black, A. P., Ernst, E., Huchard, M., Oplustil, T., Sakkinen, M. & Valtchev, P. (Eds.) (2004). MASPEGHI 2004 - Mechanisms for Specialization, Generalization, and Inheritance. In B. M. Østvold & J. Malenfant (Eds.), Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports (pp. 101-117). Springer. https://doi.org/10.1007/978-3-540-30554-5_11

Lacerda, F. G., Renes, J. M. & Scholz, V. B. (2016). Coherent state constellations for Bosonic Gaussian channels. In Proceedings - ISIT 2016; 2016 IEEE International Symposium on Information Theory (pp. 2499-2503). Article 7541749 IEEE. https://doi.org/10.1109/ISIT.2016.7541749

Lacerda, F., Renes, J. M. & Scholz, V. B. (2017). Coherent-state constellations and polar codes for thermal Gaussian channels. Physical Review A, 95(6), Article 062343. https://doi.org/10.1103/PhysRevA.95.062343

Kyster, A. F., Nielsen, S. D., Hermanns, J., Mottin, D. & Karras, P. (2021). Boosting Graph Alignment Algorithms. In Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (pp. 3166-3170). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482067

Kyng, M., Büscher, M. & Mogensen, P. H. (2004). Integrated Conceptual Framework. Palcom External Reports, (11).

Kyng, M., Kristensen, M. & Christensen, E. F. (2007). Wireless Distribution and Use of Bio-sensor Data. Prehospital and Disaster Medicine, (2).

Kyng, M. & Kristensen, M. (2009). Media Spaces, Emergency Response and Palpable Technologies. Computer Supported Cooperative Work, 325-349. https://doi.org/10.1007/978-1-84882-483-6_20

Kyng, M. & Mathiassen, L. (1982). Systems development and trade union activities. Department of Computer Science, Aarhus University.

Kyng, M. (1989). Designing for a Dollar a Day. Information Technology & People, 4(2), 157-170.

Kyng, M. (2010). Bridging the Gap Between Politics and Techniques. Scandinavian Journal of Information Systems, 22(1), 49-68. http://iris.cs.aau.dk/tl_files/volumes/Volume22/no1/Kyng1.pdf

Kyng, M. (2010). On the Multifaceted Future of Participatory Design. Scandinavian Journal of Information Systems, 22(1), 93-102. http://iris.cs.aau.dk/tl_files/volumes/Volume22/no1/Kyng2.pdf

Kyng, M. (1991). Designing for cooperation - cooperating in design. Association for Computing Machinery. Communications, 34(12), 64-73. https://doi.org/10.1145/125319.125323

Kyng, M. (1994). Collective resources meets puritanism. Scandinavian Journal of Information Systems, 6(1), 85-96.

Kyng, M. (1998). Users and Computers: A contextual approach to design of computer artifact. Scandinavian Journal of Information Systems, 10(1-2), 7-44.

Kyng, M. (1995). Making Representations Work. Association for Computing Machinery. Communications, 38(9), 46-55. https://doi.org/10.1145/223248.223261

Kyng, M. (1988). Designing for a Dollar a Day. In CSCW '88 Proceedings of the 1988 ACM conference on Computer-supported cooperative work (pp. 178-188). Association for Computing Machinery. https://doi.org/10.1145/62266.62281

Kyng, M. (1991). The System Work Group Computer Science Department Aarhus University. In CHI '91 Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology (pp. 477-478). Association for Computing Machinery. https://doi.org/10.1145/108844.109011

Kyng, M. (1994). Scandinavian design: users in product development. In CHI '94 Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence (pp. 3-9). Association for Computing Machinery. https://doi.org/10.1145/191666.191673

Kyng, M. (1994). Making Representations Work. In L. Suchman (Ed.), Monograph for Proceedings of 27th HICSS Conference: Representations of Work: A Symposium (pp. 19-35)

Kyng, M. & Mathiassen, L. (1979). A "new systems development": Trade union and research activities. In A. Sandberg (Ed.), Computers Dividing Man and Work: Recent Scandinavian Research on Planning and Computers from a Trade Union Perspective (pp. 54-74). Arbetslivcentrum.

Displaying results 1701 to 1750 out of 5406

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University