Publikationer

Søg publikationer fra Institut for Datalogi

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

Ursem, R. K. & Justesen, P. (2010). The Multi-Objective Distinct Candidates Optimization approach. I B. Filipic & J. Silc (red.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (s. 55-66). Ljublana: Jozef Stefan Institute.

Toftkjær, T. & Kjærgaard, M. B. (2010). The use of GPS for Handling Lack of Indoor Constraints in Particle Filter-based Inertial Positioning. Poster-session præsenteret på The 7th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2010), Sydney, Australien.

Jensen, H., Jensen, M. Ø. J., Smerup, M. H., Ringgaard, S., Sørensen, T. S., Andersen, N. T., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2010). Three-dimensional assessment of papillary muscle displacement in a porcine model of ischemic mitral regurgitation. Journal of Thoracic and Cardiovascular Surgery, 140(6), 1312-1318. https://doi.org/10.1016/j.jtcvs.2009.12.042

Bendlin, R. & Damgård, I. B. (2010). Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems. Lecture Notes in Computer Science, 5978, 201-218. https://doi.org/10.1007/978-3-642-11799-2_13

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

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

Jensen, K., Donatelli, S. & Koutny, M. (red.) (2010). Transactions on Petri Nets and Other Models of Concurrency IV: ToPNoC. Springer. Lecture Notes in Computer Science Bind 6550 https://doi.org/10.1007/978-3-642-18222-8

Kristensen, T. G. (2010). Transforming Tanimoto queries on real valued vectors to range queries in Euclidian space. Journal of Mathematical Chemistry, 48(2), 287-289. https://doi.org/10.1007/s10910-010-9668-4

Brabrand, C. & Thomsen, J. G. (2010). Typed and Unambiguous Pattern Matching on Strings using Regular Expressions. I T. Kutsia, W. Schreiner & M. Fernandez (red.), Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming. PPDP '10: (s. 243-254). Association for Computing Machinery. https://doi.org/10.1145/1836089.1836120

Korn, M. (2010). Understanding Use Situated in Real-world Mobile Contexts. Afhandling præsenteret på ACM Conference on Ubiquitous Computing. Ubicomp '10, København, Danmark. http://mkorn.binaervarianz.de/pub/ubicomp2010-ws.pdf

Hansen, F. A. & Grønbæk, K. (2010). Urbanweb: A platform for mobile, context-aware web services. I Mobile Web 2.0: Developing and Delivering Services to Mobile Devices (s. 137-162). CRC Press. https://doi.org/10.1201/b10445

Hansen, F. A. & Grønbæk, K. (2010). UrbanWeb: a Platform for Mobile Context-aware Social Computing. A C M Conference on Hypertext and Hypermedia. Proceedings, 195-200. https://doi.org/10.1145/1810617.1810651

Kennepohl, D., Guay, M. & Thomas, V. (2010). Using an Online, Self-Diagnostic Test for Introductory General Chemistry at an Open University. Journal of Chemical Education, 87(11), 1273-1277. https://doi.org/10.1021/ed900031p

Simonsen, M., Sand, A., Mailund, T. & Pedersen, C. N. S. (2010). Using the Power of Modern Processors in Bioformatics. Poster-session præsenteret på Conference on IT research at AU, Århus, Danmark.

Kristensen, M. D. & Bouvin, N. O. (2010). Using Wi-Fi to Save Energy via P2P Remote Execution. I 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops 2010). Proceedings (s. 123-128). IEEE. https://doi.org/10.1109/PERCOMW.2010.5470614

Hadlak, S., Tominski, C., Schulz, H.-J. & Schumann, H. (2010). Visualization of attributed hierarchical structures in a spatiotemporal context. International Journal of Geographical Information Science, 24(10), 1497-1513. https://doi.org/10.1080/13658816.2010.510840

Babai, L., Hansen, K. A., Podolskii, V. V. & Sun, X. (2010). Weights of Exact Threshold Functions. Lecture Notes in Computer Science, 6281, 66-77. https://doi.org/10.1007/978-3-642-15155-2_8

Aarhus, R., Cedergren, A., Grönvall, E., Hald, A. E., Larsen, S. B., Moesgaard, T. & Wollsen, S. (2010). Wii i Trige: Et projekt om Wii, motivation og ældres træning. Daimi Report Series (DAIMI PB), (592).

Uribe, S., Beerbaum, P., Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009). 4D Flow of the Whole Heart and Great Vessels Using a Real Time Self Respiratory Gating Technique. Poster-session præsenteret på Annual SCMR Scientific Sessions, Orlando, Florida, USA. https://doi.org/10.1186/1532-429X-11-S1-P3

Klose, K. & Ostermann, K. (2009). A Classification Framework for Pointcut Languages in Runtime Monitoring. I Objects, Components, Models and Patterns (s. 289-307). Springer. https://doi.org/10.1007/978-3-642-02571-6_17

Damgård, I. B., Krøigaard, M. & Geisler, M. (2009). A correction to 'efficient and secure comparison for on-line auctions'. International Journal of Applied Cryptography, 1(4), 323-324. https://doi.org/10.1504/IJACT.2009.028031

Besenbacher, S., Pedersen, C. S. & Mailund, T. (2009). A fast algorithm for genome wide haplotype pattern mining. BMC Bioinformatics, (suppl. 1), 772. https://doi.org/10.1186/1471-2105-10-S1-S74

Aarhus, R., Ballegaard, S. A., Grönvall, E. & Larsen, S. B. (2009). Ageing in communal place: ethnographic studies of social interaction in senior housing communities. I Supplementary Proceeding of the 11th European Conference on Computer Supported Cooperative Work: Workshops, Master classes. W3: Enhancing interaction spaces by social media for the ederly ECSCW - European Conference on Computer Supported Cooperative Work. http://www.uni-siegen.de/locatingmedia/workshops/ecscwageingworkshop/ageing_in_communal_place_aarhus_ballegaard_groenvall_larsenl.pdf

Aarhus, R., Ballegaard, S. A., Grönvall, E. & Larsen, S. B. (2009). Ageing in Communal Place: Ethnographic studies of social interaction in senior housing communities. International Reports on Socio-Informatics, 6(3), 8-20.

Afshani, P., Hamilton, C. & Zeh, N. (2009). A general approach for cache-oblivious range reporting and approximate range counting. I Proceedings of the 25th annual symposium on Computational geometry Association for Computing Machinery. https://doi.org/10.1145/1542362.1542413

Zhang, W., Ingstrup, M., Hansen, K. M. & Schütte, J. (2009). A Genetic Algorithms-based Approach for Optimized Self-protection in a Pervasive Service Middleware. Lecture Notes in Computer Science, 404-419. https://doi.org/10.1007/978-3-642-10383-4_29

Petersen, D. E., Li, S., Stokbro, K., Sørensen, H. H. B., Hansen, P. C., Skelboe, S. & Darve, E. (2009). A hybrid method for the parallel computation of Green’s functions. Journal of Computational Physics, 228(14), 5020-5039. https://doi.org/10.1016/j.jcp.2009.03.035 |

Brabrand, C. & Dahl, B. (2009). Analyzing CS (Computer Science) Competencies using The SOLO Taxonomy. ACM Inroads, (3).

Hansen, K. M., Jónasson, K. & Neukirchen, H. (2009). An Empirical Study of Open Source Software Architectures' Effect on Product Quality. Stofnun Árna Magnúrssonar á Íslandi. http://notendur.hi.is/kmh/doc/vhi-01-2009.pdf

Christensen, H. B., Hansen, K. M. & Schougaard, K. R. (2009). An Empirical Study of Software Architects’ Concerns. I S. Sulaiman & N. M. M. Noor (red.), Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC 09) (s. 111-118). IEEE Press. https://doi.org/10.1109/APSEC.2009.12

Zhang, W. & Hansen, K. M. (2009). An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-management Planning in a Pervasive Service Middleware. I Proceedings of the 14th IEEE International Conference on Enginerring of Complex Computer Systems (ICECCS 2009) (s. 192-201). IEEE Press. https://doi.org/10.1109/ICECCS.2009.17

Hansen, K. A. & Koucký, M. (2009). A new characterization of ACC⁰ and probabilistic CC⁰. I 2009 24th Annual IEEE Conference on Computational Complexity (s. 27-34). IEEE. https://doi.org/10.1109/CCC.2009.15

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). A Prototype for Cosimulating SystemC and Coloured Petri Net Models. Daimi Report Series (DAIMI PB), (590), 1-20.

Mailund, T., Nielsen, J. & Pedersen, C. S. (2009). A Quadratic Time Algorithm for Computing the Quartet Distance between Two General Trees. I Proceedings of IJCBS 2009 (s. 565-568). IEEE Computer Society Press. https://doi.org/10.1109/IJCBS.2009.42

Ingstrup, M., Zhang, W., Hansen, K. M. & Fernandes, J. M. (2009). Architecting Self-Management in the Hydra Middleware. I A. Brinkmann, H.-J. Eikerling & M. Z. Aziz (red.), Proceedings of the 1st International Workshop on Distributed Computing in Ambient Environments: proceedings co-located with the 32nd Annual Conference on Artificial Intelligence Paderborn, September 15th, 2009 (s. 1-12). COMSATS Institue of Information Technology, Islamabad. http://www.iis.uni-hildesheim.de/files/staff/bach/KI-2009-WS-Web.pdf

Christensen, H. B. & Hansen, K. M. (2009). Architectural Competence and Maturity: Software Architecture at Work : Technical Report , no. 2. Department of Computer Science, University of Aarhus.

Westergaard, M., Evangelista, S. & Kristensen, L. M. (2009). ASAP: An Extensible Platform for State Space Analysis. Lecture Notes in Computer Science, 303-312. https://doi.org/10.1007/978-3-642-02424-5_18

Bødker, S. (2009). A sense of direction for participatory design? I A. L. Sannino, H. Daniels & K. Gutiérrez (red.), Learning and expanding with activity theory (s. 274-285). Cambridge University Press.

Abam, M., de Berg, M. & Gudmundsson, J. (2009). A simple and efficient kinetic spanner . Computational Geometry, 43(3), 251-256.

Grunnet, N., Bödvarsson, M., Jakobsen, A., Kyllönen, L., Olausson, M., Pfeffer, P. & Sørensen, S. S. (2009). Aspects of present and future data presentation in Scandiatransplant. Transplantation Proceedings, 41(2), 732-5. https://doi.org/10.1016/j.transproceed.2009.01.032

Christensen, H. B. (2009). A story-telling approach for a software engineering course design. ACM Inroads, (3), 60-64. http://delivery.acm.org/10.1145/1570000/1562901/p60-christensen.pdf?key1=1562901&key2=1668146621&coll=Portal&dl=GUIDE&CFID=78305996&CFTOKEN=42596960

Christensen, H. B. (2009). A Story-Telling Approach for a Software Engineering Course Design. I P. Brézillon (red.), Annual Joint Conference Integrating Technology into Computer Science Education, ITiCSE 2009: Proceedings (s. 60-64). Association for Computing Machinery. https://doi.org/10.1145/1562877.1562901

Hansen, M. T. (2009). Asynchronous Group Key Distribution on top of the CC2420 Security Mechanisms for Sensor Networks. I D. Basin, S. Capkun & W. Lee (red.), The 2nd ACM onference On Wireless Network Security, WiSec '09: Proceedings (s. 13-20). Association for Computing Machinery. https://doi.org/10.1145/1514274.1514277

Damgård, I. B., Geisler, M., Krøigaard, M. & Nielsen, J. B. (2009). Asynchronous Multiparty Computation: Theory and Implementation. Lecture Notes in Computer Science, 5443, 160-179. https://doi.org/10.1007/978-3-642-00468-1_10

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2009). A tree based method for the rapid screening of chemical fingerprints. Lecture Notes in Computer Science, 5724, 194-205. https://doi.org/10.1007/978-3-642-04241-6_17

Liboriussen, P., Pedersen, B. P., Ifrim, G., Nissen, P. & Pedersen, C. S. (2009). Automatic classification of P-Type ATPases using SLR. Poster-session præsenteret på 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sverige.

Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. H. & Shapiro, D. (2009). Bottom-up, top-down? Connecting software architecture design with use. I A. Voss, M. Hartswood, J. K. Ho, R. Procter, M. Rouncefield, R. Slack & M. Büscher (red.), Configuring user-designer relations: Interdisciplinary perspectives (s. 157-191). Springer. https://doi.org/10.1007/978-1-84628-925-5_8

Simonsen, M., Mailund, T. & Pedersen, C. S. (2009). Building very large neighbour-joining trees. Poster-session præsenteret på 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sverige.

Afshani, P., Hamilton, C. & Zeh, N. (2009). Cache-oblivious range reporting with optimal queries requires superlinear space. I Proceedings of the 25th annual symposium on Computational geometry (s. 277-286). Association for Computing Machinery. https://doi.org/10.1145/1542362.1542412

Arge, L., de Berg, M. & Haverkort, H. (2009). Cache-Oblivious R-trees. Algorithmica, 53(1), 50-68. https://doi.org/10.1007/s00453-007-9007-8

Viser resultater 3401 til 3450 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series