Radu Grigore
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 16
Publications (10 Years): 16
Publications
- Radu Grigore, Stefan Kiefer
- Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
- Radu Grigore, Stefan Kiefer
- Radu Grigore, Stefan KieferSelective Monitoring. CoRR (2018)
- Mikolás Janota, Radu Grigore, Vasco M. Manquinho
- Mikolas Janota, Radu Grigore, Vasco M. Manquinho
- Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
- Radu Grigore
- Radu Grigore
- Radu Grigore, Hongseok Yang
- Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
- Radu Grigore, Nikos Tzevelekos
- Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
- Radu Grigore, Stefan Kiefer
- Radu Grigore, Stefan KieferTree Buffers. CoRR (2015)
- Radu Grigore, Hongseok Yang
- Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
- Nikos Tzevelekos, Radu Grigore
- Mikolás Janota, Radu Grigore, João Marques-Silva
- Mikolás Janota, Radu Grigore, João Marques-Silva
- Radu Grigore
- Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
- Mikolás Janota, João Marques-Silva, Radu Grigore
- Radu Grigore, Michal MoskalEdit and verify CoRR (2007)
- Mikolás Janota, Radu Grigore, Michal Moskal