Publications

The most recently published scientific articles from the Department of Biology. The overview shows the Department's publications with the latest at the top:

Sort by: Date | Author | Title

Schwartzbach, M. I. (1990). Static Correctness of Hierarchical Procedures. In M. S. Paterson (Ed.), Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings (pp. 32-45). Springer. https://doi.org/10.1007/BFb0032020

Schwartzbach, M. I. (1991). Type Inference with Inequalities. In TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 (pp. 441-455). Springer. https://doi.org/10.1007/3-540-53982-4_24

Schwartzbach, M. I. & Palsberg, J. (1991). What is Type-Safe Code Reuse. In P. America (Ed.), ECOOP'91: Proceedings of the 5th European Conference on Object-Oriented Programming (pp. 325-341). Springer. https://doi.org/10.1007/BFb0057030

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

Schwartzbach, M. I. & Palsberg, J. (1991). Object-Oriented Type Inference. In A. Paepcke (Ed.), Proceedings of the 6th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 146-161). Association for Computing Machinery. https://doi.org/10.1145/118014.117965

Schwartzbach, M. I., Oxhøj, N. & Palsberg, J. (1992). Making Type Inference Practical. In O. L. Madsen (Ed.), ECOOP '92, European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29-July 3, 1992 Proceedings (pp. 329-349). Springer. https://doi.org/10.1007/BFb0053045

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1992). Efficient Inference of Partial Types. In 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings (pp. 363-371). IEEE Press.

Schwartzbach, M. I., Agesen, O. & Palsberg, J. (1993). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. In O. M. Nierstrasz (Ed.), ECOOP' 93 - Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 Proceedings (pp. 247-267). Springer. https://doi.org/10.1007/3-540-47910-4_14

Schwartzbach, M. I. & Klarlund, N. (1993). Graph Types. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 196-205). Association for Computing Machinery. https://doi.org/10.1145/158511.158628

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1993). Efficient Recursive Subtyping. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 419-428). Association for Computing Machinery. https://doi.org/10.1145/158511.158700

Schwartzbach, M. I. & Klarlund, N. (1994). Graphs and Desidable Transductions based on Edge Constraints. In S. Tison (Ed.), Trees in Algebra and Programming - CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11-13, 1994 Proceedings (pp. 187-201). Springer. https://doi.org/10.1007/BFb0017482

Schwartzbach, M. I. & Palsberg, J. (1994). Binding Time Analysis: Abstract Interpretation versus Type Inference. In Proceedings on IEEE 1994 International Conference on Computer Language (pp. 289-298). IEEE Computer Society Press. https://doi.org/10.1109/ICCL.1994.288372

Schwartzbach, M. I., Klarlund, N. & Koistinen, J. (1996). Formal Design Constraints. In Proccedings of the 11th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 370-383). Association for Computing Machinery. https://doi.org/10.1145/236337.236376

Schwartzbach, M. I. & Klarlund, N. (1999). A Domain-Specific Language for Regular Sets of Strings and Trees. I E E E Transactions on Software Engineering, (3), 378-386. https://doi.org/10.1109/32.798326

Schwartzbach, M. I., Madsen, J. L., Jørgensen, M. E. & Klarlund, N. (1997). Automatic Verification of Pointer Programs using Monadic Scond-Order Logic. In Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation (pp. 226-236). Association for Computing Machinery. https://doi.org/10.1145/258915.258936

Schwartzbach, M. I. & Sandholm, A. (1998). Distributed Safety Controllers for Interactive Web Services. In Proccedings on Conference on Fundamental Approaches to Software Engineering (pp. 270-284). Springer. https://doi.org/10.1007/BFb0053596

Dutheil, J., Ganapathy, G., Hobolth, A., Mailund, T., Uyenoyama, M. & Schierup, M. H. (2009). Ancestral population genomics: the coalescent hidden Markov model approach. Genetics, 183(1), 259–274. https://doi.org/10.1534/genetics.109.103010

Balslev, H. & Skov, F. (Eds.) (2009). Biodiversity at the ecosystem level - patterns and processes. Proceedings of the 2nd DanBIF conference 26-27 April 2006, Aarhus University: NERI Technical Report No. 741. Aarhus Universitetsforlag.

Christensen, S., Grønbæk, K. & Rolskov, T. (1987). Arbejdsformer under anvendelse af 4. generationsværktøjer. Department of Computer Science, Aarhus University. DAIMI IR No. 69

Feldthaus, A. & Møller, A. (2009). The Big Manual for the Java String Analyzer: Latest release: version 2.1-1, November 30, 2009. http://www.brics.dk/JSA/

Konnerup, D., Ngo, T. T. D. & Brix, H. (2009). Recirculating aquaculture systems for sustainable fish production in the Mekong Delta, Vietnam. Book of abstracts. Abstract from 3rd Wetland Pollutant Dynamics and Control - WETPOL2009, Barcelona, Spain.

Uggerhøj, U. I. (2009). Hvor hurtig er tyngdekraften? Videnskab.dk.

Jensen, L. R. D., Friis, H., Fundal, E., Møller, P. & Jespersen, M. (2010). Analysis of limestone micromechanical properties by optical microscopy. Engineering Geology, 110(3-4), 43-50. https://doi.org/10.1016/j.enggeo.2009.10.004

Denofrio, M. P., Hatz, S., Lorente, C., Cabrerizo, F. M., Ogilby, P. R. & Thomas, A. H. (2009). The photosensitizing activity of lumazine using 2'-deoxyguanosine 5'-monophosphate and HeLa cells as targets. Photochemical & Photobiological Sciences, 8, 1539-1549.

Goodsite, M. E., Warncke, E., Moseholm, L. & Monies, C. (2010). Being Green: Managing Chemical Use. In T. Hart, A. D. Capps & M. Bauer (Eds.), Nonprofit Guide to Going Green: The GreenNonprofits.org Handbook (pp. 193-208). John Wiley & Sons Ltd.

Bødker, S. & Buur, J. (2002). The Design Collaboratorium - a place for usability design. ACM Transactions on Computer-Human Interaction, 9(2), 152-169. https://doi.org/10.1145/513665.513670

Bødker, S. (2000). Scenarios - setting the stage for reflection and action in user-centered design. Interacting with Computers, 13(1), 61-77.

Bødker, S. (2000). Coordinating technical support platforms. Association for Computing Machinery. Communications, 43(11). https://doi.org/10.1145/352515.352520

Bødker, S. & Petersen, M. G. (2000). Design for learning in use. Scandinavian Journal of Information Systems, 12, 61-80. http://iris.cs.aau.dk/tl_files/volumes/volume12/no1/3-SB_p61-80.pdf

Bødker, S. & Bertelsen, O. W. (2000). Introduction to special issue on activity theory and information systems design. Scandinavian Journal of Information Systems, 12, 3-14. http://iris.cs.aau.dk/tl_files/volumes/volume12/no1/01-intro_p3-14.pdf

Bødker, S. (1998). Understanding representations in design. Human-Computer Interaction, 13(2), 107-125. https://doi.org/10.1207/s15327051hci1302_1

Bødker, S. (1997). Computers in mediated human activity. Mind, Culture, and Activity, 4(3), 149-158. https://doi.org/10.1207/s15327884mca0403_2

Bødker, S. (1996). Creating conditions for participation: conflicts and resources in systems design. Human-Computer Interaction, 11, 215-236. https://doi.org/10.1207/s15327051hci1103_2

Bødker, S. (1989). A human activity approach to User Interfaces. Human-Computer Interaction, 4(3), 171-195. https://doi.org/10.1207/s15327051hci0403_1

Bødker, S. & Buur, J. (2000). From usability lab to design collaboratorium: reframing usability practice. In Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques (pp. 297-307). Association for Computing Machinery. https://doi.org/10.1145/347642.347768

Larsen, K. & Bendixen, C. (2009). Sus scrofa mitochondrial translocase of outer membrane protein (TOMM40) mRNA, complete cds; nuclear gene for mitochondrial product. Access. No. GU045306. Dataset

Bødker, S., Petersen, M. G. & Brodersen, A. C. (2000). Creativity, cooperation and interactive design. In Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques (pp. 252-261). Association for Computing Machinery. https://doi.org/10.1145/347642.347757

Bødker, S. (1999). Scenarios in User-Centered Design - Setting the Stage for Reflection and Action. In Proceedings of the 32nd annual Hawaii International Conference on System Sciences IEEE Computer Society Press. https://doi.org/10.1109/HICSS.1999.772892

Bødker, S. & Bannon, L. J. (1997). Constructing Common Information Spaces. In Proceedings of ECSCW 97 (pp. 81-96). Kluwer Academic Publishers.

Bødker, S. (1994). Creating conditions for participation: Conflicts and resources in systems design. In Proceedings of PDC '94 (pp. 13-20). Association for Computing Machinery.

Bødker, S. (1993). Historical analysis and conflicting perspectives - Contextualizing HCI. In L. J. Bass, J. Gornostaev & C. Unger (Eds.), Human-Computer Interaction: Third International Conference, EWHCI '93 Moscow, Russia, August 3-7, 1993 Selected Papers (pp. 1-10). Springer. https://doi.org/10.1007/3-540-57433-6_34

Bødker, S. (1991). Activity theory as a challenge to systems design. In H.-E. Nissen, H. K. Klein & R. Hirscheim (Eds.), Information Systems Research: Contemporary Approaches and Emergent Traditions (pp. 555-564). North-Holland.

Bødker, S. & Grønbæk, K. (1991). Cooperative Prototyping Studies - users and designers envision a dental case record system. In J. Bowers & S. Benford (Eds.), Studies in computer supported cooperative work: theory, practice and design (Human Factors in Information Technology) (pp. 315-332). North-Holland.

Bødker, S. & Grønbæk, K. (1989). Cooperative Prototyping Experiments: Users and Designers Envision a Dental Case Record System. In J. Bowers & S. Benford (Eds.), Proceedings of the first European Conference on Computer Supported Cooperative Work: EC-CSCW '89 (pp. 343-357). Computer Sciences House, Slough, UK.

Jensen, L. R. D., Friis, H., Fundal, E., Møller, P., Brockhoff, P. B. & Jespersen, M. (2010). Influence of quartz particles on wear in vertical roller mills. Part I: Quartz concentration. Minerals Engineering, 23(5), 390-398. https://doi.org/10.1016/j.mineng.2009.11.014

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

Jensen, K. & Kristensen, L. M. (2009). Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer. https://doi.org/10.1007/b95112

Adrados, B., Arias, C. A., Codony, F., Morato, J. & Brix, H. (2009). Microbial pathogen removal in different on-site wastewater treatment systems in Denmark using traditional and molecular analytical techniques. Abstract from 3rd Wetland pollutant dynamics and control - WETPOL2009 - Book of abstracts, Barcelona, Spain.

Arias, C. A., Istenic, D., Vollertsen, J., Lange, K. H., Pedersen, J., Hallager, P., Bruus, A., Laustsen, A., Bundensen, V. W., Nielsen, A. H., Nielsen, N. H., Wium-Andersen, T., Hvitved-Jacobsen, T. & Brix, H. (2009). Integration of planted filters into wet detention ponds for improving urban stormwater treatment. Abstract from 3rd Wetland pollutant dynamics and control - WETPOL2009 - Book of abstracts, Barcelona, Spain.