Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Mackay, W. E., Brewster, S. & Bødker, S. (red.) (2013). CHI '13 Extended Abstracts on Human Factors in Computing Systems: ACM SIGCHI Conference, Paris, France — April 27 - May 02, 2013. Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2468356

Danvy, O., Thiemann, P. & Zerny, I. (2013). Circularity and Lambda Abstraction. I Proceedings, The 25th symposium on Implementation and Application of Functional Languages. ScienceGate. http://www.sciencegate.ch/home?p_p_id=new_search_portlet_WAR_PSW_3_SciencegatePortlets&p_p_lifecycle=1&p_p_state=normal&p_p_mode=view&p_p_col_id=column-3&p_p_col_pos=1&p_p_col_count=4&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_action=search&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_field=dc.source&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_mode=mode.exact&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_sort=&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_query=The+25th+symposium+on+Implementation+and+Application+of+Functional+Languages.

Blunck, H., Bouvin, N. O., Entwistle, J. M., Grønbæk, K., Kjærgaard, M. B., Nielsen, M., Petersen, M. G., Rasmussen, M. & Wüstenberg, M. (2013). Computational environmental ethnography: combining collective sensing and ethnographic inquiries to advance means for reducing environmental footprints. I D. Culler & C. Rosenberg (red.), e-Energy 2013 - Proceedings of the 4th ACM International Conference on Future Energy Systems (s. 87-98). Association for Computing Machinery. https://doi.org/10.1145/2487166.2487176

Arge, L., Goodrich, M. T. & Walderveen, F. V. (2013). Computing betweenness centrality in external memory. I Proceedings, 2013 IEEE International Conference on Big Data (s. 368 - 375 ). IEEE. https://doi.org/10.1109/BigData.2013.6691597

Tsirogiannis, C. & Sandel, B. S. (2013). Computing the Skewness of the Phylogenetic Mean Pairwise Distance in Linear Time. I A. Darling & J. Stoye (red.), Algorithms in Bioinformatics: 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings (s. 170-184). Springer VS. https://doi.org/10.1007/978-3-642-40453-5_14

Rasmusson, A., Sørensen, T. S. & Ziegler, G. (2013). Connected Components Labeling on the GPU with Generalization to Voronoi Diagrams and Signed Distance Fields. I G. Bebis et al. (red.), Advances in Visual Computing: 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I (s. 206-215). Springer VS. https://doi.org/10.1007/978-3-642-41914-0_21

Thomsen, J. G. (2013). Consistency in the World Wide Web: Specification, Verification, and Evaluation. Datalogisk Institut, Aarhus Universitet.

Damgård, I. B. & Zakarias, S. (2013). Constant-overhead secure computation of Boolean circuits using preprocessing. I A. Sahai (red.), Theory of Cryptography: 10th TCC 2013. Proceedings (s. 621-641). Springer VS. https://doi.org/10.1007/978-3-642-36594-2_35

John, M., Schulz, H.-J., Schumann, H., Uhrmacher, A. M. & Unger, A. (2013). Constructing and visualizing chemical reaction networks from pi-calculus models. Formal Aspects of Computing, 25(5), 723-742. https://doi.org/10.1007/s00165-011-0209-0

Schmidt, K. & Bannon, L. J. (2013). Constructing CSCW: The First Quarter Century. Computer Supported Cooperative Work, 22(4-6), 345-372. https://doi.org/10.1007/s10606-013-9193-7

Sandager, P., Lindahl, C., Schlütter, J. M., Uldbjerg, N., Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2013). Context-aware patient guidance during blood pressure self-measurement. I Proceedings of the IADIS International Conference e-Health 2013, EH 2013 (s. 153-157). University of Twente. http://www.scopus.com/record/display.url?view=basic&eid=2-s2.0-84886912072&origin=resultslist

Moreira, J. M. M., Jensen, C. S., Dias, P. & Mesquita, P. (2013). Creating data representations for moving objects with extent from images. I Presented at the COST MOVE Workshop at Moving Objects at Sea, Brest, France, June 28–29, 2013

Vermeulen, J., Luyten, K., van den Hoven, E. & Coninx, K. (2013). Crossing the Bridge over Norman's Gulf of Execution: Revealing Feedforward's True Identity. Unspecified journal, 1931-1940. https://doi.org/10.1145/2470654.2466255

Bannon, L. J. & Schmidt, K. (red.) (2013). CSCW: The First Quarter Century. Computer Supported Cooperative Work, 22(4-6), 345-715. http://link.springer.com/journal/10606/22/4/page/1

Verbin, E. & Yu, W. (2013). Data structure lower bounds on random access to grammar-compressed strings. I J. Fischer & P. Sanders (red.), Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings (s. 247-258). Springer VS. https://doi.org/10.1007/978-3-642-38905-4_24

Szehr, O., Dupont-Dupuis, F., Tomamichel, M. & Renner, R. (2013). Decoupling with unitary approximate two-designs. New Journal of Physics, 15(5). https://doi.org/10.1088/1367-2630/15/5/053022

Bannon, L. J. & Ehn, P. (2013). Design: design matters in participatory design. I J. Simonsen & T. Robertson (red.), Routledge International Handbook of Participatory Design (s. 37-63). Routledge.

Schwarz, M. R. (2013). Design and Analysis of Web Application Frameworks. Datalogisk Institut, Aarhus Universitet.

Kejlberg-Rasmussen, C. (2013). Dynamic Data Structures: The Interplay of Invariants and Algorithm Design. Department of Computer Science, Aarhus University.

Andersen, O., Jensen, C. S., Torp, K. & Yang, B. (2013). EcoTour: Reducing the Environmental Footprint of Vehicles Using Eco-Routes. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1) (s. 338 - 340 ). IEEE. https://doi.org/10.1109/MDM.2013.50

Bertelsen, O. W., Ciolfi, L., Grasso, M. A. & Papadopoulos, G. A. (red.) (2013). ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 21-25 September 2013, Paphos, Cyprus. Springer. https://doi.org/10.1007/978-1-4471-5346-7

Korn, M., Colombino, T. & Lewkowicz, M. (red.) (2013). ECSCW 2013 Adjunct Proceedings: The 13th European Conference on Computer Supported Cooperative Work, 21-25 September 2013, Paphos, Cyprus. Department of Computer Science, Aarhus University. D A I M I P B Nr. 596

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Effective Online Group Discovery in Trajectory Databases. I E E E Transactions on Knowledge & Data Engineering, 25(12), 2752 - 2766 . https://doi.org/10.1109/TKDE.2012.193

Brodal, G. S., Fagerberg, R., Mailund, T., Pedersen, C. N. S. & Sand, A. (2013). Efficient Algorithms for Computing the Triplet and Quartet Distance Between Trees of Arbitrary Degree. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 24, 1814-1832. http://knowledgecenter.siam.org/0236-000098/0236-000098/1

Feldthaus, A., Schäfer, M., Sridharan, M., Dolby, J. & Tip, F. (2013). Efficient construction of approximate call graphs for JavaScript IDE services. I D. Notkin, B. H. C. Cheng & K. Pohl (red.), Proceedings of the 2013 International Conference on Software Engineering, ICSE '13 (s. 752-761 ). IEEE Communications Society. http://dl.acm.org.ez.statsbiblioteket.dk:2048/citation.cfm?id=2486887&CFID=280253056&CFTOKEN=11487082

Agarwal, P. K., Yang, J., Arge, L., Govindarajan, S. & Yi, K. (2013). Efficient external memory structures for range-aggregate queries. Computational Geometry, 46(3), 358-370. https://doi.org/10.1016/j.comgeo.2012.10.003

Bøgh, K. S., Assent, I. & Magnani, M. (2013). Efficient GPU-based skyline computation. I R. Johnson & A. Kemper (red.), Proceedings of the Ninth International Workshop on Data Management on New Hardware , DaMoN '13 Artikel 5 Association for Computing Machinery. https://doi.org/10.1145/2485278.2485283

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2013). Efficiently adapting graphical models for selectivity estimation. V L D B Journal, 22(1), 3-27. https://doi.org/10.1007/s00778-012-0293-7

Cohen, G., Damgård, I. B., Ishai, Y., Kölker, J., Miltersen, P. B., Raz, R. & Rothblum, R. D. (2013). Efficient multiparty protocols via log-depth threshold formulae. I R. Canetti & J. A. Garay (red.), Advances in Cryptology – CRYPTO 2013: 33rd Annual Conference. Proceedings, Part II (s. 185-202). Springer VS. https://doi.org/10.1007/978-3-642-40084-1_11

Cohen, G., Damgård, I. B., Ishai, Y., Kölker, J., Miltersen, P. B., Raz, R. & Rothblum, R. (2013). Efficient Multiparty Protocols via Log-Depth Threshold Formulae Contact Add Comment RSS-Feed. Electronic Colloquium on Computational Complexity, (TR13-107). http://eccc.hpi-web.de/report/2013/107/

Midtgaard, J., Ramsay, N. & Larsen, B. (2013). Engineering Definitional Interpreters. I T. Schrijvers & R. Peña (red.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming , PPDP '13 (s. 121-132). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505894

Mottin, D., Palpanas, T. & Velegrakis, Y. (2013). Entity ranking using click-log information. Intelligent Data Analysis, 17(5), 837-856.

Branzei, S., Caragiannis, I., Kurokawa, D. & Procaccia, A. (2013). Equilibria of Generalized Cut and Choose Protocols. (1307.2225v1 udg.) arxiv.org. http://arxiv.org/abs/1307.2225

Branzei, S. & Miltersen, P. B. (2013). Equilibrium Analysis in Cake Cutting. I M. Gini & O. Shehory (red.), Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems , AAMAS '13 (s. 327-334 ). Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2484920.2484974&coll=DL&dl=ACM&CFID=340403434&CFTOKEN=84711969

Korn, M., Polli, A. M. & Klokmose, C. N. (2013). Experiences from a Real-Time Mobile Collaborative Writing System in an Art Gallery. Afhandling præsenteret på International Workshop on Designing Mobile Face-to-Face Group Interactions , Paphos, Cypern. http://groupinteractions.wordpress.com/

Korn, M., Polli, A. M. & Klokmose, C. N. (2013). Experiences from a Real-Time Mobile Collaborative Writing System in an Art Gallery. Abstract fra International Workshop on Designing Mobile Face-to-Face Group Interactions , Paphos, Cypern. http://ojs.statsbiblioteket.dk/index.php/daimipb/article/viewFile/13587/11586

Micenková, B., Ng, R. T., Dang, X.-H. & Assent, I. (2013). Explaining outliers by subspace separability. I H. Xiong, G. Karypis, B. Thuraisingham, D. Cook & X. Wu (red.), Proceedings, IEEE 13th International Conference on Data Mining (ICDM 2013) (s. 518 - 527 ). IEEE Press. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6724379

Nielsen, M., Kjærgaard, M. B. & Grønbæk, K. (2013). Exploring Interaction Techniques and Task Types for Direct-Touch as Input Modality. Poster-session præsenteret på VAST Infovis Scivis, Atlanta, Georgia, USA.

Sonne, T. & Grønbæk, K. (2013). Exploring New Potentials in Preventing Unhealthy Computer Habits. I W. E. Mackay, S. Brewster & S. Bødker (red.), CHI '13 Extended Abstracts on Human Factors in Computing Systems, CHI EA '13 (s. 487-492 ). Association for Computing Machinery. https://doi.org/10.1145/2468356.2468442

Jensen, M. M., Rasmussen, M. & Grønbæk, K. (2013). Exploring Opponent Formats: Game Mechanics for Computer-Supported Physical Games. I J. C. Anacleto, E. W. G. Clua, F. S. Correa da Silva, S. Fels & H. S. Yang (red.), Entertainment Computing - ICEC 2013: 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings (Bind 8215, s. 48-60). Springer VS. https://doi.org/10.1007/978-3-642-41106-9_6

Nørgaard, M., Merritt, T. R., Rasmussen, M. & Petersen, M. G. (2013). Exploring the design space of shape-changing objects: imagined physics. I Proceedings of the 6th International Conference on Designing Pleasurable Products and Interfaces (s. 251-260 ). Association for Computing Machinery. https://doi.org/10.1145/2513506.2513533

Chen, S., Scheder, D. A., Talebanfard, N. & Tang, B. (2013). Exponential Lower Bounds for the PPSZ k-SAT Algorithm. I Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '13 (s. 1253-1263). Society for Industrial and Applied Mathematics. http://knowledgecenter.siam.org/0236-000027/0236-000027/1

Branzei, S., Procaccia, A. & Zhang, J. (2013). Externalities in Cake Cutting. Proceedings of the International Joint Conference on Artificial Intelligence, 13.

Magnani, M., Montesi, D. & Rossi, L. (2013). Factors enabling information propagation in a Social Network Site. I T. Özyer , J. Rokne , G. Wagner & A. H. P. Reuser (red.), The Influence of Technology on Social Network Analysis and Mining (s. 411-426 ). Springer. https://doi.org/10.1007/978-3-7091-1346-2_18

Frederiksen, T. K. & Nielsen, J. B. (2013). Fast and maliciously secure two-party computation using the GPU. I Applied Cryptography and Network Security: 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceeding (s. 339-356). Springer VS. https://doi.org/10.1007/978-3-642-38980-1_21

Pettie, S. & Su, H.-H. (2013). Fast distributed coloring algorithms for triangle-free graphs. I F. Fomin, R. Freivalds, M. Kwiatkowska & D. Peleg (red.), Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II (s. 681-693). Springer Publishing Company. https://doi.org/10.1007/978-3-642-39212-2_59

Bødker, S. & Petersen, M. G. (2013). Feedback. interactions, 20(1), 6-9. https://doi.org/10.1145/2405716.2405718

Kaul, M., Wong, R. C.-W., Yang, B. & Jensen, C. S. (2013). Finding Shortest Paths on Terrains by Killing Two Birds with One Stone. Proceedings of the VLDB Endowment, 7(1), 73-84. http://www.vldb.org/pvldb/vol7/p73-kaul.pdf

Schmidt, H. T., Thomas, R. D., Gatchell, M., Rosen, S., Reinhed, P., Lofgren, P., Brannholm, L., Blom, M., Bjorkhage, M., Backstrom, E., Alexander, J. D., Leontein, S., Hanstorp, D., Zettergren, H., Liljeby, L., Kallberg, A., Simonsson, A., Hellberg, F., Mannervik, S. ... Cederquist, H. (2013). First storage of ion beams in the Double Electrostatic Ion-Ring Experiment: DESIREE. Review of Scientific Instruments, 84(5), Artikel 055115. https://doi.org/10.1063/1.4807702

Magnani, M. & Rossi, L. (2013). Formation of multiple networks. I A. M. Greenberg , W. G. Kennedy & N. D. Bos (red.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (s. 257-264). Springer Publishing Company. https://doi.org/10.1007/978-3-642-37210-0_28

Viser resultater 2251 til 2300 ud af 2970

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series