Parosh Aziz Abdulla

发表

Parosh Aziz Abdulla, Marcus Nilsson, Bengt Jonsson, 2002, CONCUR.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Philipp Rümmer, 2015, CAV.
Parosh Aziz Abdulla, 2005, FORMATS.
Parosh Aziz Abdulla, Carole Delporte-Gallet, 2018, Computing.
Parosh Aziz Abdulla, Christel Baier, Bengt Jonsson, 2005, Inf. Comput..
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, 2007, Log. Methods Comput. Sci..
Parosh Aziz Abdulla, Richard Mayr, P. Abdulla, 2013, Log. Methods Comput. Sci..
Parosh Aziz Abdulla, Wang Yi, Pavel Krcál, 2009, INFINITY.
Parosh Aziz Abdulla, Lukás Holík, Ahmed Bouajjani, 2009, Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, 2017 .
Parosh Aziz Abdulla, Bengt Jonsson, Konstantinos Sagonas, 2017, J. ACM.
Parosh Aziz Abdulla, Marcus Nilsson, Bengt Jonsson, 1999, CAV.
Parosh Aziz Abdulla, P. Abdulla, 2012 .
Parosh Aziz Abdulla, P. Abdulla, 2013 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Philipp Rümmer, 2017, PLDI.
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2019, NETYS.
Parosh Aziz Abdulla, P. Abdulla, 2009 .
Parosh Aziz Abdulla, Stefan Arnborg, 1988, Specification and Verification of Concurrent Systems.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, 2017 .
Parosh Aziz Abdulla, Bengt Jonsson, Konstantinos Sagonas, 2017, Models, Algorithms, Logics and Tools.
Parosh Aziz Abdulla, Richard Mayr, 2012, Infinity.
Parosh Aziz Abdulla, Julien d'Orso, Ahmed Bouajjani, 2008, J. Log. Comput..
Parosh Aziz Abdulla, Alexander Moshe Rabinovich, P. Abdulla, 2003, FoSSaCS.
Parosh Aziz Abdulla, Lukás Holík, Frédéric Haziza, 2015, SynCoP.
Parosh Aziz Abdulla, Bengt Jonsson, Lukás Holík, 2017, International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine, 2007, CAV.
Parosh Aziz Abdulla, P. Abdulla, 2013 .
Parosh Aziz Abdulla, Aletta Nylén, P. Abdulla, 2004, ArXiv.
Parosh Aziz Abdulla, Ahmed Rezine, Ahmed Bouajjani, 2008, CAV.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Rezine, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, 2017, Log. Methods Comput. Sci..
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, P. Abdulla, 2011 .
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, Wang Yi, Pavel Krcál, 2007, FoSSaCS.
Parosh Aziz Abdulla, Sven Sandberg, Richard Mayr, 2013, QEST.
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, 2006, J. Log. Algebraic Methods Program..
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine, 2011, Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla, Bengt Jonsson, Lukás Holík, 2015, Acta Informatica.
Parosh Aziz Abdulla, 2011, Encyclopedia of Parallel Computing.
Parosh Aziz Abdulla, K. Rustan M. Leino, 2013, International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Lukás Holík, 2019, ATVA.
Parosh Aziz Abdulla, P. Abdulla, 2011 .
Parosh Aziz Abdulla, Tomás Vojnar, Jonathan Cederberg, 2011, Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla, Lorenzo Clemente, Yu-Fang Chen, 2011, CONCUR.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm, 2006, Software Verification: Infinite-State Model Checking and Static Program Analysis.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong, 2015, NETYS.
Parosh Aziz Abdulla, P. Abdulla, 2009 .
Parosh Aziz Abdulla, Richard Mayr, Pritha Mahata, 2004, FSTTCS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, 2012, SAS.
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, 2017, CONCUR.
Parosh Aziz Abdulla, Julien d'Orso, Bengt Jonsson, 2002, CAV.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, 2018, FORMATS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer, 2015, FSTTCS.
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, P. Abdulla, 2013 .
Parosh Aziz Abdulla, P. Abdulla, 1992, Formal Aspects of Computing.
Parosh Aziz Abdulla, Bengt Jonsson, B. Jonsson, 2001 .
Parosh Aziz Abdulla, Bengt Jonsson, Yih-Kuen Tsay, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Parosh Aziz Abdulla, 2014 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, 2017, ArXiv.
Parosh Aziz Abdulla, Joël Ouaknine, James Worrell, 2007, FSEN'07.
Parosh Aziz Abdulla, C. Aiswarya, Marco Montali, 2019, PODS.
Parosh Aziz Abdulla, P. Abdulla, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Parosh Aziz Abdulla, Giorgio Delzanno, Arnaud Sangnier, 2016, Theor. Comput. Sci..
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, 2018, VECoS.
Parosh Aziz Abdulla, P. Abdulla, 2013 .
Parosh Aziz Abdulla, P. Abdulla, 2013 .
Parosh Aziz Abdulla, P. Abdulla, 2009 .
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine, 2009, RP.
Parosh Aziz Abdulla, P. Abdulla, 2009 .
Parosh Aziz Abdulla, Ahmed Bouajjani, Luc Boasson, 2001, ICALP.
Parosh Aziz Abdulla, Julien d'Orso, Ahmed Bouajjani, 2003, CSL.
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, 2010, TACAS.
Parosh Aziz Abdulla, P. Abdulla, 2012 .
Parosh Aziz Abdulla, Joël Ouaknine, James Worrell, 2005, ICALP.
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, 2014, Theor. Comput. Sci..
Parosh Aziz Abdulla, Giorgio Delzanno, Andreas Podelski, 2013, FSEN.
Parosh Aziz Abdulla, P. Abdulla, 2007 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Richard Mayr, 2014, CSL-LICS.
Parosh Aziz Abdulla, Marcus Nilsson, Bengt Jonsson, 2004, CAV.
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, 2006 .
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, 2005, TACAS.
Parosh Aziz Abdulla, Lisa Kaati, Jonathan Cederberg, 2010, ISoLA.
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, Richard Mayr, Jeremy Sproston, 2015, FoSSaCS.
Parosh Aziz Abdulla, Ahmed Bouajjani, Yassine Lakhnech, 1999, CAV.
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2015, Acta Informatica.
Parosh Aziz Abdulla, P. Abdulla, 2007 .
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin, 2009, LATA.
Parosh Aziz Abdulla, Stefanos Kaxiras, Alberto Ros, 2016, FORTE.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2014, INFINITY.
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2016, CAV.
Parosh Aziz Abdulla, Ahmed Bouajjani, P. Abdulla, 2008 .
Parosh Aziz Abdulla, Lukás Holík, Ahmed Bouajjani, 2008, TACAS.
Parosh Aziz Abdulla, 2011, CONCUR.
Parosh Aziz Abdulla, 2011 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Philipp Rümmer, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
Parosh Aziz Abdulla, Lukás Holík, Ahmed Bouajjani, 2008, CIAA.
Parosh Aziz Abdulla, Doron A. Peled, Mats Kindahl, 1997, FORTE.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2014, Formal Methods Syst. Des..
Parosh Aziz Abdulla, Aletta Nylén, P. Abdulla, 2001, ICATPN.
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin, 2011, Inf. Comput..
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, 2014, FSTTCS.
Parosh Aziz Abdulla, 2010 .
Parosh Aziz Abdulla, Bengt Jonsson, B. Jonsson, 1994, Inf. Comput..
Parosh Aziz Abdulla, Bengt Jonsson, 1996, Inf. Comput..
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Parosh Aziz Abdulla, 2011, International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, 2007 .
Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, 2004, Formal Methods Syst. Des..
Parosh Aziz Abdulla, Per Bjesse, Niklas Eén, 2000, TACAS.
Parosh Aziz Abdulla, Ahmed Rezine, Ahmed Bouajjani, 2008, Beyond the Finite: New Challenges in Verification and Semistructured Data.
Parosh Aziz Abdulla, Johann Deneux, Marcus Nilsson, 2005, CIAA.
Parosh Aziz Abdulla, Bengt Jonsson, Doron A. Peled, 1998, CAV.
Parosh Aziz Abdulla, C. Aiswarya, Marco Montali, 2018, 2018 18th International Conference on Application of Concurrency to System Design (ACSD).
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2012, LATA.
Parosh Aziz Abdulla, Bengt Jonsson, Konstantinos Sagonas, 2014, POPL.
Parosh Aziz Abdulla, P. Abdulla, 2007 .
Parosh Aziz Abdulla, Johann Deneux, Aletta Nylén, 2004, FORMATS/FTRTFT.
Parosh Aziz Abdulla, Bengt Jonsson, 1996, Inf. Comput..
Parosh Aziz Abdulla, Bengt Jonsson, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Parosh Aziz Abdulla, P. Abdulla, 2009 .
Parosh Aziz Abdulla, Johann Deneux, Aletta Nylén, 2007, Nord. J. Comput..
Parosh Aziz Abdulla, Richard Mayr, Pritha Mahata, 2006, Log. Methods Comput. Sci..
Parosh Aziz Abdulla, A. R. Majeed, Sallah Hama Amin, 2006 .
Parosh Aziz Abdulla, Marco Montali, Mohamed Faouzi Atig, 2020, OVERLAY.
Parosh Aziz Abdulla, 2009 .
Parosh Aziz Abdulla, Marco Montali, Giorgio Delzanno, 2015, GandALF.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2014, LATA.
Parosh Aziz Abdulla, P. Abdulla, 2007 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, 2021, Proc. ACM Program. Lang..
Parosh Aziz Abdulla, Muhsin Atto, Ran Ji, 2009, ATVA.
Parosh Aziz Abdulla, Lisa Kaati, Johanna Björklund, 2007, Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, 2012, TACAS.
Parosh Aziz Abdulla, 2013 .
Parosh Aziz Abdulla, Bengt Jonsson, Lukás Holík, 2013, ATVA.
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, 2013, TACAS.
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, Bengt Jonsson, B. Jonsson, 2001, CONCUR.
Parosh Aziz Abdulla, P. Abdulla, 2013 .
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, 2008, VMCAI.
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, 2008, FORTE.
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, 2006, CONCUR.
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, 2007, TACAS.
Parosh Aziz Abdulla, P. Abdulla, 2014 .
Parosh Aziz Abdulla, Wang Yi, Pavel Krcál, 2010, Log. Methods Comput. Sci..
Parosh Aziz Abdulla, 2013 .
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, 2012 .
Parosh Aziz Abdulla, Aletta Nylén, S. Purushothaman Iyer, 2000, CAV.
Parosh Aziz Abdulla, 2006 .
Parosh Aziz Abdulla, Igor Potapov, Stéphane Demri, 2016, Fundam. Informaticae.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, 2012, FSTTCS.
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine, 2009, Formal Methods Syst. Des..
Parosh Aziz Abdulla, P. Abdulla, 2013 .
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2019, Proc. ACM Program. Lang..
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, 2007 .
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm, 2006, Software Verification: Infinite-State Model Checking and Static Program Analysis.
Parosh Aziz Abdulla, Stefanos Kaxiras, Alberto Ros, 2018, Log. Methods Comput. Sci..
Parosh Aziz Abdulla, Marcus Nilsson, Julien d'Orso, 2004, International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla, Tomás Vojnar, Jonathan Cederberg, 2011, RP.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong, 2015, ESOP.
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine, 2008, ICTAC.
Parosh Aziz Abdulla, C. Aiswarya, Marco Montali, 2016, PODS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Viktor Vafeiadis, 2020, ArXiv.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, 2013, ATVA.
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, 2009, Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla, Lukás Holík, Frédéric Haziza, 2015, International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, 2009, FSTTCS.
Parosh Aziz Abdulla, Lukás Holík, Frédéric Haziza, 2014, SAS.
Parosh Aziz Abdulla, Ahmed Bouajjani, Lisa Kaati, 2008 .
Parosh Aziz Abdulla, Nathalie Bertrand, Philippe Schnoebelen, 2005, Inf. Comput..
Parosh Aziz Abdulla, P. Abdulla, 2011 .
Parosh Aziz Abdulla, P. Abdulla, 2008 .
Parosh Aziz Abdulla, P. Abdulla, 2012 .
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin, 2009, Workshop on Membrane Computing.
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2018, Proc. ACM Program. Lang..
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm, 2006, Software Verification: Infinite-State Model Checking and Static Program Analysis.
Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur, 2018, Handbook of Model Checking.
Parosh Aziz Abdulla, P. Abdulla, 2010 .
Parosh Aziz Abdulla, Richard Mayr, Jeremy Sproston, 2013, CONCUR.
Parosh Aziz Abdulla, Sven Sandberg, Noomene Ben Henda, 2006 .
Parosh Aziz Abdulla, Bengt Jonsson, Mohamed Faouzi Atig, 2015, TACAS.
Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh, 2016, SAS.
Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Parosh Aziz Abdulla, 2011 .
Parosh Aziz Abdulla, Ahmed Bouajjani, Aurore Annichini, 1999, TACAS.
Parosh Aziz Abdulla, Lukás Holík, Tomás Vojnar, 2009, Electron. Notes Theor. Comput. Sci..
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, 2018, FSTTCS.
Parosh Aziz Abdulla, Carole Delporte-Gallet, 2016, Lecture Notes in Computer Science.
Parosh Aziz Abdulla, Marcus Nilsson, Julien d'Orso, 2003, CAV.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, 2017, CONCUR.
Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, 2004, ISoLA.
Parosh Aziz Abdulla, P. Abdulla, 2013 .
Parosh Aziz Abdulla, Richard Mayr, Yu-Fang Chen, 2010 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer, 2020, NETYS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, 2011 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jatin Arora, 2019, PLDI.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Philipp Rümmer, 2014, CAV.
Parosh Aziz Abdulla, Bengt Jonsson, B. Jonsson, 1998, TACAS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, 2016, FM.
Parosh Aziz Abdulla, Bengt Jonsson, 2001 .
Parosh Aziz Abdulla, K. Rustan M. Leino, K. Leino, 1996, Lecture Notes in Computer Science.
Parosh Aziz Abdulla, Lukás Holík, Frédéric Haziza, 2013, VMCAI.
Parosh Aziz Abdulla, Bengt Jonsson, B. Jonsson, 2001, Theor. Comput. Sci..
Parosh Aziz Abdulla, P. Abdulla, 2009 .
Parosh Aziz Abdulla, Bengt Jonsson, Yih-Kuen Tsay, 2000, Inf. Comput..
Parosh Aziz Abdulla, Lorenzo Clemente, Sven Sandberg, 2014, Log. Methods Comput. Sci..
Parosh Aziz Abdulla, Sven Sandberg, Noomene Ben Henda, 2008, FoSSaCS.
Parosh Aziz Abdulla, P. Abdulla, 2012 .
Parosh Aziz Abdulla, Sven Sandberg, Noomene Ben Henda, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Parosh Aziz Abdulla, Joël Ouaknine, James Worrell, 2009, Fundam. Informaticae.
Parosh Aziz Abdulla, P. Abdulla, 2009 .
Parosh Aziz Abdulla, 2009 .
Parosh Aziz Abdulla, P. Abdulla, 2009 .
Parosh Aziz Abdulla, P. Abdulla, 2012 .
Parosh Aziz Abdulla, P. Abdulla, 2013 .
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine, 2009, FMOODS/FORTE.
Parosh Aziz Abdulla, Wang Yi, Pavel Krcál, 2008, CONCUR.
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin, 2007, CSL.
Parosh Aziz Abdulla, Bengt Jonsson, B. Jonsson, 1999, Correct System Design.
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, 2017, TACAS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, 2014, FACS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Richard Mayr, 2018, CONCUR.
Parosh Aziz Abdulla, Bengt Jonsson, B. Jonsson, 2003, Theor. Comput. Sci..
Parosh Aziz Abdulla, Christel Baier, Bengt Jonsson, 2000, CONCUR.
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, 2005, INFINITY.
Parosh Aziz Abdulla, Frédéric Haziza, Mats Kindahl, 2008, CARN.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, 2020, CONCUR.
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine, 2008, RP.
Parosh Aziz Abdulla, Sven Sandberg, Noomene Ben Henda, 2006, ATVA.
Parosh Aziz Abdulla, Richard Mayr, 2009, FoSSaCS.
Parosh Aziz Abdulla, P. Abdulla, 2011 .
Parosh Aziz Abdulla, P. Abdulla, 2015 .
Parosh Aziz Abdulla, Karlis Cerans, P. Abdulla, 1998, CONCUR.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, 2013, FMOODS/FORTE.
Parosh Aziz Abdulla, Lisa Kaati, Johanna Björklund, 2006, Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2012, QFM.
Parosh Aziz Abdulla, Giorgio Delzanno, Arnaud Sangnier, 2011, FORMATS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julian Dolby, 2020, PLDI.
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Parosh Aziz Abdulla, Giorgio Delzanno, Yu-Fang Chen, 2010, CONCUR.
Parosh Aziz Abdulla, Lorenzo Clemente, Yu-Fang Chen, 2010, CAV.
Parosh Aziz Abdulla, Marcus Nilsson, Bengt Jonsson, 2004, CONCUR.
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Bouajjani, 1998, CAV.
Parosh Aziz Abdulla, Richard Mayr, P. Abdulla, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Parosh Aziz Abdulla, Johann Deneux, Bengt Jonsson, 2004 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, 2015, NETYS.
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, 2004 .
Parosh Aziz Abdulla, P. Abdulla, 2007 .
Parosh Aziz Abdulla, P. Abdulla, 2007 .
Parosh Aziz Abdulla, P. Abdulla, 2011 .
Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh, 2018, ESOP.
Parosh Aziz Abdulla, P. Abdulla, 2007 .
Parosh Aziz Abdulla, P. Abdulla, 2010, The Bulletin of Symbolic Logic.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, 2014, 1402.6610.
Parosh Aziz Abdulla, P. Abdulla, 2011 .
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, 2021, Proc. ACM Program. Lang..
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, 2021, Int. J. Softw. Tools Technol. Transf..
Parosh Aziz Abdulla, 2021, Model Checking, Synthesis, and Learning.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, 2021, APLAS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Krishna Shankara Narayanan, 2022, ESOP.
Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holı́k, 2012 .
Parosh Aziz Abdulla, Giorgio Delzanno, P. Abdulla, 2002 .