Ron van der Meyden
ORCIDPublication Activity (10 Years)
Years Active: 1990-2023
Publications (10 Years): 22
Publications (10 Years): 22
Publications
- Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
- Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
- Ron van der Meyden
- Ron van der Meyden, Michael J. Maher
- Ron van der Meyden, Manas K. Patra
- Ron van der Meyden
- Ron van der Meyden
- Xiaowei Huang, Ron van der Meyden
- Ron van der Meyden
- Ron van der Meyden
- Sebastian Eggert, Ron van der Meyden
- Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella
- Ron van der Meyden
- Oliver Woizekowski, Ron van der Meyden
- Sebastian Eggert, Ron van der Meyden
- Oliver Woizekowski, Ron van der Meyden
- Franck Cassez, Ron van der Meyden, Chenyi Zhang
- Ron van der Meyden, Manas K. Patra
- Ron van der Meyden
- Stephen Chong, Ron van der Meyden
- Xiaowei Huang, Ron van der Meyden
- Stephen Chong, Ron van der Meyden
- Xiaowei Huang, Ron van der Meyden
- Xiaowei Huang, Ron van der Meyden
- Xiaowei Huang, Ron van der Meyden
- Xiaowei Huang, Ron van der Meyden
- Franck Cassez, Ron van der Meyden, Chenyi Zhang
- Xiaowei Huang, Ron van der MeydenAn Epistemic Strategy Logic. CoRR (2014)
- Ron van der Meyden, Chenyi Zhang
- Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke
- Xiaowei Huang, Ron van der Meyden
- Xiaowei Huang, Ron van der Meyden
- Ron van der Meyden, Moshe Y. Vardi
- Ron van der Meyden, Chenyi Zhang
- Ron van der Meyden
- Kai Engelhardt, Ron van der Meyden, Chenyi Zhang
- Xiaowei Huang, Cheng Luo, Ron van der Meyden
- Xiaowei Huang, Patrick Maupin, Ron van der Meyden
- Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke
- Omar I. Al-Bataineh, Ron van der Meyden
- Omar I. Al-Bataineh, Ron van der Meyden
- Ron van der Meyden, Chenyi Zhang
- David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan
- Xiaowei Huang, Ron van der Meyden
- Xiaowei Huang, Cheng Luo, Ron van der Meyden
- Franck Cassez, Ron van der Meyden, Chenyi Zhang
- Ron van der Meyden
- Xiaowei Huang, Cheng Luo, Ron van der Meyden
- Ron van der Meyden
- Stephen Chong, Ron van der Meyden
- Ron van der Meyden, Chenyi Zhang
- Ron van der Meyden
- Ron van der Meyden, Chenyi Zhang
- Kai Engelhardt, Peter Gammie, Ron van der Meyden
- Ron van der Meyden, Thomas Wilke
- Peng Gao, Ron van der Meyden
- Ron van der Meyden
- Ron van der Meyden, Chenyi Zhang
- Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
- Ron van der Meyden, Thomas Wilke
- Kai Baukus, Ron van der Meyden
- Peter Gammie, Ron van der Meyden
- Ron van der Meyden, Kaile Su
- Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
- Ron van der Meyden
- Ron van der Meyden, Manas K. Patra
- Ron van der Meyden, Manas K. Patra
- Joseph Y. Halpern, Ron van der MeydenA Logical Reconstruction of SPKI. J. Comput. Secur. 11 (4) (2003)
- Ron van der Meyden, Ka-Shu Wong
- Joseph Y. Halpern, Ron van der Meyden
- Kai Engelhardt, Ron van der Meyden, Kaile Su
- Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
- Joseph Y. Halpern, Ron van der Meyden
- Joseph Y. Halpern, Ron van der MeydenA Logic for SDSI's Linked Local Name Spaces. J. Comput. Secur. 9 (1/2) (2001)
- Kai Engelhardt, Ron van der Meyden, Yoram Moses
- Edward P. F. Chan, Ron van der Meyden
- Kai Engelhardt, Ron van der Meyden, Yoram Moses
- Alessio Lomuscio, Ron van der Meyden, Mark Ryan
- Ron van der Meyden, Yoram Moses
- Joseph Y. Halpern, Ron van der Meyden
- Ron van der Meyden
- Joseph Y. Halpern, Ron van der Meyden
- Alessio Lomuscio, Ron van der Meyden, Mark Ryan
- Ron van der Meyden, Nikolay V. Shilov
- Ron van der Meyden, Yoram Moses
- Ron van der Meyden
- Ron van der Meyden
- Kai Engelhardt, Ron van der Meyden, Yoram Moses
- Ron van der Meyden, Moshe Y. Vardi
- Ron van der Meyden
- Ron van der Meyden
- Ron van der Meyden