Publikationer

Søg publikationer fra Institut for Datalogi

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

Sortér efter: Dato | Forfatter | Titel

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. I T. Özyer , J. Rokne , G. Wagner & A. H. P. Reuser (red.), The Influence of Technology on Social Network Analysis and Mining (s. 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. Afhandling præsenteret på International Workshop on Ranking in Databases, Istanbul, Tyrkiet. http://chenwsdb.fulton.ad.asu.edu/DBRank2012/

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

Magnani, M. & Rossi, L. (2013). Formation of multiple networks. I A. M. Greenberg , W. G. Kennedy & N. D. Bos (red.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (s. 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. I A. M. Greenberg, W. G. Kennedy & N. D. Bos (red.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (s. 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. I Q. He & A. Iyengar (red.), Proceedings of the 22nd ACM International Conference on Information & Knowledge Management, CIKM '13 (s. 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. I A. M. Berman (red.), Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications: , systems, languages, and applications (s. 114 - 131). Association for Computing Machinery. https://doi.org/10.1145/320384.320394

Madsen, O. L. (2000). Towards a Unified Programming Language. I E. Bertino (red.), ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings (s. 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. I J. Gutknecht & W. Weck (red.), Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings (s. 211-237). Springer. https://doi.org/10.1007/10722581_18

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

Madsen, O. L. (1999). Towards Integration of Object-Oriented Languages and State Machines. I Proceedings of the Technology of Object-Oriented Languages and Systems: Proceedings of the Technology of Object-Oriented Languages and Systems (Bind 1, s. 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. I Z. Zamir (red.), 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. I M. L. Manns (red.), Proceedings Educators' Symposium: Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'98). Session: Mastering OO Modeling: Experiences in OO Education. (s. 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. udg.) Addison-Wesley.

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

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

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

Madsen, O. L. (1987). Block Structure and Object-Oriented Languages. I B. D. Shriver & P. Wegner (red.), Research Directions in Object Oriented Programming (s. 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. Afhandling præsenteret på Hawaii International Conference on System Sciences , USA. 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 Bind 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. Afhandling præsenteret på SIMULA 67 User's Conference, Paris, Frankrig.

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. I S. Gjessing & K. Nygaard (red.), ECOOP ’88 European Conference on Object-Oriented Programming : Oslo, Norway, August 15–17, 1988 Proceedings (s. 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. I OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications (s. 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. I OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications (s. 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. I G. Blair, J. Gallagher, D. Hutchison & D. Shepherd (red.), Object-oriented languages, systems and applications (s. 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. I Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance.MASPEGHI '10 (s. 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. I EMERGING 2010 : The Second International Conference on Emerging Network Intelligence. Proceedings (s. 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 fra SPLASH 2011, Portland, Oregon, USA. https://doi.org/10.1145/2048147.2048226

Madsen, M. & Andreasen, E. (2014). String Analysis for Dynamic Field Access. I A. Cohen (red.), 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 (s. 197-217). Springer. https://doi.org/10.1007/978-3-642-54807-9_12

Madsen, O. L. (2014). Building Safe Concurrency Abstractions. I G. Agha, A. Igarashi, N. Kobayashi , H. Masuhara, S. Matsuoka , E. Shibayama & K. Taura (red.), Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday (s. 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. I M. Müller-Olm & H. Seidl (red.), Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (s. 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. I Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016: ICSE 2016 (s. 899-910). Association for Computing Machinery. https://doi.org/10.1145/2884781.2884846

Madsen, O. L. & Møller-Pedersen, B. (2016). The Essence of Subclassing. Afhandling præsenteret på NOOL 2016, Amsterdam, Holland.

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

Viser resultater 1701 til 1750 ud af 6040

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series