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

Korsgaard, H. (2017). Toward Place-Centric Computing: Making Place With Technology Together.

Brewer, R. S., Verdezoto, N., Holst, T. & Rasmussen, M. K. (2015). Tough Shift: Exploring the Complexities of Shifting Residential Electricity Use Through a Casual Mobile Game. In CHI PLAY '15 : Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play (pp. 307-317). Association for Computing Machinery. https://doi.org/10.1145/2793107.2793108

Breinbjerg, M., Caprani, O. & Lunding, R. (2002). Touch the Sound. In International Workshop of Interaction Design and Children

LaVigne, R., Liu-Zhang, C-D., Maurer, U. M., Moran, T., Mularczyk, M. & Tschudi, D. (2018). Topology-Hiding Computation Beyond Semi-Honest Adversaries. In A. Beimel & S. Dziembowski (Eds.), TCC 2018: Theory of Cryptography (Vol. 11240, pp. 3-35). Springer VS. Lecture Notes in Computer Science (LNCS) No. 11240 https://doi.org/10.1007/978-3-030-03810-6_1

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T. & Svenning, J-C. (2013). Topography as a driver of local terrestrial vascular plant diversity patterns. Nordic Journal of Botany, 31(2), 129-144. https://doi.org/10.1111/j.1756-1051.2013.00082.x

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T., Odgaard, M. V., Nygaard, B. & Svenning, J-C. (2013). Topographically controlled soil moisture is the primary driver of local vegetation patterns across a lowland region. Ecosphere (Washington, D.C.), 4(7), [91]. https://doi.org/10.1890/ES13-00134.1

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T., Ejrnæs, R., Odgaard, M. V. & Svenning, J-C. (2013). Topographically controlled soil moisture drives plant diversity patterns within grasslands. Biodiversity and Conservation, 22(10), 2151-2166. https://doi.org/10.1007/s10531-013-0442-3

Sandel, B. S. & Svenning, J-C. (2012). Topographic controls on the distribution of tree cover from local to global scales. Abstract from The Ecological Society of America, 89th Annual Meeting, Portland, United States.

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

Skovsgaard, A. & Jensen, C. S. (2014). Top-k point of interest retrieval using standard indexes. In Y. Huang & M. Schneider (Eds.), Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL '14 (pp. 173-182 ). Association for Computing Machinery. https://doi.org/10.1145/2666310.2666399

Munro, J. I., Navarro, G., Nielsen, J. S., Shah, R. & Thankachan, S. V. (2017). Top-k Term-Proximity in Succinct Space. Algorithmica, 78(2), 379-393. https://doi.org/10.1007/s00453-016-0167-2

Munro, J. I., Navarro, G., Nielsen, J. A. S. & ShaH, R. (2014). Top- k Term-Proximity in Succinct Space. In H-K. Ahn & C-S. Shin (Eds.), Algorithms and Computation: 25th International Symposium, ISAAC 2014, Proceedings (pp. 169-180 ). Springer VS. Lecture Notes in Computer Science Vol. 8889 https://doi.org/10.1007/978-3-319-13075-0_14

Bouvin, N. O., Brodersen, A. C., Hansen, F. A., Iversen, O. S. & Nørregaard, P. (2005). Tools of Contextualization: Extending the Classroom to the Field. In Proceedings of the 2005 conference on Interaction design and children (pp. 24-31). Association for Computing Machinery. https://doi.org/10.1145/1109540.1109544

Grønbæk, K. & Knudsen, J. L. (1992). Tools and Techniques for Experimental System Development. In K. Systä, P. Kellomäki & R. Mäkinen (Eds.), Proceedings of the Nordic Workshop on Programming Environment Research

Jensen, K. & Podelski, A. (Eds.) (2004). Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. Springer. Lecture Notes in Computer Science Vol. 2988 https://doi.org/10.1007/b96393

Schwartzbach, M. I. & Graf, S. (Eds.) (2000). Tools and Algorithms for Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings. Springer. Lecture Notes in Computer Science Vol. 1785 https://doi.org/10.1007/3-540-46419-0

Blatchley Hansen, A., Eskilden, M. & Nielsen, E. H. (2020). Toolchain for Timing Leakage Analysis of NIST Lightweight Crypto Candidates. Abstract from NIST Lightweight Cryptography Workshop 2020 . https://csrc.nist.gov/CSRC/media/Events/lightweight-cryptography-workshop-2020/documents/papers/toolchain-timing-leakage-lwc2020.pdf

Feldthaus, A., Millstein, T., Møller, A., Schäfer, M. & Tip, F. (2011). Tool-supported Refactoring for JavaScript. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications (pp. 119-138). Association for Computing Machinery. https://doi.org/10.1145/2048066.2048078

Bertelsen, O. W., Breinbjerg, M. & Pold, S. (2008). Tool – Material, Metaphor – Metonymy, Instrument(ness). In J. J. Jensen (Ed.), Proceedings of the Eighth Danish Human-Computer Interaction Research Symposium (pp. 5-9). Aalborg Universitetsforlag.

Kjærgaard, M. B. & Blunck, H. (2014). Tool support for detection and analysis of following and leadership behavior of pedestrians from mobile sensing data. Pervasive and Mobile Computing, 10(A), 104-117. https://doi.org/10.1016/j.pmcj.2013.10.007

Damm, C. H., Hansen, K. M. & Thomsen, M. (2000). Tool support for cooperative object-oriented design: gesture based modelling on an electric whiteboard. In Proceedings of the SIGCHI conference on Human factors in computing systems (pp. 518-525). Association for Computing Machinery. https://doi.org/10.1145/332040.332488

Andersen, C. J., Hansen, K. M., Sandvad, E. S., Thomsen, M. & Tyrsted, M. (2000). Tool Support for Iterative System Development Activities: Issues and Experiences. In K. A. Mughal, A. L. Opdahl & D. I. K. Sjøberg (Eds.), Proceedings of NWPER'2000: Nordic Workshop on Programming Environment Research http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4642

Jørgensen, J. B., Christensen, S., Tuovinen, A-P. & Xu, J. (2006). Tool Support for Estimating the Memory Usage of Mobile Phone Software. Software Tools for Technology Transfer.

Cornils, A. & Hedin, G. (2000). Tool Support for Design Patterns based on Reference Attribute Grammars. In Proceedings of WAGA'00, Third Workshop on Attribute Grammars and their Applications

Hansen, K. M. & Ratzer, A. V. (2002). Tool Support for Collaborative Teaching and Learning of Object-Oriented Modelling. In Proceedings of the 7th annual conference on Innovation and technology in computer science education (pp. 146-150). Association for Computing Machinery. https://doi.org/10.1145/544414.544458

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). Tool Integration: Experiences and Issues in Using XMI and Component Technology. In Proceedings of the Technology of Object-Oriented Languages and Systems Conference (pp. 94-107). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.2000.848754

Petersen, M. B., Slothuus, R., Stubager, R. & Togeby, L. (2007). Tolerance. Frisind gælder ikke alle mindretal. Politiken, 4.

Christensen, P. K., Skovgaard, C. Ø. & Petersen, M. G. (2019). Together together: Combining shared and separate activities in designing technology for family life. In Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 (pp. 374-385). Association for Computing Machinery. Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 https://doi.org/10.1145/3311927.3323141

Schmidt, E. M., Skyum, S. & Nielsen, M. (2012). To Dexter - A Tribute from Aarhus. In R. L. Constable & A. Silva (Eds.), Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (pp. 341). Springer. Lecture Notes in Computer Science Vol. 7230 https://doi.org/10.1007/978-3-642-29485-3_30

Döttling, N. M., Ghosh, S., Nielsen, J. B., Nilges, T. & Trifiletti, R. (2017). TinyOLE: Efficient Actively Secure Two-Party Computation from Oblivious Linear Function Evaluation. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security : CCS '17 (pp. 2263-2276). Association for Computing Machinery. https://doi.org/10.1145/3133956.3134024

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). TinyKeys: A New Approach to Efficient Multi-Party Computation. In H. Shacham & A. Boldyreva (Eds.), Advances in Cryptology - CRYPTO 2018 (Vol. 10993, pp. 3-33). Springer VS. Lecture Notes in Computer Science (LNCS) No. 10993 https://doi.org/10.1007/978-3-319-96878-0_1

Hansen, M. T. & Kusy, B. (2011). TinyInventor: A Holistic Approach to Sensor Network Application Development. Paper presented at Extending the Internet to Low power and Lossy Networks. IP+SN 2011 , Chicago, IL, United States.

Hansen, M. T. (2011). TinyDebug: Multi-Purpose Passive Debugging Framework for Embedded Wireless Systems. D A I M I P B, (595).

Bohøj, M. (2009). Timelines as a Collaborative Planning Tool. D A I M I P B, (591), 6-9.

Bohøj, M., Borchorst, N. G., Bouvin, N. O., Bødker, S. & Zander, P-O. (2010). Timeline Collaboration. In Proceedings of the 28th International Conference on Human factors in computing Systems. CHI '10 (pp. 523-532). Association for Computing Machinery. https://doi.org/10.1145/1753326.1753404

Hune, T. & Nielsen, M. (1998). Timed bisimulation and open maps. In L. Brim, J. Gruska & J. Zlatuska (Eds.), Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24-28, 1998 Proceedings (pp. 378-387). Springer. Lecture Notes in Computer Science Vol. 1450 https://doi.org/10.1007/BFb0055787

Kjærgaard, M. B., Blunck, H., Wüstenberg, M., Grønbæk, K., Wirz, M., Roggen, D. & Tröster, G. (2013). Time-lag Method for Detecting Following and Leadership Behavior of Pedestrians from Mobile Sensing Data. In IEEE International Conference on Pervasive Computing and Communications (PerCom), 2013 (pp. 56 - 64 ). IEEE. https://doi.org/10.1109/PerCom.2013.6526714

Brodal, G. S. & Jacob, R. (2001). Time-dependent Networks as Models to Achieve Fast Exact Time-table Queries. Electronic Colloquium on Computational Complexity, 92(ALCOMFT-TR-01-176).

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

Brodal, G. S. & Jacob, R. (2003). Time-Dependent Networks as Models to Achieve Fast Exact Time-Table Queries. Electronic Notes in Theoretical Computer Science, 92, 3-15. https://doi.org/10.1016/j.entcs.2003.12.019

Alstrup, S., Brodal, G. S., Gørtz, I. L. & Rauhe, T. (2001). Time and Space Efficient Multi-Method Dispatching. Electronic Colloquium on Computational Complexity, (ITU-TR-2001-8).

Alstrup, S., Brodal, G. S., Gørtz, I. L. & Rauhe, T. (2002). Time and Space Efficient Multi-Method Dispatching. In M. Penttonen & E. M. Schmidt (Eds.), Algorithm Theory — SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings (pp. 20-29). Springer. Lecture Notes in Computer Science Vol. 2368 https://doi.org/10.1007/3-540-45471-3_3

Petersen, M. G. (2002). Time and Learning in HCI. In E. Frøkjær & K. Hornbæk (Eds.), Proceedings of the 2nd Danish Human-Computer Interaction Research Symposium (pp. 42-45). University of Copenhagen. Technical Report No. 2002/19

Agarwal, P. K., Arge, L. A. & Vahrenhold, J. (2001). Time Responsive External Data Structures for Moving Points. In F. Dehne, J-R. Sack & R. Tamassia (Eds.), Algorithms and Data Structures: 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings (pp. 50-61). Springer. Lecture Notes in Computer Science Vol. 2125 https://doi.org/10.1007/3-540-44634-6_6

Larsen, K. G., Nelson, J. & Nguyen, H. L. (2015). Time Lower Bounds for Nonadaptive Turnstile Streaming Algorithms. In R. Servedio & R. Rubinfeld (Eds.), Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC '15 (pp. 803-812). Association for Computing Machinery. https://doi.org/10.1145/2746539.2746542

Chrobak, M., Dürr, C., Guíñez, F., Lozano, A. & Thang, N. K. (2010). Tile-Packing Tomography Is NP-hard. Lecture Notes in Computer Science, 6196, 254-263. https://doi.org/10.1007/978-3-642-14031-0_29

Bulánek, J., Koucky, M. & Saks, M. (2012). Tight lower bounds for the online labeling problem. In Proceedings of the 2012 ACM Symposium on Theory of Computing, STOC’12 (pp. 1185-1198). Association for Computing Machinery. https://doi.org/10.1145/2213977.2214083

Chakraborty, D., Kamma, L. & Larsen, K. G. (2018). Tight cell probe bounds for succinct boolean matrix-Vector multiplication. In STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing (pp. 1297-1306). Association for Computing Machinery. A C M Symposium on the Theory of Computing. Annual Proceedings No. 2018 https://doi.org/10.1145/3188745.3188830

Gál, A., Hansen, K. A., Koucký, M., Pudlák, P. & Viola, E. (2011). Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates. Electronic Colloquium on Computational Complexity, 18(150). http://eccc.hpi-web.de/report/2011/150/

Gál , A., Hansen, K. A., Koucký, M., Pudlák, P. & Viola, E. (2012). Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates. In H. Karloff & T. Pitassi (Eds.), STOC '12 Proceedings of the 44th symposium on Theory of Computing (pp. 479-494). Association for Computing Machinery. https://doi.org/10.1145/2213977.2214023

Displaying results 401 to 450 out of 4677

Revised 10.12.2020 -

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University