George Rahonis

Kai Salomaa

Int. J. Found. Comput. Sci., 2024

Weighted Linear Dynamic Logic.

[BibT_eX]

[DOI]

Gustav Grabolle

Int. J. Found. Comput. Sci., 2024

2023

Modelling Uncertainty in Architectures of Parametric Component-Based Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., September, 2023

Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface.

[BibT_eX]

[DOI]

Arto Salomaa

Int. J. Found. Comput. Sci., September, 2023

Dynamic reconfiguration of component-based systems described by propositional configuration logic.

[BibT_eX]

[DOI]

Melpomeni Soula

CoRR, 2023

2022

Weighted propositional configuration logics: A specification language for architectures with quantitative features.

[BibT_eX]

[DOI]

Paulina Paraponiari

Inf. Comput., 2022

2021

Architectures in parametric component-based systems: Qualitative and quantitative modelling.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

2020

McCarthy-Kleene fuzzy automata and MSO logics.

[BibT_eX]

[DOI]

Inf. Comput., 2020

Architecture Modelling of Parametric Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2020

2019

Weighted Context-Free Grammars Over Bimonoids.

[BibT_eX]

[DOI]

Faidra Torpari

Sci. Ann. Comput. Sci., 2019

Weighted parametric systems: Modelling and architecture.

[BibT_eX]

[DOI]

CoRR, 2019

Architecture specification of parametric component-based systems.

[BibT_eX]

[DOI]

CoRR, 2019

2017

Stochastic Semantics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

MK-fuzzy Automata and MSO Logics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Weighted Recognizability over Infinite Alphabets.

[BibT_eX]

[DOI]

Acta Cybern., 2017

On Weighted Configuration Logics.

[BibT_eX]

[DOI]

Paulina Paraponiari

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Weighted Linear Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

2015

Weighted First-Order Logics over Semirings.

[BibT_eX]

[DOI]

Acta Cybern., 2015

2014

On weighted first-order logics with discounting.

[BibT_eX]

[DOI]

Acta Informatica, 2014

Weighted Variable Automata over Infinite Alphabets.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2014

2013

Characterizations of Weighted First-Order Logics over Semirings.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Informatics - 5th International Conference, 2013

Stochastic Equationality.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Informatics - 5th International Conference, 2013

2012

Equational weighted tree transformations.

[BibT_eX]

[DOI]

Acta Informatica, 2012

2011

Equational tree transformations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Variable Tree Automata over Infinite Ranked Alphabets.

[BibT_eX]

[DOI]

Irini-Eleftheria Mens

Proceedings of the Algebraic Informatics - 4th International Conference, 2011

Equational Weighted Tree Transformations with Discounting.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Foundations in Computer Science, 2011

2009

Weighted automata and weighted logics with discounting.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Recognizable Tree Series with Discounting.

[BibT_eX]

[DOI]

Acta Cybern., 2009

2008

Multi-Valued MSO Logics OverWords and Trees.

[BibT_eX]

[DOI]

Werner Kuich

Fundam. Informaticae, 2008

2007

Weighted Muller Tree Automata and Weighted Logics.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2007

2006

Fuzzy regular languages over finite and infinite words.

[BibT_eX]

[DOI]

Werner Kuich

Fuzzy Sets Syst., 2006

Weighted Automata and Weighted Logics on Infinite Words.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 10th International Conference, 2006

2005

Infinite fuzzy computations.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2005

2003

Alphabetic Pushdown Tree Transducers.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 7th International Conference, 2003

DNA Tree Structures.

[BibT_eX]

Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

2001

Alphabetic and synchronized tree transducers.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

1999

Splicing on Trees: the Iterated Case.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

1998

On the Size of Stack and Synchronization Alphabets of Tree Automata.

[BibT_eX]

[DOI]

Kai Salomaa

Fundam. Informaticae, 1998

1997

Hierarchies of synchronized and algebraic forests.

[BibT_eX]

Kai Salomaa

Proceedings of the 3rd International Conference Developments in Language Theory, 1997

1994

On two Families of Forests.

[BibT_eX]

[DOI]