Petros Stefaneas

Available identifiers

Publication	Date of Publication	Type
A logical framework to model software development by multiple agents following a common specification	2024-11-12	Paper
On the transformations of the square of opposition from the point of view of institution model theory	2024-09-09	Paper
Lattices in generative classes	2019-12-12	Paper
Definable Sets in Generic Structures and their Cardinalities	2018-04-06	Paper
Building and integrating semantic theories over institutions	2018-02-15	Paper
Generic constructions and generic limits	2018-02-15	Paper
On combining algebraic specifications with first-order logic via Athena	2018-02-15	Paper
A rule-based approach for air traffic control in the vicinity of the airport	2018-02-15	Paper
A formal representation of video content with the picture hyperoperation	2018-02-15	Paper
Proofs as spatio-temporal processes	2015-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q5173658	2015-02-16	Paper
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents	2015-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q5420764	2014-06-13	Paper
Modality in open institutions with concrete syntax	2014-05-02	Paper
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques	2008-09-04	Paper
Ultraproducts and possible worlds semantics in institutions	2007-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4671707	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4945683	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4383342	1999-04-08	Paper

This page was built for person: Petros Stefaneas