| ABS: A high-level modeling language for cloud-aware programming N Bezirgiannis, F de Boer International Conference on Current Trends in Theory and Practice of …, 2016 | 18 | 2016 |
| A high-level and scalable approach for generating scale-free graphs using active objects K Azadbakht, N Bezirgiannis, FS de Boer, S Aliakbary Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1244-1250, 2016 | 17 | 2016 |
| Implementing SOS with active objects: A case study of a multicore memory system N Bezirgiannis, F de Boer, EB Johnsen, KI Pun, SL Tapia Tarifa Fundamental Approaches to Software Engineering: 22nd International …, 2019 | 16 | 2019 |
| Human-in-the-loop simulation of cloud services N Bezirgiannis, F De Boer, S De Gouw European Conference on Service-Oriented and Cloud Computing, 143-158, 2017 | 12 | 2017 |
| Improving Performance of Simulation Software Using Haskell’s Concurrency & Parallelism N Bezirgiannis Universiteit Utrecht, 2013 | 10 | 2013 |
| A formal actor-based model for streaming the future K Azadbakht, FS de Boer, N Bezirgiannis, E de Vink Science of Computer Programming 186, 102341, 2020 | 7 | 2020 |
| Usage of generic programming on hackage: experience report N Bezirgiannis, J Jeuring, S Leather Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, 47-52, 2013 | 7 | 2013 |
| On Futures for Streaming Data in ABS: (Short Paper) K Azadbakht, N Bezirgiannis, FS de Boer Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017 | 6 | 2017 |
| Distributed network generation based on preferential attachment in ABS K Azadbakht, N Bezirgiannis, FS de Boer SOFSEM 2017: Theory and Practice of Computer Science: 43rd International …, 2017 | 6 | 2017 |
| HLogo: A parallel Haskell variant of NetLogo N Bezirgiannis, I Prasetya, I Sakellariou 2016 6th International Conference on Simulation and Modeling Methodologies …, 2016 | 6 | 2016 |
| A formal, resource consumption-preserving translation of actors to haskell E Albert, N Bezirgiannis, F de Boer, E Martin-Martin International Symposium on Logic-Based Program Synthesis and Transformation …, 2016 | 5 | 2016 |
| A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell E Albert, N Bezirgiannis, F de Boer, E Martin-Martin Fundamenta Informaticae 177 (3-4), 203-234, 2020 | 2 | 2020 |
| ECOTRUCK: An agent system for paper recycling N Bezirgiannis, I Sakellariou International Conference on Engineering Applications of Neural Networks, 303-312, 2011 | 2 | 2011 |
| Abstract Behavioral Specification: unifying modeling and programming N Bezirgiannis Leiden University, 2018 | | 2018 |
| HLogo: A Haskell STM-Based Parallel Variant of NetLogo N Bezirgiannis, I Prasetya, I Sakellariou Simulation and Modeling Methodologies, Technologies and Applications …, 2018 | | 2018 |
| Agent assisted paper collection for recycling N Bezirgiannis, I Sakellariou Engineering Intelligent Systems 20 (1-2), 73-83, 2012 | | 2012 |
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
