Author of the publication

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

Applying Active Online- Tutoring to Motivate Online Learners in a Work Based Environment., , , and . USAB, page 199-. Austrian Computer Society, (2006)Networked Facilitated Open and Distance Learning in Continuing Engineering Education., , , and . ICALT, page 397-400. IEEE Computer Society, (2001)Computer supported collaborative learning and vocational training: adapting the technology to the learners' needs., , , , , , and . Univers. Access Inf. Soc., 7 (4): 259-272 (2008)Promoting a Central Learning Management System by Encouraging Its Use for Other Purposes Than Teaching., and . HCI (9), volume 5618 of Lecture Notes in Computer Science, page 689-698. Springer, (2009)Students' Attidudes Towards Novel Interfaces in E-Learning., , , and . HCI (7), volume 4556 of Lecture Notes in Computer Science, page 738-747. Springer, (2007)Certified DQBF Solving by Definition Extraction., , and . SAT, volume 12831 of Lecture Notes in Computer Science, page 499-517. Springer, (2021)First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving., and . SCSS, volume 342 of EPTCS, page 99-113. (2021)Pedant: A Certifying DQBF Solver., and . SAT, volume 236 of LIPIcs, page 20:1-20:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Circuit Minimization with QBF-Based Exact Synthesis., , and . AAAI, page 4087-4094. AAAI Press, (2023)