Publikationer

Søg publikationer fra Institut for Datalogi

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

Jensen, C. S., Li, K.-J. & Winter, S. (2011). The other 87%: a report on The Second International Workshop on Indoor Spatial Awareness (San Jose, California - November 2, 2010). SIGSPATIAL Special, 3(1), 10-12. https://doi.org/10.1145/1966478.1966483

Verbin, E. & Yu, W. (2011). The Streaming Complexity of Cycle Counting, Sorting by Reversals, and Other Problems. I Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA 2011 (s. 11-25). Society for Industrial and Applied Mathematics. http://www.siam.org/proceedings/soda/2011/SODA11_002_verbine.pdf

Corry, A. V. & Søndergaard, B. D. (2011). The Teaching Portfolio. Developing Good Teachers and Scientists, 1.

Sidlauskas, D., Ross, K. A., Jensen, C. S. & Saltenis, S. (2011). Thread-Level Parallel Indexing of Update Intensive Moving-Object Workloads. Lecture Notes in Computer Science, 6849, 186-204. https://doi.org/10.1007/978-3-642-22922-0_12

Danvy, O. & Zerny, I. (2011). Three Syntactic Theories for Combinatory Graph Reduction. Lecture Notes in Computer Science, 6564, 1-20. https://doi.org/10.1007/978-3-642-20551-4_1

Woodruff, D. P. & Zhang, Q. (2011). Tight Bounds for Distributed Functional Monitoring. http://arxiv.org/abs/1112.5153

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/

Hansen, M. T. (2011). TinyDebug: Multi-Purpose Passive Debugging Framework for Embedded Wireless Systems. Daimi Report Series (DAIMI PB), (595).

Hansen, M. T. & Kusy, B. (2011). TinyInventor: A Holistic Approach to Sensor Network Application Development. Afhandling præsenteret på Extending the Internet to Low power and Lossy Networks. IP+SN 2011 , Chicago, IL, USA.

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

Asharov, G., Canetti, R. & Hazay, C. (2011). Towards a Game Theoretic View of Secure Computation. Lecture Notes in Computer Science, 426-445. https://doi.org/10.1007/978-3-642-20465-4_24

Christensen, H. B. & Hansen, K. M. (2011). Towards Architectural Information in Implementation. I R. Taylor, H. Gall & N. Medvidocvic (red.), Proceedings of 33rd International Conference on Software Engineering: ICSE 2011 (s. 928-931). Association for Computing Machinery. https://doi.org/10.1145/1985793.1985948

Hansen, K. M., Ingstrup, M., Kyng, M. & Olsen, J. W. (2011). Towards a Software Ecosystem of Healthcare Services. I Proceedings of the 3rd International Workshop on Infrastructures for Healthcare: Global Healthcare (s. 27-30) http://www.itu.dk/people/lrc/ProcInfraHealth2011.PDF

Brodal, G. S., Gfeller, B., Jørgensen, A. G. & Sanders, P. (2011). Towards optimal range medians. Theoretical Computer Science, 412(24), 2588-2601. https://doi.org/10.1016/j.tcs.2010.05.003

Jeung, H., Yiu, M. L. & Jensen, C. S. (2011). Trajectory Pattern Mining. I Y. Zheng & X. Zhou (red.), Computing with Spatial Trajectories (s. 143-177). Springer. https://doi.org/10.1007/978-1-4614-1629-6

Schulz, H.-J. (2011). Treevis.net: A Tree Visualization Reference. IEEE Computer Graphics and Applications, 31(6), 11-15. https://doi.org/10.1109/MCG.2011.103

Aarhus, R., Grönvall, E., Larsen, S. B. & Wollsen, S. (2011). Turning training into play: embodied gaming, seniors, physical training and motivation. Gerontechnology, 10(2), 110-120. https://doi.org/10.4017/gt.2011.10.2.005.00

Hansen, M. T., Jurdak, R. & Kusy, B. (2011). Unified broadcast in sensor networks. I 10th International Conference on Information Processing in Sensor Networks (IPSN), 2011 (s. 306-317). IEEE Computer Society Press. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5779047

Strzebonski, A. & Tsigaridas, E. (2011). Univariate real root isolation in an extension field. I Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation (s. 321-328). Association for Computing Machinery. https://doi.org/10.1145/1993886.1993934

Kjærgaard, M. B. & Blunck, H. (2011). Unsupervised Power Profiling for Mobile Devices. Afhandling præsenteret på The 8th Annual International Conference on Mobile and Ubiquitous Systems:Computing, Networking and Services, København, Danmark.

Hansen, F. A. & Grønbæk, K. (2011). UrbanWeb: a Platform for Mobile, Context-aware Web Services. I S. Ahson & M. Ilyas (red.), Mobile Web 2.0: Developing and Delivering Services to Mobile Devices (s. 137-162). CRC Press/Taylor. http://www.taylorandfrancis.com/books/details/9781439800829/

Bødker, S. (2011). Use is everywhere and changing: Analysis and design with the Human-Artifact Model. I Proceedings of the 29th Annual European Conference on Cognitive Ergonomics (s. 3-10). Association for Computing Machinery. https://doi.org/10.1145/2074712.2074714

Zhang, W. & Hansen, K. M. (2011). Using Context Awareness for Self Management in Pervasive Service Middleware. I F. Mastrogiovanni & N.-Y. Chong (red.), Handbook of Research on Ambient Intelligence and Smart Environments Trends and Perspectives (s. 248-271). Idea Group Publishing. http://www.igi-global.com/book/handbook-research-ambient-intelligence-smart/41775#table-of-contents

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2011). Using Inverted Indices for Accelerating LINGO Calculations. Journal of Chemical Information and Modeling, 51(3), 597-600. https://doi.org/10.1021/ci100437e

Sandel, B. S., Corbin, J. & Krupa, M. (2011). Using plant functional traits to guide restoration: A case study in California coastal grassland. Ecosphere (Washington, D.C.), 2(2), 1-16.

Petersen, M. G. & Rasmussen, M. K. (2011). Value representations: a value based dialogue tool. I making Design Matter! : Proceedings Nordes '11 : the Nordic 4th Nordic Design Research Conference (s. 284-287). School of Art & Design, Aalto University . http://ocs.sfu.ca/nordes/index.php/nordes/2011/paper/view/445

Kristensen, T. G. (2011). Virtual screening algorithms. Department of Computer Science, Aarhus University.

Lex, A., Schulz, H.-J., Streit, M., Partl, C. & Schmalstieg, D. (2011). VisBricks: Multiform Visualization of Large, Inhomogeneous Data. IEEE Transactions on Visualization and Computer Graphics, 17(12), 2291-2300. https://doi.org/10.1109/TVCG.2011.250

Schulz, H.-J., Uhrmacher, A. M. & Schumann, H. (2011). Visual Analytics for Stochastic Simulation in Cell Biology. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the Special Track on Theory and Applications of Visual Analytics (TAVA) of the i-Know'11 Conference Artikel 48 Association for Computing Machinery. https://doi.org/10.1145/2024288.2024345

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B. & Bouabdallah, N. (2011). WETX: A Weighted Expected Transmission Routing Metric for Diversity in Wireless Sensor Networks. I Wireless Days (WD), 2011 IFIP (s. 1-7). IEEE. https://doi.org/10.1109/WD.2011.6098162

Mathiasen, N. R., Bødker, S. & Petersen, M. G. (2011). While working around security. Afhandling præsenteret på 3rd International Conference on Human Computer Interaction. HCI 2011, Bangalore, Indien.

Møller, A. & Schwartzbach, M. I. (2011). XML Graphs in Program Analysis. Science of Computer Programming, 76(6), 492-515. https://doi.org/10.1016/j.scico.2009.11.007

Borchorst, N. G. & Bødker, S. (2011). “You probably shouldn’t give them too much information” – Supporting Citizen-Government Collaboration. I S. Bødker, N. O. Bouvin, W. Lutters, V. Wulf & L. Ciolfi (red.), ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work (s. 173-192). Springer. https://doi.org/10.1007/978-0-85729-913-0_10

Brodal, G. S., Kejlberg-Rasmussen, C. & Truelsen, J. (2010). A Cache-Oblivious Implicit Dictionary with the Working Set Property. Lecture Notes in Computer Science, 6507, 37-48. https://doi.org/10.1007/978-3-642-17514-5_4

Sørensen, T. S., Noe, K. Ø., Christoffersen, C. P. V., Kristiansen, M., Mouridsen, K., Østerby, O. & Brix, L. (2010). Active Contours in Optical Flow Fields for Image Sequence Segmentation. International Symposium on Biomedical Imaging. Proceedings, 916 - 919. https://doi.org/10.1109/ISBI.2010.5490136

Engholm, R. (2010). Adaptive picture enhancement. Department of Computer Science, Aarhus University.

Afshani, P., Hamilton, C. & Zeh, N. (2010). A general approach for cache-oblivious range reporting and approximate range counting. Computational Geometry, 43(8), 700-712. https://doi.org/10.1016/j.comgeo.2010.04.003

Damgård, I. B., Jurik, M. J. & Nielsen, J. B. (2010). A generalization of Paillier's public-key system with applications to electronic voting. International Journal of Information Security, 9(6), 371-385. https://doi.org/10.1007/s10207-010-0119-9

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B. (2010). Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting. I 2010 International Conference on Indoor Positioning and Indoor Navigation (IPIN) (s. 1-10). IEEE Computer Society Press. https://doi.org/10.1109/IPIN.2010.5648270

Brabrand, C., Giegerich, R. & Møller, A. (2010). Analyzing Ambiguity of Context-Free Grammars. Science of Computer Programming, 75(3), 176-191. https://doi.org/10.1016/j.scico.2009.11.002

Christensen, H. B. & Hansen, K. M. (2010). An Empirical Investigation of Architectural Prototyping. Journal of Systems and Software, 83(1), 133-142. https://doi.org/10.1016/j.jss.2009.07.049

Achenbach, M. (2010). An Engineering Approach to Dynamic Program Analysis by Layering Language Abstractions. Department of Computer Science, Aarhus University.

Hansen, K. A. & Koucký, M. (2010). A New Characterization of ACC⁰ and Probabilistic CC⁰. Computational Complexity, 19(2), 211-234. https://doi.org/10.1007/s00037-010-0287-z

Christensen, H. B. (2010). Another Example of Test-Driven Development: The Hotel Safe: "Flexible, Reliable Software" / Supplementary Material. http://www.baerbak.com

Emiris, I. Z., Malamatos, T. & Tsigaridas, E. (2010). Approximate Nearest Neighbor Queries among Parallel Segments. I J. Vahrenhold (red.), 26th European Workshop on Computational Geometry. : Workshop Proceedings (s. 141-144). Technische Universität, Dortmund. http://2010.eurocg.org/

Andersen, M. S. (2010). Architectural mismatch issues in identity management deployment. I C. E. Cuesta (red.), Proceedings of the 4th European Conference on Software Architecture. ECSA '10 (s. 31-33). Association for Computing Machinery. https://doi.org/10.1145/1842752.1842761

Madsen, J. K., Karstoft, H., Hansen, F. O. & Toftegaard, T. S. (2010). ASE-BAN, a Wireless Body Area Network Testbed. I EMERGING 2010 : The Second International Conference on Emerging Network Intelligence. Proceedings (s. 120-124). Xpert Publishing Service. http://www.thinkmind.org/index.php?view=article&articleid=emerging_2010_5_40_40059

Bødker, S. & Pekkola, S. (2010). A short review to the past and present of participatory design – introduction to debate section. Scandinavian Journal of Information Systems, 22(1). http://aisel.aisnet.org/sjis/vol22/iss1/4

Roune, B. H. (2010). A Slice Algorithm for Corners and Hilbert-Poincaré Series of Monomial Ideals. International Symposium on Symbolic and Algebraic Computation, 115-122. https://doi.org/10.1145/1837934.1837961

Christensen, H. B., Hansen, K. M. & Lindstrøm, B. (2010). aSQA: Architectural Software Quality Assurance: Software Architecture at Work - Technical Report # 5: . Department of Computer Science, Aarhus University.

Viser resultater 3201 til 3250 ud af 6083

Forrige