Edit Profile (opens in new tab) Møller, Anders Pape Compute Distance To: Compute Author ID: moller.anders-pape Published as: Møller, Anders; Møller, Anders Pape; Möller, Anders more...less Documents Indexed: 15 Publications since 2000 Co-Authors: 14 Co-Authors with 15 Joint Publications 141 Co-Co-Authors all top 5 Co-Authors 0 single-authored 9 Schwartzbach, Michael I. 4 Brabrand, Claus 3 Klarlund, Nils 2 Giegerich, Robert 1 Bessa-Gomes, Carmen 1 Christensen, Aske Simon 1 Clobert, Jean 1 Elgaard, Jacob 1 Jensen, Simon Holm 1 Jönsson, Ulf T. 1 Legendre, Stéphane 1 Ricky, Mikkel 1 Schwarz, Mathias 1 Thiemann, Peter J. all top 5 Serials 2 Science of Computer Programming 1 IEEE Transactions on Automatic Control 1 International Journal of Foundations of Computer Science 1 1 Journal of Biological Systems 1 Fields 13 Computer science (68-XX) 2 Biology and other natural sciences (92-XX) 1 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 73 times in 63 Documents Cited by ▼ Year ▼ Precise analysis of string expressions. Zbl 1067.68541Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael I. 23 2003 MONA implementation secrets. Zbl 1066.68079Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 20 2002 MONA implementation secrets. Zbl 0989.03500Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 8 2001 Analyzing ambiguity of context-free grammars. Zbl 1139.68348Brabrand, Claus; Giegerich, Robert; Møller, Anders 3 2007 XML graphs in program analysis. Zbl 1215.68079Møller, Anders; Schwartzbach, Michael 3 2011 The design space of type checkers for XML transformation languages. Zbl 1112.68372Møller, Anders; Schwartzbach, Michael I. 3 2005 Dual syntax for XML languages. Zbl 1159.68407Brabrand, Claus; Møller, Anders; Schwartzbach, Michael I. 3 2005 Input-output analysis of power control in wireless networks. Zbl 1369.93560Möller, Anders; Jönsson, Ulf T. 2 2013 Compile-time debugging of C programs working on trees. Zbl 0971.68590Elgaard, Jacob; Møller, Anders; Schwartzbach, Michael I. 2 2000 Analyzing ambiguity of context-free grammars. Zbl 1189.68068Brabrand, Claus; Giegerich, Robert; Møller, Anders 2 2010 The DSD schema language. Zbl 1034.68622Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 1 2002 Modeling mating patterns given mutual mate choice: The importance of individual mating preferences and mating system. Zbl 1041.92023Bessa-Gomes, Carmen; Clobert, Jean; Legendre, Stéphane; Møller, Anders Pape 1 2003 Interprocedural analysis with lazy propagation. Zbl 1306.68030Jensen, Simon Holm; Møller, Anders; Thiemann, Peter 1 2010 HTML validation of context-free languages. Zbl 1326.68038Møller, Anders; Schwarz, Mathias 1 2011 Input-output analysis of power control in wireless networks. Zbl 1369.93560Möller, Anders; Jönsson, Ulf T. 2 2013 XML graphs in program analysis. Zbl 1215.68079Møller, Anders; Schwartzbach, Michael 3 2011 HTML validation of context-free languages. Zbl 1326.68038Møller, Anders; Schwarz, Mathias 1 2011 Analyzing ambiguity of context-free grammars. Zbl 1189.68068Brabrand, Claus; Giegerich, Robert; Møller, Anders 2 2010 Interprocedural analysis with lazy propagation. Zbl 1306.68030Jensen, Simon Holm; Møller, Anders; Thiemann, Peter 1 2010 Analyzing ambiguity of context-free grammars. Zbl 1139.68348Brabrand, Claus; Giegerich, Robert; Møller, Anders 3 2007 The design space of type checkers for XML transformation languages. Zbl 1112.68372Møller, Anders; Schwartzbach, Michael I. 3 2005 Dual syntax for XML languages. Zbl 1159.68407Brabrand, Claus; Møller, Anders; Schwartzbach, Michael I. 3 2005 Precise analysis of string expressions. Zbl 1067.68541Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael I. 23 2003 Modeling mating patterns given mutual mate choice: The importance of individual mating preferences and mating system. Zbl 1041.92023Bessa-Gomes, Carmen; Clobert, Jean; Legendre, Stéphane; Møller, Anders Pape 1 2003 MONA implementation secrets. Zbl 1066.68079Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 20 2002 The DSD schema language. Zbl 1034.68622Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 1 2002 MONA implementation secrets. Zbl 0989.03500Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 8 2001 Compile-time debugging of C programs working on trees. Zbl 0971.68590Elgaard, Jacob; Møller, Anders; Schwartzbach, Michael I. 2 2000 all cited Publications top 5 cited Publications all top 5 Cited by 150 Authors 4 Holík, Lukáš 4 Lengál, Ondřej 4 Vojnar, Tomáš 3 Bultan, Tevfik 3 Ibarra, Oscar H. 3 Klaedtke, Felix 3 Langer, Alexander 3 Yu, Fang 2 Arceri, Vincenzo 2 Barrett, Clark W. 2 Bjørner, Nikolaj S. 2 Cortesi, Agostino 2 Fiedor, Tomáš 2 Havlena, Vojtěch 2 Kneis, Joachim 2 Li, Ping 2 Liang, Tianyi 2 Liu, Xinzhi 2 Møller, Anders Pape 2 Pandya, Paritosh K. 2 Reynolds, Andrew 2 Rossmanith, Peter 2 Tinelli, Cesare 2 Tsiskaridze, Nestan 2 Veanes, Margus 2 Wakankar, Amol 2 Zhao, Wu 1 Al-Nabhan, Najla 1 Alkhalaf, Muath 1 Avdyukhin, Dmitry 1 Bantegui, Michael 1 Barth, Stephan 1 Basin, David A. 1 Basten, H. J. S. 1 Beringer, Lennart 1 Berkemer, Sarah J. 1 Berzish, Murphy 1 Biere, Armin 1 Bigonha, Roberto S. 1 Bodeveix, Jean-Paul 1 Brabrand, Claus 1 Bravenboer, Martin 1 Brejová, Broňa 1 Brown, Daniel G. 1 Chang, Byeong-Mo 1 Choe, Kwang-Moo 1 Choi, Kwanghoon 1 d’Amorim, Marcelo 1 D’Antoni, Loris 1 Deters, Morgan 1 Dillig, Isil 1 Dolby, Julian 1 Dolstra, Eelco 1 Eisinger, Jochen 1 Engelfriet, Joost 1 Engen, Steinar 1 Felgenhauer, Bertram 1 Ferrara, Pietro 1 Filali, Mamoun 1 Fröhlich, Andreas M. 1 Fu, Xiang 1 Ganesh, Vijay 1 Gange, Graeme 1 Genevès, Pierre 1 Gesbert, Nils 1 Giegerich, Robert 1 Gil, Joseph 1 Gottlob, Georg 1 Grabowski, Robert 1 Grigorev, Semyon 1 Guha, Arjun 1 Guo, Lihong 1 Hallé, Sylvain 1 Hanaoka, Goichiro 1 Heinen, Jonathan 1 Heizmann, Matthias 1 Heule, Marijn J. H. 1 Hofmann, Martin 1 Höner zu Siederdissen, Christian 1 Hoogeboom, Hendrik Jan 1 Hooimeijer, Pieter 1 Hosoya, Haruo 1 Im, Hyeonseung 1 Janků, Petr 1 Jansen, Christina 1 Katoen, Joost-Pieter 1 Kim, Se-Won 1 Kincaid, Zachary 1 Klarlund, Nils 1 Kovásznai, Gergely 1 Krishnamurthi, Shriram 1 Kuncak, Viktor 1 Lawall, Julia L. 1 Layaïda, Nabil 1 Lee, Aline Magdalena 1 Lenz, Keren 1 Li, Chung-Chih 1 Lochmann, Alexander 1 Mastroeni, Isabella 1 Matsuda, Takahiro ...and 50 more Authors all top 5 Cited in 24 Serials 6 Science of Computer Programming 5 Formal Methods in System Design 4 Theoretical Computer Science 3 Information and Computation 3 Journal of Automated Reasoning 2 Information Processing Letters 1 Acta Informatica 1 Artificial Intelligence 1 Journal of Computer and System Sciences 1 Theoretical Population Biology 1 Formal Aspects of Computing 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 Theory of Computing Systems 1 Journal of Inequalities and Applications 1 Journal of the ACM 1 Higher-Order and Symbolic Computation 1 Computer Languages, Systems & Structures 1 Mathematical Biosciences and Engineering 1 Discrete Optimization 1 Journal of Nonlinear Science and Applications 1 Algorithms 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 57 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Probability theory and stochastic processes (60-XX) 2 Biology and other natural sciences (92-XX) 2 Information and communication theory, circuits (94-XX) 1 Ordinary differential equations (34-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year