conf.researchr.org / Panagiotis Manolios

Not registered as user yet

Name:Panagiotis Manolios
Affiliation:Northeastern University

Contributions

NASA Formal Methods Committee Member in Program Committee within the NFM 2023-track
ARRAY 2019 Author of Records with Rank Polymorphism within the ARRAY 2019-track
ARRAY 2018 Author of Rank Polymorphism Viewed as a Constraint Problem within the ARRAY 2018-track
CPP 2016 Committee Member in Program Committee within the CPP-track