Segui
Patrick Girard
Patrick Girard
Email verificata su ensma.fr
Titolo
Citata da
Citata da
Anno
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
2122009
Quaternions
PR Girard
Quaternions, Clifford Algebras and Relativistic Physics, 3-17, 2007
1612007
The quaternion group and modern physics
PR Girard
European Journal of Physics 5 (1), 25, 1984
1271984
Logical dynamics of belief change in the community
F Liu, J Seligman, P Girard
Synthese 191, 2403-2431, 2014
1152014
β-Carotene producing mutants of Phaffia rhodozyma
P Girard, B Falconnier, J Bricout, B Vladescu
Applied microbiology and biotechnology 41, 183-191, 1994
1031994
Modal logic for belief and preference change
P Girard
University of Amsterdam, 2008
1022008
Logic in the community
J Seligman, F Liu, P Girard
Logic and Its Applications: 4th Indian Conference, ICLA 2011, Delhi, India…, 2011
972011
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
872016
Facebook and the epistemic logic of friendship
J Seligman, F Liu, P Girard
arXiv preprint arXiv:1310.6440, 2013
802013
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
732015
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
632010
Mmento de Pisciculture D'tang: 5e dition Mise Jour
O Schlumberger, P Girard
Quae, 2020
592020
General dynamic dynamic logic
J Seligman
Advances in Modal Logic 2012, 2012
482012
Using the B formal approach for incremental specification design of interactive systems
Y At-Ameur, P Girard, F Jambon
Engineering for Human-Computer Interaction: IFIP TC2/TC13 WG2. 7/WG13. 4…, 1999
451999
What is an inconsistent truth table?
Z Weber, G Badia, P Girard
Australasian Journal of Philosophy 94 (3), 533-548, 2016
442016
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
432004
A Uniform approach for the Specification and Design of Interactive Systems: the B method
Y At-Ameur, P Girard, F Jambon
Eurographics Workshop on Design, Specification, and Verification of…, 1998
431998
Formal validation of HCI user tasks
Y At-Ameur, M Baron, P Girard
Proc. International Conference on Software Engineering Research and Practice…, 2003
412003
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
371991
SUIDT: A task model based GUI-Builder
M Baron, P Girard
TAMODIA, 2002
342002
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20