×

Rasmussen, Jacob Illum

Author ID: rasmussen.jacob-illum Recent zbMATH articles by "Rasmussen, Jacob Illum"
Published as: Rasmussen, Jacob Illum; Rasmussen, J. I.; Rasmussen, Jacob I.
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

Publications by Year

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 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

Citations by Year