Author of the publication

A formal language for the design of manufacturable objects.

, , and . Formal Design Methods for CAD, volume B-18 of IFIP Transactions, page 135-155. Elsevier, (1994)

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

Conceptual geometric reasoning by the manipulation of models based on prototypes., , and . AI EDAM, 9 (5): 367-385 (1995)Evaluation of available bandwidth as a routing metric for delay-sensitive IEEE 802.15.4-based ad-hoc networks., , , and . Ad Hoc Networks, (2016)A hybrid MAC protocol for emergency response wireless sensor networks., , and . Ad Hoc Networks, (2014)Scheduling with uncertain durations: Modeling beta-robust scheduling with constraints., , and . Computers & OR, 36 (8): 2348-2356 (2009)RPL-based routing protocols for multi-sink wireless sensor networks., , , and . WiMob, page 452-459. IEEE Computer Society, (2015)Exploiting Rush Hours for Energy-Efficient Contact Probing in Opportunistic Data Collection., , and . ICDCS Workshops, page 240-247. IEEE Computer Society, (2011)Restoring Wireless Sensor Network Connectivity in Damaged Environments., , and . ANT/MobiWIS, volume 10 of Procedia Computer Science, page 1134-1139. Elsevier, (2012)A Dynamic Model for Fire Emergency Evacuation Based on Wireless Sensor Networks., , and . ISPDC, page 29-36. IEEE Computer Society, (2009)Performance Based Maintenance Scheduling for Building Service Components., , , and . PRO-VE, volume 307 of IFIP Advances in Information and Communication Technology, page 487-494. Springer, (2009)The EvacSim pedestrian evacuation agent model: development and validation., , and . SummerSim, page 38. Society for Computer Simulation International / ACM DL, (2013)