Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Faranak Heidarian

dblp:65/7504 · also Faranak Heydarian Dehkordi · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
0since 2021 · last 2012
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 2 first-authorSoftware engineering, systems software and programming languages · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automata and formal languages · 50% Automated reasoning and model checking · 50%
Computer networks
1 paper
Internet of things and sensor networks · 50% Internet architecture and protocols · 50%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 100%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automata and formal languages › grammatical inference
automata learning		 0.112012
Automata Learning through Counterexample Guided Abstraction Refinement · FM 2012
Automated reasoning and model checking › abstraction refinement
counterexample-guided abstraction refinement		 0.112012
Automata Learning through Counterexample Guided Abstraction Refinement · FM 2012
Internet architecture and protocols › network synchronization
time synchronization protocols		 0.112009
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks · FM 2009
Internet of things and sensor networks
wireless sensor network		 0.112009
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks · FM 2009
Distributed systems
distributed coordination		 0.012009
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks · FM 2009
YearPublicationVenuePosition
2012 A Theory of History Dependent Abstractions for Learning Interface Automata
Fides Aarts, Faranak Heidarian, Frits W. Vaandrager
 CONCUR2
2012 Automata Learning through Counterexample Guided Abstraction Refinement
Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager
 FM2
2012 Analysis of a clock synchronization protocol for wireless sensor networks
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
 Theor. Comput. Sci.1
2009 Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
 FM1