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

Escamocher, G., Miltersen, P. B. & Santillan, R. (2009). Existence and computation of equilibria of first-price auctions with integral valuations and bids. In K. S. Decker, J. S. Sichman, C. Sierra & C. Castelfranchi (Eds.), Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09): SESSION: Interactions (Vol. 2, pp. 1227-1228). International Foundation for Autonomous Agents and Multiagent Systems. http://delivery.acm.org/10.1145/1560000/1558225/p1227-escamocher.pdf?key1=1558225&key2=4204373621&coll=GUIDE&dl=GUIDE&CFID=73345521&CFTOKEN=52226755

Zander, P.-O. & Bohøj, M. (2009). Experiencing Democracy: a Research Proposal. D A I M I P B, (591), 63-66.

Boggs, N. A., Dwyer, K. G., Shah, P., McCulloch, A. A., Bechsgaard, J., Schierup, M. H., Nasrallah, M. E. & Nasrallah, J. B. (2009). Expression of distinct self-incompatibility specificities in Arabidopsis thaliana. Genetics, 182(4), 1313-21. https://doi.org/10.1534/genetics.109.102442

Wolff, S., Larsen, P. G., Lausdahl, K., Ribeiro, A. & Toftegaard, T. S. (2009). Facilitating Home Automation Through Wireless Protocol Interoperability. Proceedings of the Wireless Personal Multimedia Communications Symposia.

Jørgensen, A. G., Brodal, G. S. & Mølhave, T. (2009). Fault Tolerant External Memory Algorithms. Lecture Notes in Computer Science, 5664, 411-422. https://doi.org/10.1007/978-3-642-03367-4_36

Nemitz, O., Nielsen, M. B., Rumpf, M. & Whitaker, R. (2009). Finite Element Methods On Very Large, Dynamic Tubular Grid Encoded Implicit Surfaces. S I A M Journal on Scientific Computing, 31(3), 2258-2281. https://doi.org/10.1137/080718334

Ernst, E. (2009). First-Class Object Sets. Lecture Notes in Computer Science, 5497, 83-99. https://doi.org/10.1007/978-3-642-02444-3_6

Tjell, S. (2009). Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets. Aarhus Universitetsforlag.

Jørgensen, J. B., Tjell, S. & Fernandes, J. M. (2009). Formal Requirements Modeling with Executable Use Cases and Coloured Petri Nets. Innovations in Systems and Software Engineering, 5(1), 13. https://doi.org/10.1007/s11334-009-0075-6

Uribe, S., Beerbaum, P., Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009). Four-dimensional (4D) flow of the whole heart and great vessels using real-time respiratory self-gating. Magnetic Resonance in Medicine, 62(4), 984-992. https://doi.org/10.1002/mrm.22090

Kallel, S., Charfi, A., Mezini, M., Jmaiel, M. & Klose, K. (2009). From Formal Access Control Policies to Runtime Enforcement Aspects. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-00199-4_2

Danvy, O. (2009). From Reduction-Based to Reduction-Free Normalization: Lecture notes including 70+ exercises. Lecture Notes in Computer Science, 66-164. https://doi.org/10.1007/978-3-642-04652-0_3

Abam, M., de Berg, M., Farshi, M., Gudmundsson, J. & Smid, M. (2009). Geometric Spanners for Weighted Point Sets. Lecture Notes in Computer Science, 190-202. https://doi.org/10.1007/978-3-642-04128-0_17

Nielsen, J. K., Freckmann, G., Kapitza, C., Ocvirk, G., Koelker, K. H., Amann-Zalan, I., Gillen, R., Kamecke, U., Jendrike, N., Christiansen, J. S., Koschinsky, T. & Heinemann, L. (2009). Glucose monitoring by microdialysis: performance in a multicentre study. Diabetic Medicine, 26(7), 714-21. https://doi.org/10.1111/j.1464-5491.2009.02750.x

Gammelby, P. & Sørensen, T. S. (2009). Grafikkort simulerer hjerteoperationer. Aktuel Naturvidenskab, 5(2009), 14-15. http://www.videnskab.dk/composite-3366.htm

Nielsen, M. B., Christensen, B. B., Bin Zafar, N., Roble, D. & Museth, K. (2009). Guiding of Smoke Animations Through Variational Coupling of Simulations at Different Resolutions. ACM SIGGRAPH Symposium on Computer Animation, 217-226. http://delivery.acm.org/10.1145/1600000/1599499/p217-nielsen.pdf?key1=1599499&key2=4989534621&coll=GUIDE&dl=GUIDE&CFID=72903366&CFTOKEN=26156409

Mølhave, T. (2009). Handling Massive Terrains and Unreliable Memory. Aarhus Universitetsforlag.

Andersson, D. (2009). Hashiwokakero is NP-Complete. Information Processing Letters, 109(19), 1145. https://doi.org/10.1016/j.ipl.2009.07.017

Hansen, K. A., Lachish, O. & Miltersen, P. B. (2009). Hilbert's thirteenth problem and circuit complexity. Lecture Notes in Computer Science, 5878, 153-162. https://doi.org/10.1007/978-3-642-10631-6_17

Ham, F. V., Schulz, H.-J. & Dimicco, J. M. (2009). Honeycomb: Visual Analysis of Large Scale Social Networks. In Human-Computer Interaction – INTERACT 2009: 12th IFIP TC 13 International Conference Uppsala, Sweden, August 24-28, 2009 Proceedings, Part II (pp. 429-442). Springer. https://doi.org/10.1007/978-3-642-03658-3_47

Moeslund, J. E., Bøcher, P. K., Svenning, J.-C., Møllehave, T. & Arge, L. (2009). Impacts of 21^stcentury sea-level rise on a Danish major city - an assessment based on fine-resolution digital topography and a new flooding algorithm. IOP Conference Series: Earth and Environment Science, 8(1), 012022. https://doi.org/10.1088/1755-1315/8/1/012022

Hansen, T. D. & Telelis, O. (2009). Improved Bounds for Facility Location Games with Fair Cost Allocation. Lecture Notes in Computer Science, 174-185. https://doi.org/10.1007/978-3-642-02026-1_16

Damgård, I. B., Fehr, S., Lunemann, C., Salvail, L. & Schaffner, C. (2009). Improving the Security of Quantum Protocols via Commit-and-Open. Lecture Notes in Computer Science, 408-427. https://doi.org/10.1007/978-3-642-03356-8_24

Vestergaard Mogensen, M. (2009). Infrastructure Support for Collaborative Pervasive Computing Systems. Aarhus Universitetsforlag.

Afshani, P., Barbay, J. & Chan, T. M. (2009). Instance-optimal geometric algorithms. In 50th Annual Symposium on Foundations of Computer Science. Proceedings (pp. 129-138). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2009.34

Geisler, M. J. & Cachin, C. (2009). Integrity Protection for Revision Control. Lecture Notes in Computer Science, 382-399. https://doi.org/10.1007/978-3-642-01957-9_24

Bohøj, M. & Bouvin, N. O. (2009). Interacting with case work documents using time lines. Lecture Notes in Computer Science, 904-907. https://doi.org/10.1007/978-3-642-03658-3_107

Kortbek, K. J. (2009). Interaktive audiodramaer i byens rum. Peripeti, 11, 43-54. http://www.peripeti.dk/2009/06/12/interaktivitet/

Nielsen, J., Pedersen, C. S. & Hein, J. (2009). Investigation of a simple heuristic improving the speed of statistical alignments. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden.

Arge, L. A. & Revsbæk, M. (2009). I/O-Efficient Contour Tree Simplification. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-10631-6_116

Mathiasen, N. R. (2009). It-security seen from a user experience perspective. Poster session presented at NordiCHI. Workshop on User centered Security., Lund, Sweden.

Danvy, O., Shan, C. & Zerny, I. S. (2009). J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. Lecture Notes in Computer Science, 1-19. https://doi.org/10.1007/978-3-642-03034-5_1

Møller, A. & Schwarz, M. R. (2009). JWIG: Yet Another Framework for Maintainable and Secure Web Applications. In J. Filipe & J. Cordeiro (Eds.), WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies (pp. 47-53). Institute for Systems and Technologies of Information, Control and Communication.

Petersen, L. K., Vaesel, H., Brønsgaard, P. H., Kolby, P. & Madsen, K. G. (2009). Kendskab til humant papillomvirus-relateret sygdom blandt kvinder i almen praksis. Ugeskrift for Læger, 171(14), 1173-7.

Abam, M. & de Berg, M. (2009). Kinetic kd-Trees and Longest-Side kd-Trees. S I A M Journal on Computing, 39(4), 1219. http://scitation.aip.org/getpdf/servlet/GetPDFServlet?filetype=pdf&id=SMJCAT000039000004001219000001&idtype=cvips

Moeslund, J. E., Arge, L., Bøcher, P. K., Nygaard, B. & Svenning, J.-C. (2009). Konsekvenser af "coastal squeezing" for plantesamfund på strandenge i Danmark.

Nielsen, J. D. (2009). Languages for Secure Multiparty Computation and Towards Strongly Typed Macros. Aarhus Universitetsforlag.

Kristensen, T. G., Pedersen, C. S., Thomsen, R. & Christensen, M. H. (2009). Largest Common Chemical Feature Subtree as a Virtual Screening Method. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Bioligy (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden. http://www.iscb.org/ismbeccb2009/poster_list.php?cat=C

Nevo, I., Kapishnikov, S., Birman, A., Dong, M., Cohen, S. R., Kjaer, K., Besenbacher, F., Stapelfeldt, H., Seideman, T. & Leiserowitz, L. (2009). Laser-induced aligned self-assembly on water surfaces. Journal of Chemical Physics, 130(14), 144704. https://doi.org/10.1063/1.3108540

Nielsen, J. B. & Orlandi, C. (2009). LEGO for Two-Party Secure Computation. Lecture Notes in Computer Science, 5444, 368-386. https://doi.org/10.1007/978-3-642-00457-5_22

Thorbek, R. I. (2009). Linear Integer Secret Sharing. Aarhus Universitetsforlag.

Olsen, M. (2009). Link Building. Aarhus Universitetsforlag.

Besenbacher, S., Mailund, T. & Schierup, M. H. (2009). Local phylogeny mapping of quantitative traits: Higher accuracy and better ranking than single marker association in genomewide scans. Genetics, 181, 747-753.

Buscher, M. & Mogensen, P. H. (2009). Matereal methods. In M. Buscher, D. Goodwin & J. Mesman (Eds.), Ethnographies of diagnostic work: Dimensions of transformative practice Palgrave Macmillan.

Petersen, M. G., Gude, R., Nielsen, K. R. & Grønbæk, K. (2009). MediaJourney: capturing and sharing digital media from real-world and virtual journeys. Poster session presented at ACM Conference on Hypertext and Hypermedia, HT, Torino, Italy. https://doi.org/10.1145/1557914.1557979

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

Korn, M. (2009). Methodological Reflections on Working with Young Children. D A I M I P B, (591), 42-44.

Gjerlufsen, T., Ingstrup, M. & Olsen, J. W. (2009). Mirrors of Meaning: Supporting Inspectable Runtime Models. Computer, 42(10), 61. https://doi.org/10.1109/MC.2009.325

Hansen, F. A. & Bouvin, N. O. (2009). Mobile Learning in Context — Context-aware Hypermedia in the Wild. International Journal of Interactive Mobile Technologies, 3(1), 6-21. http://online-journals.org/i-jim/article/view/766

Grønbæk, L. J., Schwefel, H.-P. & Toftegaard, T. S. (2009). Model based Evaluation of Policies for End-Node Driven Fault Recovery. In Design of Reliable Communication Networks, 2009. DRCN 2009. 7th International Workshop on (pp. 367-374). IEEE Press. https://doi.org/10.1109/DRCN.2009.5339983

Displaying results 3201 to 3250 out of 5707

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University