Maria Pittou

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 11

Top Topics

Multi View Semi Supervised Learning

Regular Languages

Algebraic Expressions

Top Venues

Int. J. Found. Comput. Sci.

Publications

Maria Pittou, George Rahonis
Modelling Uncertainty in Architectures of Parametric Component-Based Systems. Int. J. Found. Comput. Sci. 34 (6) (2023)
Christina Chrysovalanti Fountoukidou, Maria Pittou
A formal algebraic approach for the quantitative modeling of connectors in architectures. CoRR (2022)
Christina Chrysovalanti Fountoukidou, Maria Pittou
A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures. CAI (2022)
Maria Pittou, George Rahonis
Architectures in parametric component-based systems: Qualitative and quantitative modelling. Log. Methods Comput. Sci. 17 (4) (2021)
Maria Pittou, George Rahonis
Architecture Modelling of Parametric Component-Based Systems. COORDINATION (2020)
Maria Pittou, George Rahonis
Weighted parametric systems: Modelling and architecture. CoRR (2019)
Maria Pittou, George Rahonis
Architecture specification of parametric component-based systems. CoRR (2019)
Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. Sci. Comput. Program. 167 (2018)
Maria Pittou, George Rahonis
Weighted Recognizability over Infinite Alphabets. Acta Cybern. 23 (1) (2017)
Maria Pittou, Stavros Tripakis
Multi-view consistency for infinitary regular languages. SAMOS (2016)
Maria Pittou, Stavros Tripakis
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. FACS (2016)
Maria Pittou, George Rahonis
Weighted Variable Automata over Infinite Alphabets. CIAA (2014)