Nikolaos Bezirgiannis

According to our database, Nikolaos Bezirgiannis authored at least 14 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A formal actor-based model for streaming the future.

Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink

Sci. Comput. Program., 2020

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell.

Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin

Fundam. Informaticae, 2020

2019

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System.

Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Abstract Behavioral Specification: unifying modeling and programming.

Nikolaos Bezirgiannis

PhD thesis, 2018

2017

Distributed Network Generation Based on Preferential Attachment in ABS.

Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

On Futures for Streaming Data in ABS - (Short Paper).

Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Human-in-the-Loop Simulation of Cloud Services.

Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw

Proceedings of the Service-Oriented and Cloud Computing, 2017

2016

ABS: A High-Level Modeling Language for Cloud-Aware Programming.

Nikolaos Bezirgiannis, Frank S. de Boer

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

HLogo: A Haskell STM-Based Parallel Variant of NetLogo.

Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2016

HLogo: A Parallel Haskell Variant of NetLogo.

Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou

Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016

A high-level and scalable approach for generating scale-free graphs using active objects.

Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer, Sadegh Aliakbary

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.

Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2013

Usage of generic programming on hackage: experience report.

Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

2011

ECOTRUCK: An Agent System for Paper Recycling.

Nikolaos Bezirgiannis, Ilias Sakellariou

Proceedings of the Artificial Intelligence Applications and Innovations, 2011