Mike Hinchey

Software Technology

2018

Distributed, Parallel and Biologically Inspired Systems

2014

Conquering Complexity

2014

Autonomy Requirements Engineering for Space Missions

2016

Understanding Formal Methods

2003

Recent Advances in Artificial Intelligence and Smart Applications

2025

Provably Correct Systems

2018

Innovative Concepts for Agent-Based Systems

2014

Innovations in Signal Processing and Embedded Systems

2023

Industry 4.0

2021

Applications of Networks, Sensors and Autonomous Systems Analytics

2022

SOFSEM 2017 : Theory and Practice of Computer Science

2017

Combined Power of Research, Education, and Dissemination

2024

Biologically-Inspired Collaborative Computing

2010