| Stock market analysis and prediction using hidden markov models B Nobakht, CE Joseph, B Loni Student Conference on Engg and Systems (SCES), 1-4, 2012 | 229* | 2012 |
| Web page classification using social tags S Aliakbary, H Abolhassani, H Rahmani, B Nobakht 2009 International Conference on Computational Science and Engineering 4 …, 2009 | 38 | 2009 |
| Declarative elasticity in ABS S De Gouw, J Mauro, B Nobakht, G Zavattaro European Conference on Service-Oriented and Cloud Computing, 118-134, 2016 | 19 | 2016 |
| Programming and deployment of active objects with application-level scheduling B Nobakht, FS de Boer, MM Jaghoori, R Schlatte Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1883-1888, 2012 | 17 | 2012 |
| On the integration of automatic deployment into the ABS modeling language S De Gouw, M Lienhardt, J Mauro, B Nobakht, G Zavattaro European Conference on Service-Oriented and Cloud Computing, 49-64, 2015 | 15 | 2015 |
| Monitoring method call sequences using annotations B Nobakht, FS de Boer, MM Bonsangue, S de Gouw, MM Jaghoori Science of Computer Programming 94, 362-378, 2014 | 13 | 2014 |
| Statically and dynamically verifiable SLA metrics E Giachino, S De Gouw, C Laneve, B Nobakht Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016 | 12 | 2016 |
| A design pattern for optimizations in data intensive applications using ABS and JAVA 8 V Serbanescu, K Azadbakht, F de Boer, C Nagarajagowda, B Nobakht Concurrency and Computation: Practice and Experience 28 (2), 374-385, 2016 | 11 | 2016 |
| Programming with actors in Java 8 B Nobakht, FS de Boer International Symposium On Leveraging Applications of Formal Methods …, 2014 | 11 | 2014 |
| Towards type-based optimizations in distributed applications using ABS and JAVA 8 V Serbanescu, C Nagarajagowda, K Azadbakht, F de Boer, B Nobakht Adaptive Resource Management and Scheduling for Cloud Computing: First …, 2014 | 9 | 2014 |
| Formal verification of service level agreements through distributed monitoring B Nobakht, S de Gouw, FS de Boer Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015 …, 2015 | 8 | 2015 |
| The future of a missed deadline B Nobakht, FS de Boer, MM Jaghoori Coordination Models and Languages: 15th International Conference …, 2013 | 4 | 2013 |
| Actors at work B Nobakht Leiden University, 2016 | | 2016 |
| Declarative Elasticity in ABS S de Gouw, J Mauro, B Nobakht, G Zavattaro European Conference on Service-Oriented and Cloud Computing, 118-134, 2016 | | 2016 |
| On the Integration of Automatic Deployment into the ABS Modeling Language S De Gouw, M Lienhardt, J Mauro, B Nobakht, G Zavattaro ESOCC 2015 9306 (49), 2015 | | 2015 |
| Programming and deployment of active objects with application-level scheduling FS deBoer, B Nobakht, MM Jaghoori, R Schlatte ACM, 2012 | | 2012 |
| Deploying active objects onto multicore B Nobakht | | 2011 |
| Multi-core programming B Nobakht, FS de Boer | | 2011 |
| Collaboration-based social tag prediction in the graph of annotated web pages H Rahmani, B Nobakht, H Blockeel DyNaK 2010 Dynamic Networks and Knowledge Discovery, 65, 2010 | | 2010 |
| Web Page Classification Using Social Tags H Abolhassani, H Rahmani, B Nobakht | | |
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresse e-mail validée de cwi.nl