Seyed H. Haeri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2014
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | PDP | Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. | Seyed H. Haeri, Sibylle Schupp |
| 2012 | ICFP | Using functional languages to facilitate C++ metaprogramming. | Seyed H. Haeri, Sibylle Schupp, Jonathan J. Hser |
| 2007 | WEBIST | Coincidence based Mapping Extraction with Genetic Algorithms. | Vahed Qazvinian, Hassan Abolhassani, Seyed H. Haeri |