Sean Kristian Remond Harbo

According to our database, Sean Kristian Remond Harbo authored at least 4 papers between 2021 and 2026.

Collaborative distances:

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

2026

Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations.

Sean Kristian Remond Harbo, Hans Hüttel

Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2026

2024

ACSmt: A plugin for eclipse papyrus to model systems of systems.

Sean Kristian Remond Harbo, Emil Palmelund Voldby, Jonas Madsen, Michele Albano

Sci. Comput. Program., January, 2024

2022

A diagram-centric modeling tool for systems of systems.

Sean Kristian Remond Harbo, Emil Palmelund Voldby, Jonas Madsen, Michele Albano

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Communication Oriented Modeling of Evolving Systems of Systems.

Sean Kristian Remond Harbo, Mathias Knøsgaard Kristensen, Emil Palmelund Voldby, Simon Vinberg Andersen, Felix Cho Petersen, Michele Albano

Proceedings of the 16th International Conference of System of Systems Engineering, 2021