Edit Profile (opens in new tab) Rasmussen, Jacob Illum Co-Author Distance Author ID: rasmussen.jacob-illum Published as: Rasmussen, Jacob Illum; Rasmussen, J. I.; Rasmussen, Jacob I. more...less Homepage: http://vbn.aau.dk/en/persons/jacob-illum-rasmussen%285a4b1ddc-a0ee-4d06-a6f3-e74... External Links: ResearchGate Documents Indexed: 15 Publications since 1997, including 6 Additional arXiv Preprints Co-Authors: 5 Co-Authors with 7 Joint Publications 306 Co-Co-Authors all top 5 Co-Authors 7 single-authored 7 Larsen, Kim Guldstrand 2 Behrmann, Gerd 2 Subramani, Krishnan 1 Bouyer, Patricia 1 Denk, S. S. 1 Maj, Omar 1 Markey, Nicolas 1 Nielsen, S. K. 1 Poli, Elena 1 Stejner, M. 1 Willensdorfer, Martin Serials 1 Computer Physics Communications 1 Theoretical Computer Science 1 Formal Methods in System Design all top 5 Fields 7 Computer science (68-XX) 5 Manifolds and cell complexes (57-XX) 2 Operations research, mathematical programming (90-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 51 times in 39 Documents Cited by ▼ Year ▼ Optimal reachability for multi-priced timed automata. Zbl 1134.68029 Larsen, Kim Guldstrand; Rasmussen, Jacob Illum 11 2008 Optimal conditional reachability for multi-priced timed automata. Zbl 1118.68527 Larsen, Kim Guldstrand; Rasmussen, Jacob Illum 10 2005 Priced timed automata: Algorithms and applications. Zbl 1143.68430 Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob I. 9 2005 Resource-optimal scheduling using priced timed automata. Zbl 1126.68461 Rasmussen, J. I.; Larsen, Kim G.; Subramani, K. 7 2004 Almost optimal strategies in one clock priced timed games. Zbl 1177.68142 Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum 6 2006 Beyond liveness: Efficient parameter synthesis for time bounded liveness. Zbl 1175.68255 Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob Illum 5 2005 On using priced timed automata to achieve optimal scheduling. Zbl 1105.68011 Rasmussen, J. I.; Larsen, K. G.; Subramani, K. 3 2006 Optimal reachability for multi-priced timed automata. Zbl 1134.68029 Larsen, Kim Guldstrand; Rasmussen, Jacob Illum 11 2008 Almost optimal strategies in one clock priced timed games. Zbl 1177.68142 Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum 6 2006 On using priced timed automata to achieve optimal scheduling. Zbl 1105.68011 Rasmussen, J. I.; Larsen, K. G.; Subramani, K. 3 2006 Optimal conditional reachability for multi-priced timed automata. Zbl 1118.68527 Larsen, Kim Guldstrand; Rasmussen, Jacob Illum 10 2005 Priced timed automata: Algorithms and applications. Zbl 1143.68430 Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob I. 9 2005 Beyond liveness: Efficient parameter synthesis for time bounded liveness. Zbl 1175.68255 Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob Illum 5 2005 Resource-optimal scheduling using priced timed automata. Zbl 1126.68461 Rasmussen, J. I.; Larsen, Kim G.; Subramani, K. 7 2004 all cited Publications top 5 cited Publications all top 5 Cited by 95 Authors 5 Larsen, Kim Guldstrand 4 Fahrenberg, Uli 3 Bouyer, Patricia 3 Brihaye, Thomas 3 Droste, Manfred 3 Fränzle, Martin 3 Quaas, Karin 3 Swaminathan, Mani 3 Worrell, James B. 2 Al-Bataineh, Omar 2 French, Tim 2 Legay, Axel 2 Markey, Nicolas 2 Perevoshchikov, Vitaly 2 Reynolds, Mark Alexander 2 Shirmohammadi, Mahsa 2 Wijs, Anton J. 1 Ahn, Univan 1 Aljazzar, Husain 1 André, Étienne 1 Baier, Christel 1 Béchennec, Jean-Luc 1 Bernabeu, Antoine 1 Boichut, Yohan 1 Bošnački, Dragan 1 Briday, Mikaël 1 Bruyère, Véronique 1 Carter, Rebekah 1 Chevalier, Fabrice 1 Chiplunkar, Ashish 1 Choe, Changil 1 Cleaveland, Rance 1 Clemente, Lorenzo 1 Crestani, Didier 1 Dashti, M. Torabi 1 Dingel, Juergen 1 Dong, JinSong 1 Edelkamp, Stefan 1 Faucou, Sébastien 1 Fehnker, Ansgar 1 Fontana, Peter 1 Geeraerts, Gilles 1 Godary-dejean, Karen 1 Gu, Yu-Lei 1 Haddad, Axel 1 Hahn, Ernst Moritz 1 Han, Song 1 Haverkort, Boudewijn R. 1 Héam, Pierre-Cyrille 1 Hermanns, Holger 1 Hofman, Piotr 1 Høiriis Mortensen, Jeppe 1 Jain, Chinmay 1 Jensen, Peter Gjøl 1 Jurdziński, Marcin 1 Katoen, Joost-Pieter 1 Kiviriga, Andrej 1 Kouchnarenko, Olga 1 Krishna, Shankara Narayanan 1 Kumar, Rajesh 1 Kwiatkowska, Marta Z. 1 Lefaucheux, Engel 1 Lime, Didier 1 Liu, Yang 1 Mijačika, Adriana 1 Monmege, Benjamin 1 Naud, Olivier 1 Navarro-López, Eva María 1 Norman, Gethin 1 Nyman, Ulrik 1 Ouaknine, Joel O. 1 Parrot, Rémi 1 Prasad, Sanjiva 1 Raskin, Jean-François 1 Rasmussen, Jacob Illum 1 Roux, Olivier H. 1 Rudie, Karen 1 Ruijters, Enno 1 Saddem-yagoubi, Rim 1 Schuppan, Viktor 1 Seshia, Sanjit Arunkumar 1 Sharygina, Natasha 1 Srba, Jiří 1 Stoelinga, Mariëlle 1 Subramani, Krishnan 1 Sun, Jun 1 Totzke, Patrick 1 Tripakis, Stavros 1 Trivedi, Ashutosh 1 Waez, Md Tawhid Bin 1 Yan, Rongjie 1 Zhang, Guangquan 1 Zhang, Jian 1 Zhang, Wenhui 1 Zhu, Xueyang all top 5 Cited in 15 Serials 4 Theoretical Computer Science 2 Information and Computation 2 Discrete Event Dynamic Systems 1 ACM Computing Surveys 1 Acta Informatica 1 Annals of Pure and Applied Logic 1 Formal Aspects of Computing 1 Real-Time Systems 1 MSCS. Mathematical Structures in Computer Science 1 Theory of Computing Systems 1 Journal of Applied Mathematics and Decision Sciences 1 The Journal of Logic and Algebraic Programming 1 Logical Methods in Computer Science 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 37 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 4 Operations research, mathematical programming (90-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 2 Number theory (11-XX) Citations by Year