| Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences J Van Benthem, P Girard, O Roy Journal of philosophical logic 38, 83-125, 2009 | 212 | 2009 |
| Quaternions PR Girard Quaternions, Clifford Algebras and Relativistic Physics, 3-17, 2007 | 161 | 2007 |
| The quaternion group and modern physics PR Girard European Journal of Physics 5 (1), 25, 1984 | 127 | 1984 |
| Logical dynamics of belief change in the community F Liu, J Seligman, P Girard Synthese 191, 2403-2431, 2014 | 115 | 2014 |
| β-Carotene producing mutants of Phaffia rhodozyma P Girard, B Falconnier, J Bricout, B Vladescu Applied microbiology and biotechnology 41, 183-191, 1994 | 103 | 1994 |
| Modal logic for belief and preference change P Girard University of Amsterdam, 2008 | 102 | 2008 |
| Logic in the community J Seligman, F Liu, P Girard Logic and Its Applications: 4th Indian Conference, ICLA 2011, Delhi, India …, 2011 | 97 | 2011 |
| Hanseniaspora uvarum from Winemaking Environments Show Spatial and Temporal Genetic Clustering W Albertin, ME Setati, C Miot-Sertier, TT Mostert, B Colonna-Ceccaldi, ... Frontiers in microbiology 6, 1569, 2016 | 87 | 2016 |
| Facebook and the epistemic logic of friendship J Seligman, F Liu, P Girard arXiv preprint arXiv:1310.6440, 2013 | 80 | 2013 |
| The yeast Starmerella bacillaris (synonym Candida zemplinina) shows high genetic diversity in winemaking environments I Masneuf-Pomarede, E Juquin, C Miot-Sertier, P Renault, Y Laizet, ... FEMS yeast research 15 (5), fov045, 2015 | 73 | 2015 |
| Increasing the expressive power of task analysis: Systematic comparison and empirical assessment of tool-supported task models S Caffiau, D Scapin, P Girard, M Baron, F Jambon Interacting with Computers 22 (6), 569-593, 2010 | 63 | 2010 |
| Mémento de Pisciculture D'étang: 5e édition Mise à Jour O Schlumberger, P Girard Quae, 2020 | 59 | 2020 |
| General dynamic dynamic logic J Seligman Advances in Modal Logic 2012, 2012 | 48 | 2012 |
| Using the B formal approach for incremental specification design of interactive systems Y Aït-Ameur, P Girard, F Jambon Engineering for Human-Computer Interaction: IFIP TC2/TC13 WG2. 7/WG13. 4 …, 1999 | 45 | 1999 |
| What is an inconsistent truth table? Z Weber, G Badia, P Girard Australasian Journal of Philosophy 94 (3), 533-548, 2016 | 44 | 2016 |
| Example-based programming: a pertinent visual approach for learning to program N Guibert, P Girard, L Guittet Proceedings of the working conference on Advanced visual interfaces, 358-361, 2004 | 43 | 2004 |
| A Uniform approach for the Specification and Design of Interactive Systems: the B method Y Aït-Ameur, P Girard, F Jambon Eurographics Workshop on Design, Specification, and Verification of …, 1998 | 43 | 1998 |
| Formal validation of HCI user tasks Y Aït-Ameur, M Baron, P Girard Proc. International Conference on Software Engineering Research and Practice …, 2003 | 41 | 2003 |
| Introduction of terpene-producing ability in a wine strain of Saccharomyces cerevisiae C Javelot, P Girard, B Colonna-Ceccaldi, B Vladescu Journal of biotechnology 21 (3), 239-251, 1991 | 37 | 1991 |
| SUIDT: A task model based GUI-Builder M Baron, P Girard TAMODIA, 2002 | 34 | 2002 |
