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

Sort by: Date | Author | Title

Šidlauskas, D., Šaltenis, S. & Jensen, C. S. (2012). Parallel main-memory indexing for moving-object query and update workloads. In Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (pp. 37-48 ). Association for Computing Machinery. https://doi.org/10.1145/2213836.2213842

Čermák, J., Bosansky, B., Durkota, K., Lisý, V. & Kiekintveld, C. (2016). Using correlated strategies for computing stackelberg equilibria in extensive-form games. In 30th AAAI Conference on Artificial Intelligence (pp. 439-445). AAAI Press. https://www.scopus.com/inward/record.uri?eid=2-s2.0-85007242893&partnerID=40&md5=d6d209b2094ebcd4dd19608badb7e971

Østergaard Laursen, C., Pedersen, S., Merritt, T. R. & Caprani, O. (2016). Robot-Supported Food Experiences: Exploring Aesthetic Plating with Design Prototypes. In J. T.K.V.Koh, B. J. Dunstan, D. Silvera-Tawil & M. Velonaki (Eds.), Cultural Robotics: First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers (Vol. 9549, pp. 107-130). Springer. Lecture Notes in Computer Science Vol. 9549 https://doi.org/10.1007/978-3-319-42945-8_10

Østerby, O. (2007). Numerical Solution of Parabolic Equations. Datalogisk Institut.

Østerby, O. & Sørensen, H. H. B. (2009). On One-Point Iterations and DIIS. A I P Conference Proceedings Series, 468-472. https://doi.org/10.1063/1.3241499

Østerby, O. (1973). Analysis of Numerical Solution of the Stefan Problem. Department of Mathematics, University of California, Berkeley. DAIMI PB Vol. 24

Østerby, O., Møller-Pedersen, K. & North, J. (1975). Summa Ratione Confectum. Archives Internationales d'Histoire des Sciences, 25(96), 73-81.

Østerby, O. (1976). SOR with Non-property a Matrices. In J. Albrecht & L. Collatz (Eds.), Numerische Behandlung von Differentialgleichungen, ISNM 31 (pp. 181-190). Birkhäuser Verlag.

Østerby, O. (1976). Prime Decompositions with Minimum Sum. BIT Numerical Mathematics, 16, 451-458.

Østerby, O. (1979). Efficient Solution of Tridiagonal Linear Systems. Computer Journal, 22(3), 283-285.

Østerby, O. (1985). Step Change Strategies for Multistep Methods. Department of Computer Science, Aarhus University. DAIMI PB No. 196

Østerby, O. (1987). Estimation of Reaction Parameters in Gas Chromatograhy. In Proceedings of the Symposium on Applied Statistics. UNI-C (pp. 369-378)

Østerby, O. (1993). Stability of finite difference formulas for linear parabolic equations. In D. D. Bainov & V. Covachev (Eds.), Proceedings of the Second International Colloquium on Numerical Analysis (pp. 165-176)

Østerby, O. (1998). The Error of the Crank-Nicolson Method for Linear Parabolic Equations with a Derivative Boundary Condition. Department of Computer Science, Aarhus University. DAIMI PB No. 534

Østerby, O. (2003). Five ways of reducing the Crank-Nicolson oscillations. BIT Numerical Mathematics, 43(4), 811-822. https://doi.org/10.1023/B:BITN.0000009942.00540.94

Østerby, O. & Zlatev, Z. (1983). Direct Methods for Sparces Matrices. Springer. Lecture Notes in Computer Science No. 157

Østerby, O. (2015). Numerical Solution of Parabolic Equations. Department of Computer Science, Aarhus University. https://doi.org/10.7146/aul.5.5

Østerby, O. (2016). On the Stability of ADI Methods. DAIMI PB, 598, 1-7. https://doi.org/10.7146/dpb.v42i598.25146

Østerby, O. (2017). On Saulyev's Methods. In DAIMI Report Series (Vol. 599, pp. 1-11). Aarhus Universitet. D A I M I P B No. 599 https://doi.org/10.7146/dpb.v43i599.26410

Ørbæk, P. (2005). Programming with Hierarchical Maps. Datalogisk Institut.

Ørbæk, P., Mogensen, P. H. & Grønbæk, K. (2001). Interaction Techniques for Spatial Organization of Digital and Physical materials - the Topos Approach. In O. W. Bertelsen (Ed.), Proceedings of the First Dansih Human-Computer Interaction Research Symposium (pp. 51-53). Department of Computer Science, Aarhus University.

van der Aalst, W. M. P., Jørgensen, J. B. & Lassen, K. B. (2005). Let us Go All the Way: From Requirements via Coloured Workflow Nets to a BPEL Implementation of a New Bank System. In Ikke angivet Springer LNCS 3760.

van der Aalst, W. M. P. & Lassen, K. B. (2005). Translating Workflow Nets to BPEL4WS.

van der Aalst, W. M. P. & Lassen, K. B. (2008). Translating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation. Information and Software Technology, 50(3), 131-159.

van den Brand, M., Iversen, J., Mosses, P. D., Hedin, G. (Ed.) & Van Wyk, E. (Ed.) (2004). An Action Environment. In Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications (Vol. 110, pp. 149-168). Elsevier.

van den Brand, M., Iversen, J., Mosses, P. D., Hedin, G. (Ed.) & Van Wyk, E. (Ed.) (2004). The Action Environment: Tool Demonstration. In Ikke angivet (pp. 177-180). Elsevier.

van de Pol, J. (2019). Concurrent algorithms and data structures for model checking. In W. Fokkink & R. van Glabbeek (Eds.), 30th International Conference on Concurrency Theory, CONCUR 2019 [4] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 140 https://doi.org/10.4230/LIPIcs.CONCUR.2019.4

van de Pol, J. (2022). Exploring a Parallel SCC Algorithm: Using TLA ⁺ and the TLC Model Checker. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 535-555). Springer. Lecture Notes in Computer Science Vol. 13701 https://doi.org/10.1007/978-3-031-19849-6_30

van Oosterhout, A., Rasmussen, M. K., Hoggan, E. & Alonso, M. B. (2018). Knobology 2.0: Giving Shape to the Haptic Force Feedback of Interactive Knobs. In The 31st Annual ACM Symposium on User Interface Software and Technology Adjunct Proceedings : UIST '18 Adjunct (pp. 197-199). Association for Computing Machinery. https://doi.org/10.1145/3266037.3271649

van Oosterhout, A. & Hoggan, E. (2020). Reshaping Interaction with Rotary Knobs: Combining Form, Feel and Function. In DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (pp. 1973-1982). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395536

van Oosterhout, A., Bruns, M. & Hoggan, E. (2020). Facilitating Flexible Force Feedback Design with Feelix. In ICMI '20: Proceedings of the 2020 International Conference on Multimodal Interaction (pp. 184–193). Association for Computing Machinery. https://doi.org/10.1145/3382507.3418819

van Oosterhout, A. (2021). A Design Perspective on Force Feedback. Aarhus Universitet.

van Kreveld, M., Löffler, M., Staals, F. & Wiratma, L. (2016). A Refined Definition for Groups of Moving Entities and its Computation. In S-H. Hong (Ed.), 27th International Symposium on Algorithms and Computation (ISAAC 2016) (Vol. 64, pp. 1 - 12). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics (LIPIcs) https://doi.org/10.4230/LIPIcs.ISAAC.2016.48

van Kreveld, M., Löffler, M., Staals, F. & Wiratma, L. (2016). A Refined Definition for Groups of Moving Entities and its Computation. Paper presented at EuroCG 2016, Lugano, Switzerland. http://www.eurocg2016.usi.ch/sites/default/files/paper_67.pdf

van Hoeve, W-J. & Katriel, I. (2006). Global Constraints. In F. Rossi, P. van Beek & T. Walsh (Eds.), Handbook of Constraint Programming: Part I , Foundations Pergamon Press. Foundations of Artificial Intelligence

van Hellemond, I. E. G., Bouwmeester, S., Olson, C. W., Bøtker, H. E., Kaltoft, A. K., Nielsen, S. S., Terkelsen, C. J., Maynard, C., Andersen, M. P., Gorgels, A. P. M. & Wagner, G. S. (2011). Consideration of QRS complex in addition to ST-segment abnormalities in the estimated "risk region" during acute anterior myocardial infarction. Journal of Electrocardiology, 44(3), 370-6. https://doi.org/10.1016/j.jelectrocard.2011.01.004

van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B. & Staals, F. (2016). Grouping Time-varying Data for Interactive Exploration. Paper presented at EuroCG 2016, Lugano, Switzerland. http://www.eurocg2016.usi.ch/sites/default/files/paper_48.pdf

van Emde Boas, P., Wiedermann, J. & Nielsen, M. (Eds.) (1999). Automata, Languages and Programming: 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 11-15, 1999 Proceedings. Springer. Lecture Notes in Computer Science Vol. 1644 https://doi.org/10.1007/3-540-48523-6

de Senneville, B. D., Noe, K. Ø., Ries, M., Pedersen, M., Moonen, C. & Sørensen, T. S. (2008). An optimised multi-baseline approach for on-line MR-temperature monitoring on commodity graphics hardware. In Fifth IEEE International Symposium on Biomedical Imaging (ISBI): From Nano to Macro (Vol. Non-Optical micro-imaging, pp. 1513-1516). IEEE. https://doi.org/10.1109/ISBI.2008.4540909

de Groot, S., Mailund, T. & Hein, J. (2007). Comparative Annotation of Viral Genomes with Non-Conserved Gene Structure. Bioinformatics, 23(9), 1080-1089. https://doi.org/10.1093/bioinformatics/btm078

de Groot, S., Mailund, T., Lunter, G. & Hein, J. (2008). Investigating Selection on Viruses: A Statistical Alignment Approach. B M C Bioinformatics, 9(308).

de Berg, M., Tsirogiannis, C. & Wilkinson, B. T. (2015). Fast computation of categorical richness on raster data sets and related problems. In GIS '15: Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems [18] https://doi.org/10.1145/2820783.2820825

de Berg, M., Tsirogiannis, C. & Wilkinson, B. (2015). Fast Computation of Categorical Richness on Raster Data Sets and Related Problems. In Proceedings. Workshop on Massive Data Algorithmics (MASSIVE) (pp. 86-107)

Zottarel, A. (2013). Public key cryptography from weaker assumptions. Institut for Datalogi, Aarhus Universitet.

Zlatev, Z. & Østerby, O. (1980). Absolute stability properties of the explicit linear 3-step formulae. Department of Computer Science, Aarhus University. DAIMI PB No. 124

Zizzo, A. R., Hvidman, L., Salvig, J. D., Holst, L., Kyng, M. & Petersen, O. B. (2022). Home management by remote self-monitoring in intermediate- and high-risk pregnancies: A retrospective study of 400 consecutive women. Acta Obstetricia et Gynecologica Scandinavica, 101(1), 135-144. https://doi.org/10.1111/aogs.14294

Zimmer, P. (2004). Using Ambients to Control Resources. International Journal of Information Security, 2(3-4), 126-144.

Zimmer, P. (2005). A Calculus for Context-Awareness. B R I C S Report Series, (RS-05-27).

Zimek, A., Assent, I. & Vreeken , J. (2014). Frequent Pattern Mining Algorithms for Data Clustering. In C. C. Aggarwal & J. Han (Eds.), Frequent Pattern Mining (pp. 403-423). Springer. https://doi.org/10.1007/978-3-319-07821-2_16

Zhu, F., Zhang, Z. & Qu, Q. (2013). A direct mining approach to efficient constrained graph pattern discovery. Association for Computing Machinery. Special Interest Group on Management of Data. International Conference Proceedings, 821-832. https://doi.org/10.1145/2463676.2463723

Displaying results 1 to 50 out of 5113

Revised 09.03.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University