Author of the publication

I learn from you, you learn from me: How to make iList learn from students.

, , , , , and . AIED, volume 200 of Frontiers in Artificial Intelligence and Applications, page 491-498. IOS Press, (2009)

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

Simple CAD Construction and its Applications.. J. Symb. Comput., 31 (5): 521-547 (2001)Towards Detection of Partial Truth via Real Geometry., , , , , and . SC-Square@ISSAC, volume 3455 of CEUR Workshop Proceedings, page 44-53. CEUR-WS.org, (2023)Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web., and . SSR, volume 8893 of Lecture Notes in Computer Science, page 39-56. Springer, (2014)Open Non-uniform Cylindrical Algebraic Decompositions.. ISSAC, page 85-92. ACM, (2015)Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations., , and . Algorithmic Algebra and Logic, page 55-58. Books on Demand, (2005)Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition., and . CASC, volume 12291 of Lecture Notes in Computer Science, page 129-149. Springer, (2020)Exploiting Strict Constraints in the Cylindrical Algebraic Covering., , , and . SMT, volume 3429 of CEUR Workshop Proceedings, page 33-45. CEUR-WS.org, (2023)Bridging Two Communities to Solve Real Problems.. SYNASC, page 11-14. IEEE, (2016)Learning Linked Lists: Experiments with the iList System., , , and . Intelligent Tutoring Systems, volume 5091 of Lecture Notes in Computer Science, page 80-89. Springer, (2008)Efficient Preprocessing Methods for Quantifier Elimination., and . CASC, volume 4194 of Lecture Notes in Computer Science, page 89-100. Springer, (2006)