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

A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL., , and . Formal Methods in System Design, 7 (1/2): 27-51 (1995)Enhancement of Student Learning Through the Use of a Hinting Computer e-Learning System and Comparison With Human Teachers., , and . IEEE Trans. Education, 54 (1): 164-167 (2011)Student Behavior and Interaction Patterns With an LMS as Motivation Predictors in E-Learning Settings., , and . IEEE Trans. Education, 53 (3): 463-470 (2010)An Ontology-Based Mechanism for Assembling Learning Objects., , , and . AICT/SAPIR/ELETE, page 472-477. IEEE Computer Society, (2005)VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project., , , , and . Microprocessing and Microprogramming, 38 (1-5): 589-596 (1993)CoSeRT: A Framework for Composing Service-Based Real-Time Applications., , , and . Business Process Management Workshops, 3812, page 329-341. (2005)Using bluetooth to implement a pervasive indoor positioning system with minimal requirements at the application level., , and . Mobile Information Systems, 8 (1): 73-82 (2012)Multi-channel, multi-objective, multi-context services: The glue of the smart cities learning ecosystem., , and . IxD&A, (2013)Web Accessibility Evaluation Via XSLT., , , and . WISE Workshops, volume 4832 of Lecture Notes in Computer Science, page 459-469. Springer, (2007)A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL., , , , and . ACM Trans. Program. Lang. Syst., 19 (4): 585-616 (1997)