Author of the publication

Interactive Verification of Game Design and Playing Strategies.

, and . ICTAI, page 425-430. IEEE Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Breeding Decision Trees Using Evolutionary Techniques., and . ICML, page 393-400. Morgan Kaufmann, (2001)A novel fast and reliable thinning algorithm., and . Image Vis. Comput., 11 (9): 588-603 (1993)Controlled Flux Results in Stable Decision Trees., and . ICTAI, page 287-. IEEE Computer Society, (1999)Automated ML Techniques for Predicting COVID-19 Mortality in the ICU., , , , , and . ICIMTH, volume 305 of Studies in Health Technology and Informatics, page 517-520. IOS Press, (2023)Centrality Metrics from Students' Discussion Fora at Distance Education., , , and . IISA, page 1-6. IEEE, (2023)A Distance Learning VR Technology Tool for Science Labs., , , and . IISA, page 1-5. IEEE, (2022)Gaming Ecosystems for Education and Research: Where Artificial Intelligence meets with Software Engineering, at scale., , and . MEDES, page 199-204. ACM, (2019)Tracking User Participation in a Large Scale Team Collaboration Environment., , and . EC-TEL Workshops, volume 213 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)Induction of decision trees in numeric domains using set-valued attributes, , and . Intell. Data Anal, 4 (3-4): 323--347 (2000)Decision Tree Toolkit: A Component-Based Library of Decision Tree Algorithms., , and . PKDD, volume 1910 of Lecture Notes in Computer Science, page 381-387. Springer, (2000)