الحصول على ملفك الشخصي الخاص
عدد المنشورات المتاحة للجميع
عرض المجموعة جميعها130 مقالة
0 مقالة
المقالات البحثية المتاحة للجميع
المقالات البحثية غير المتاحة للجميع
تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل
المؤلفون المشاركون
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics Campusبريد إلكتروني تم التحقق منه على cs.uni-saarland.de
- Gunter SaakeProfessor of Computer Science, Magdeburg Universityبريد إلكتروني تم التحقق منه على ovgu.de
- Don BatoryUniversity of Texas at Austinبريد إلكتروني تم التحقق منه على cs.utexas.edu
- Norbert SiegmundProfessor of Computer Science, Leipzig Universityبريد إلكتروني تم التحقق منه على informatik.uni-leipzig.de
- Christian LengauerProfessor für Informatik, Universität Passauبريد إلكتروني تم التحقق منه على uni-passau.de
- Thomas LeichProfessor für Informatik, Harz University of Applied Sciencesبريد إلكتروني تم التحقق منه على hs-harz.de
- Jörg Liebig4Soft GmbHبريد إلكتروني تم التحقق منه على 4soft.de
- Thomas ThümProfessor, Paderborn University, Germanyبريد إلكتروني تم التحقق منه على uni-paderborn.de
- Janet SiegmundChemnitz University of Technologyبريد إلكتروني تم التحقق منه على hrz.tu-chemnitz.de
- Klaus OstermannProfessor of Computer Science, University of Tübingen, Germanyبريد إلكتروني تم التحقق منه على uni-tuebingen.de
- Marko RosenmüllerTomTomبريد إلكتروني تم التحقق منه على rosenmueller.de
- Shurui ZhouUniversity of Torontoبريد إلكتروني تم التحقق منه على ece.utoronto.ca
- Bogdan VasilescuAssociate Professor at Carnegie Mellon Universityبريد إلكتروني تم التحقق منه على cmu.edu
- Jens MeinickeCarnegie Mellon University, Pittsburgh, USAبريد إلكتروني تم التحقق منه على andrew.cmu.edu
- Sebastian ErdwegProfessor of Computer Science, JGU Mainzبريد إلكتروني تم التحقق منه على uni-mainz.de
- Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, Googleبريد إلكتروني تم التحقق منه على cse.sc.edu
- André BrechmannLeibniz Institute for Neurobiologyبريد إلكتروني تم التحقق منه على ifn-magdeburg.de
- Tillmann RendelSAPبريد إلكتروني تم التحقق منه على sap.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.بريد إلكتروني تم التحقق منه على tudelft.nl
- Chris ParninMicrosoftبريد إلكتروني تم التحقق منه على microsoft.com
متابعة
Christian Kästner
Carnegie Mellon University, School of Computer Science
بريد إلكتروني تم التحقق منه على cs.cmu.edu - الصفحة الرئيسية