自分のプロフィールを作成
オープン アクセス
すべて表示55 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Ian GentProfessor of Computer Science, St Andrews University確認したメール アドレス: st-andrews.ac.uk
- Nina NarodytskaVMware Research確認したメール アドレス: vmware.com
- K. Brent VenableProfessor of Computer Science, IHMC and UWF確認したメール アドレス: ihmc.org
- Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, Tunisia確認したメール アドレス: fsm.rnu.tn
- christian bessiereCNRS確認したメール アドレス: lirmm.fr
- Haris AzizUNSW Sydney - Scientia Associate Professor確認したメール アドレス: unsw.edu.au
- Emmanuel HebrardLAAS-CNRS, Université de Toulouse確認したメール アドレス: laas.fr
- Zeynep KiziltanAlma Mater - Università di Bologna確認したメール アドレス: unibo.it
- George KatsirelosINRAE確認したメール アドレス: inrae.fr
- Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of Padua確認したメール アドレス: dei.unipd.it
- Alan M FrischUniversity of York確認したメール アドレス: york.ac.uk
- Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Francesca RossiIBM Research確認したメール アドレス: ibm.com
- Nicholas MatteiAssistant Professor, Tulane University確認したメール アドレス: tulane.edu
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Ian MiguelUniversity of St Andrews確認したメール アドレス: st-andrews.ac.uk
- Claude-Guy QuimperUniversité Laval確認したメール アドレス: ift.ulaval.ca
- Fausto GiunchigliaProfessor of Computer Science, Università di Trento確認したメール アドレス: unitn.it
- Serge GaspersProfessor, UNSW Sydney, Australia確認したメール アドレス: cse.unsw.edu.au
- Alan BundyProfessor of Automated Reasoning, University of Edinburgh確認したメール アドレス: ed.ac.uk