自分のプロフィールを作成
オープン アクセス
すべて表示58 件の論文
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, University of Montpellier, France確認したメール アドレス: lirmm.fr
Haris AzizUNSW Sydney確認したメール アドレス: unsw.edu.au
Emmanuel HebrardLAAS-CNRS, Université de Toulouse確認したメール アドレス: laas.fr
Zeynep KiziltanUniversity of Bologna, Italy確認したメール アドレス: unibo.it
George KatsirelosINRAE確認したメール アドレス: inrae.fr
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of Padua確認したメール アドレス: dei.unipd.it
Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
Alan M FrischUniversity of York確認したメール アドレス: york.ac.uk
Nicholas MatteiAssociate Professor, Tulane University確認したメール アドレス: tulane.edu
Francesca RossiIBM Research確認したメール アドレス: ibm.com
Ian MiguelUniversity of St Andrews確認したメール アドレス: st-andrews.ac.uk
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
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