Author of the publication

The verification of temporal knowledge based systems - a case-study on power-systems.

, , , and . ICINCO-ICSO, page 179-185. INSTICC Press, (2007)978-972-8865-82-5.

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

Derivative-free optimization and filter methods to solve nonlinear constrained problems., , , and . Int. J. Comput. Math., 86 (10&11): 1841-1851 (2009)Indoor Location Using Fingerprinting and Fuzzy Logic., , , , , , and . Eurofuse, volume 107 of Advances in Intelligent and Soft Computing, page 363-374. Springer, (2011)A Practical Solution for Automatic Service Discovery and Usage over Resource Poor Ad-hoc Sensor Networks., , and . DASC, page 777-781. IEEE Computer Society, (2009)Penalty Fuzzy Function for Derivative-Free Optimization., , , , , and . Eurofuse, volume 107 of Advances in Intelligent and Soft Computing, page 293-301. Springer, (2011)Peer-to-Peer Jini for Truly Service-Oriented WSNs., , and . IJDSN, (2011)Second Life Information Desk System Using Instant Messaging and Short Messaging Service Technologies., , , , , and . VS-GAMES, page 125-132. IEEE Computer Society, (2009)Architecture for transparent helpdesk system with multimodal presence., , , , , and . SOCA, page 1-4. IEEE Computer Society, (2010)The verification of temporal knowledge based systems - a case-study on power-systems., , , and . ICINCO-ICSO, page 179-185. INSTICC Press, (2007)978-972-8865-82-5.Integration of Resource Poor Wireless Sensor Networks into Smart Spaces., , and . DASC, page 496-501. IEEE Computer Society, (2009)Virtual Machines Applied to WSN's: The state-of-the-art and classification., , and . ICSNC, page 50. IEEE Computer Society, (2007)