Static output feedback: On essential feasible information patterns. - J. Frederico Carvalho 001; Sérgio Pequito; A. Pedro Aguiar; Soummya Kar; George J. Pappas (CDC, 2015)

Caging and Path Non-existence: A Deterministic Sampling-Based Verification Algorithm. - Anastasiia Varava; J. Frederico Carvalho 001; Florian T. Pokorny; Danica Kragic (ISRR, 2017)

Composability and controllability of structural linear time-invariant systems: Distributed verification. - J. Frederico Carvalho 001; Sérgio Daniel Pequito; A. Pedro Aguiar; Soummya Kar; Karl Henrik Johansson (Autom., 2017)

A Decomposition-Based Approach to Reasoning about Free Space Path-Connectivity for Rigid Objects in 2D. - Anastasiia Varava; J. Frederico Carvalho 001; Danica Kragic; Florian T. Pokorny (CoRR, 2017)

An algorithm for calculating top-dimensional bounding chains. - J. Frederico Carvalho 001; Mikael Vejdemo-Johansson; Danica Kragic; Florian T. Pokorny (PeerJ Prepr., 2017)

Path Clustering with Homology Area. - J. Frederico Carvalho 001; Mikael Vejdemo-Johansson; Danica Kragic; Florian T. Pokorny (ICRA, 2018)

Long-term Prediction of Motion Trajectories Using Path Homology Clusters. - J. Frederico Carvalho 001; Mikael Vejdemo-Johansson; Florian T. Pokorny; Danica Kragic (IROS, 2019)

The effect of Target Normalization and Momentum on Dying ReLU. - Isac Arnekvist; J. Frederico Carvalho 001; Danica Kragic; Johannes A. Stork (CoRR, 2020)

Topological Methods for Motion Prediction and Caging. - João Frederico Carvalho 001 (2020)

Sequential Topological Representations for Predictive Models of Deformable Objects. - Rika Antonova; Anastasiia Varava; Peiyang Shi; J. Frederico Carvalho 001; Danica Kragic (L4DC, 2021)

Free space of rigid objects: caging, path non-existence, and narrow passage detection. - Anastasiia Varava; J. Frederico Carvalho 001; Danica Kragic; Florian T. Pokorny (Int. J. Robotics Res., 2021)