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

Magnussen, R., Hansen, S. D., Grønbæk, K., Mølmer, K. & Sherson, J. F. (2012). Game-based Research Collaboration applied to Science Education. Games+Learning+Society Conference Proceedings, 431-436.

Magnani, M., Montesi, D. & Rossi, L. (2012). Conversation Retrieval from Microblogging Sites. Information Retrieval, 15(3-4), 354-372. https://doi.org/10.1007/s10791-012-9189-9

Magnani, M., Montesi, D. & Rossi, L. (2013). Factors enabling information propagation in a Social Network Site. In T. Özyer , J. Rokne , G. Wagner & A. H. P. Reuser (Eds.), The Influence of Technology on Social Network Analysis and Mining (pp. 411-426 ). Springer. https://doi.org/10.1007/978-3-7091-1346-2_18

Magnani, M., Assent, I. & Mortensen, M. L. (2012). Anytime skyline query processing for interactive systems. Paper presented at International Workshop on Ranking in Databases, Istanbul, Turkey. http://chenwsdb.fulton.ad.asu.edu/DBRank2012/

Magnani, M. & Assent, I. (2013). From stars to galaxies: skyline queries on aggregate data. In G. Guerrini & N. W. . Paton (Eds.), International Conference on Extending Database Technology (pp. 477-488 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452432

Magnani, M. & Rossi, L. (2013). Formation of multiple networks. In A. M. Greenberg , W. G. Kennedy & N. D. Bos (Eds.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (pp. 257-264). Springer Publishing Company. https://doi.org/10.1007/978-3-642-37210-0_28

Magnani, M. & Rossi, L. (2013). Pareto distance for multi-layer network analysis. In A. M. Greenberg, W. G. Kennedy & N. D. Bos (Eds.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (pp. 249-256). Springer VS. https://doi.org/10.1007/978-3-642-37210-0_27

Magnani, M., Assent, I. & Mortensen, M. L. (2014). Taking the Big Picture: representative skylines based on significance and diversity. V L D B Journal, 23(5), 795-815. https://doi.org/10.1007/s00778-014-0352-3

Magnani, M., Assent, I., Hornbæk, K., Jakobsen, M. R. & Larsen, K. F. (2013). SkyView: a user evaluation of the skyline operator. In Q. He & A. Iyengar (Eds.), Proceedings of the 22nd ACM International Conference on Information & Knowledge Management, CIKM '13 (pp. 2249-2254 ). Association for Computing Machinery. https://doi.org/10.1145/2505515.2505739

Magård, E. (2002). Possible mechanisms for the coexistence of congeneric (Pourouma, Cecropiaceae) Amazonian tree species. Ecotropica, 8(1), 15-22.

Madsen, B. A. (2006). An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter. Information Processing Letters, 97(1), 28-30.

Madsen, B. A., Nielsen, J. M. & Skjernaa, B. (2002). On the Number of Maximal Bipartite Subgraphs of a Graph. BRICS Report Series, (RS-02-17).

Madsen, B. A. & Rossmanith, P. (2004). Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms. BRICS Report Series, (RS-04-19).

Madsen, B. A., Byskov, J. M. & Skjernaa, B. (2005). New Algorithms for Exact Satisfiability. Theoretical Computer Science, 332(1-3), 515-541.

Madsen, O. L. (1999). Semantic Analysis of Virtual Classes and Nested Classes. In A. M. Berman (Ed.), Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications: , systems, languages, and applications (pp. 114 - 131). Association for Computing Machinery. https://doi.org/10.1145/320384.320394

Madsen, O. L. (2000). Towards a Unified Programming Language. In E. Bertino (Ed.), ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings (pp. 1-26). Springer. https://doi.org/10.1007/3-540-45102-1_1

Madsen, O. L. (2000). Abstraction and Modularization in the BETA Programming Language. In J. Gutknecht & W. Weck (Eds.), Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings (pp. 211-237). Springer. https://doi.org/10.1007/10722581_18

Madsen, O. L. (1999). COM Support in BETA. In Proceedings of the Workshop on Object-Oriented Technology (pp. 187). Springer. https://doi.org/10.1007/3-540-46589-8

Madsen, O. L. (1999). Towards Integration of Object-Oriented Languages and State Machines. In Proceedings of the Technology of Object-Oriented Languages and Systems: Proceedings of the Technology of Object-Oriented Languages and Systems (Vol. 1, pp. 261-274). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.779018

Madsen, O. L. (1998). A Block-Structure Concurrent Object-Oriented Language. In Z. Zamir (Ed.), Handbook of Object-Technology CRC Press.

Madsen, O. L., Torgersen, M., Røn, H. & Thorup, K. K. (1998). A Conceptual Approach to Teaching Object-Orientation to C Programmers. In M. L. Manns (Ed.), Proceedings Educators' Symposium: Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'98). Session: Mastering OO Modeling: Experiences in OO Education. (pp. 3-10). Association for Computing Machinery.

Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1993). Object-Oriented Programming in the Beta Programming Language. (2. ed.) Addison-Wesley.

Madsen, O. L. & Møller-Pedersen, B. (1992). Part Objects and Their Location. In G. Heeg, B. Magnusson & B. Meyer (Eds.), TOOLS 1992: Dortmund, Germany (pp. 83-97). Prentice-Hall.

Madsen, O. L. (1980). On defining semantics of extended attribute grammars. In N. Jones (Ed.), Semantics directed compiler generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18 (pp. 259-299). Springer.

Madsen, O. L. & Kristensen, B. B. (1981). Methods for computing LALR(k) lookahead. In ACM Transaction on Programming Languages (1 ed., Vol. 3, pp. 60-82). Association for Computing Machinery. https://doi.org/10.1145/357121.357126

Madsen, O. L. (1987). Block Structure and Object-Oriented Languages. In B. D. Shriver & P. Wegner (Eds.), Research Directions in Object Oriented Programming (pp. 113-128). MIT Press.

Madsen, O. L. (1995). Open Issues in Object-Oriented Programming. Software: Practice & Experience, 25(S4), 3-43. https://doi.org/10.1002/spe.4380251303

Madsen, O. L. & Nørgård, C. (1988). An Object-Oriented Metaprogramming System. Paper presented at Hawaii International Conference on System Sciences , United States. https://doi.org/10.1109/HICSS.1988.11831

Madsen, A. B. & Ernst, E. (2010). Revisiting Parametric Types and Virtual Classes. Lecture Notes in Computer Science, 6141, 233-252. https://doi.org/10.1007/978-3-642-13953-6_13

Madsen, O. L. & Møller-Pedersen, B. (2010). A Unified Approach to Modeling and Programming. Lecture Notes in Computer Science, 6394, 1-15. https://doi.org/10.1007/978-3-642-16145-2_1

Madsen, O. L. (1992). ECOOP ’92 European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29–July 3, 1992 Proceedings. Springer. Lecture Notes in Computer Science Vol. 615 https://doi.org/10.1007/BFb0053026

Madsen, O. L. & Kristensen, B. B. (1976). LR-parsing of Extended Context-free Grammars. Acta Informatica, 7, 61-73. https://doi.org/10.1007/BF00265221

Madsen, O. L., Kristensen, B. B. & Nygaard, K. (1983). From SIMULA 67 to BETA. Paper presented at SIMULA 67 User's Conference, Paris, France.

Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1985). Multi-sequential execution in the BETA programming language. ACM SIGPLAN Notices, 20(4), 57-69. https://doi.org/10.1145/988316.988322

Madsen, O. L. (1983). Programmeringssprog - Syntaks, Semantik og Implementation.

Madsen, O. L. & Møller-Pedersen, B. (1988). What object-oriented programming may be - and what it does not have to be. In S. Gjessing & K. Nygaard (Eds.), ECOOP ’88 European Conference on Object-Oriented Programming : Oslo, Norway, August 15–17, 1988 Proceedings (pp. 1-20). Springer. https://doi.org/10.1007/3-540-45910-3_1

Madsen, O. L. & Møller-Pedersen, B. (1989). Virtual classes: a powerful mechanism in object-oriented programming. In OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications (pp. 397-406). Association for Computing Machinery. https://doi.org/10.1145/74878.74919

Madsen, O. L., Magnusson, B. & Møller-Pedersen, B. (1990). Strong typing of object-oriented languages revisited. In OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications (pp. 140-150). Association for Computing Machinery. https://doi.org/10.1145/97946.97964

Madsen, O. L. & Møller-Pedersen, B. (1991). Basic principles of the BETA programming language. In G. Blair, J. Gallagher, D. Hutchison & D. Shepherd (Eds.), Object-oriented languages, systems and applications (pp. 299-327). Halsted Press.

Madsen, O. L. & Knudsen, J. L. (1996). Using Object-Orientation as a Common Basis for System Development Education. ACM SIGPLAN Notices, 31(12), 52-62. https://doi.org/10.1145/242604.242618

Madsen, O. L., Kristensen, B. B. & Nygaard, K. (1977). BETA Language Development. Norsk Regnesentral.

Madsen, A. B. & Ernst, E. (2010). Pass-by-Subclass Parameters. In Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance.MASPEGHI '10 (pp. Article No.: 6). Association for Computing Machinery. https://doi.org/10.1145/1929999.1930005

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

Madsen, O. L. (2011). COOMP 2011: first international workshop on combined object-oriented modeling and programming. Abstract from SPLASH 2011, Portland, Oregon, United States. https://doi.org/10.1145/2048147.2048226

Madsen, M. & Andreasen, E. (2014). String Analysis for Dynamic Field Access. In A. Cohen (Ed.), Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (pp. 197-217). Springer. https://doi.org/10.1007/978-3-642-54807-9_12

Madsen, O. L. (2014). Building Safe Concurrency Abstractions. In G. Agha, A. Igarashi, N. Kobayashi , H. Masuhara, S. Matsuoka , E. Shibayama & K. Taura (Eds.), Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday (pp. 66-104). Springer VS. https://doi.org/10.1007/978-3-662-44471-9_4

Madsen, M. & Møller, A. (2014). Sparse Dataflow Analysis with Pointers and Reachability. In M. Müller-Olm & H. Seidl (Eds.), Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (pp. 201-218). Springer VS. https://doi.org/10.1007/978-3-319-10936-7_13

Madsen, M., Tip, F., Andreasen, E. S., Sen, K. & Møller, A. (2016). Feedback-directed instrumentation for deployed JavaScript applications. In Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016: ICSE 2016 (pp. 899-910). Association for Computing Machinery. https://doi.org/10.1145/2884781.2884846

Madsen, M., Livshits, B. & Fanning, M. (2013). Practical static analysis of JavaScript applications in the presence of frameworks and libraries. In B. Meyer, L. Baresi & M. Mezini (Eds.), Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering , ESEC/FSE 2013 (pp. 499-509). Association for Computing Machinery. https://doi.org/10.1145/2491411.2491417

Madsen, M., Lhoták, O. & Tip, F. (2020). A Semantics for the Essence of React. In R. Hirschfeld & T. Pape (Eds.), 34th European Conference on Object-Oriented Programming (ECOOP 2020) (Vol. 166, pp. 12:1-12:26). Article 12 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2020.12

Displaying results 1651 to 1700 out of 5913

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University