arrow
返回
R

Robi Malik

University of Waikato

17H指数
93论文数
1.3K被引数
收录论文 9
发表时间
An optical gamma-ray burst catalogue with measured redshift - I. Data release of 535 gamma-ray bursts and colour evolution
err2024-06-21
err3
errOAAI
errDainotti, M. G.; De Simone, B.; Mohideen Malik, R. F.; Pasumarti, V; Levine, D.; Saha, N.; Gendre, B.; Kido, D.; Watson, A. M.; Becerra, R. L.; Belkin, S.; Desai, S.; do E. S. Pedreira, A. C. C.; Das, U.; Li, L.; Oates, S. R.; Cenko, S. B.; Pozanenko, A.; Volnova, A.; Hu, Y. -d; Castro-Tirado, A. J.; Orange, N. B.; Moriya, T. J.; Fraija, N.; Niino, Y.; Rinaldi, E.; Butler, N. R.; Gonzalez, J. d J. G.; Kutyrev, A. S.; Lee, W. H.; Prochaska, X.; Ramirez-Ruiz, E.; Richer, M.; Siegel, M. H.; Misra, K.; Rossi, A.; Lopresti, C.; Quadri, U.; Strabla, L.; Ruocco, N.; Leonini, S.; Conti, M.; Rosi, P.; Ramirez, L. M. T.; Zola, S.; Jindal, I; Kumar, R.; Chan, L.; Fuentes, M.; Lambiase, G.; Kalinowski, K. K.; Jamal, W.
err分享
err收藏
Robust stutter bisimulation for abstraction and controller synthesis with disturbance
err2024-02-01
err0
errOAAI
errKrook, Jonas; Malik, Robi; Mohajerani, Sahar; Fabian, Martin
err分享
err收藏
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
err2021-08-01
err5
errOAAI
errMohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stephane; Ozay, Necmiye
err分享
err收藏
Compositional synthesis of supervisors in the form of state machines and state maps
err2017-02-01
err25
errOAAI
errMohajerani, Sahar; Malik, Robi; Fabian, Martin
err分享
err收藏
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
err2015-01-01
err22
PREAI
errTeixeira, Marcelo; Malik, Robi; Cury, Jose E. R.; de Queiroz, Max H.
err分享
err收藏
Verification of the Observer Property in Discrete Event Systems
err2014-08-01
err8
errOAAI
errPena, Patrcia N.; Bravo, Hugo J.; da Cunha, Antonio E. C.; Malik, Robi; Lafortune, Stephane; Cury, Jose E. R.
err分享
err收藏
err分享
err收藏