الرئيسية › دليل الباحثين › Josée Desharnais

Josée Desharnais

الانتماء : Université Laval

• 1منشورات (انتماء كندي)
• 103مجموع المنشورات
• 2153الاستشهادات
• 19مؤشر h

ORCIDOpenAlex

الملف البحثي

لدى Josée Desharnais 1 منشور(ات) مفهرسة (1999). تُنشر أعماله أساسًا في «Lecture notes in computer science». شارك في تأليف أعماله 1 باحثًا على الأقل.

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

• Logic, programming, and type systems
• Formal Methods in Verification
• Petri Nets in System Modeling
• Logic, Reasoning, and Knowledge
• Advanced Software Engineering Methodologies

المنشورات (1)

• Mathematical Foundations for Program Transformations
  1999 · Lecture notes in computer science

التعاون العلمي

المؤسسات الشريكة : Université de Sherbrooke

المؤلفون المشاركون

• Marc Frappier

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).