Stebėti
Patrick Girard
Patrick Girard
Patvirtintas el. paštas ensma.fr
Pavadinimas
Cituota
Cituota
Metai
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
2242009
Quaternions, Clifford algebras and relativistic physics
PR Girard
Springer Science & Business Media, 2007
1742007
The quaternion group and modern physics
PR Girard
European Journal of Physics 5 (1), 25, 1984
1371984
Logical dynamics of belief change in the community
F Liu, J Seligman, P Girard
Synthese 191, 2403-2431, 2014
1332014
Logic in the community
J Seligman, F Liu, P Girard
Indian conference on logic and its applications, 178-188, 2011
1152011
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
1032016
β-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
Facebook and the epistemic logic of friendship
J Seligman, F Liu, P Girard
arXiv preprint arXiv:1310.6440, 2013
962013
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
762015
Mémento de pisciculture d'étang: 5e édition mise à jour
O Schlumberger, P Girard
Quae, 2020
662020
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
662010
What is an inconsistent truth table?
Z Weber, G Badia, P Girard
Australasian Journal of Philosophy 94 (3), 533-548, 2016
522016
General dynamic dynamic logic
J Seligman
Advances in Modal Logic 2012, 2012
492012
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
452004
Using the B formal approach for incremental specification design of interactive systems
Y Aït-Ameur, P Girard, F Jambon
IFIP International Conference on Engineering for Human-Computer Interaction …, 1998
451998
Formal validation of HCI user tasks
Y Aït-Ameur, M Baron, P Girard
Proc. International Conference on Software Engineering Research and Practice …, 2003
432003
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
421998
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
361991
SUIDT: A task model based GUI-Builder
M Baron, P Girard
TAMODIA, 2002
332002
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20