dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Faranak Heidarian (Selection)

Faranak Heydarian Dehkordi

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFides Aarts, Faranak Heidarian, Frits W. Vaandrager: A Theory of History Dependent Abstractions for Learning Interface Automata. CONCUR 2012: 240-255
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager: Automata Learning through Counterexample Guided Abstraction Refinement. FM 2012: 10-27
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFaranak Heidarian, Julien Schmaltz, Frits W. Vaandrager: Analysis of a clock synchronization protocol for wireless sensor networks. Theor. Comput. Sci. 413(1): 87-105 (2012)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFaranak Heidarian, Julien Schmaltz, Frits W. Vaandrager: Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. FM 2009: 516-531
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager: Modelling Clock Synchronization in the Chess gMAC WSN Protocol QFM 2009: 41-54

Selection of 5 from 6 records - Faranak Heidarian has 10 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page