Petros Stefaneas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A logical framework to model software development by multiple agents following a common specification Journal Of Logic And Computation	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 Sibirskie Elektronnye Matematicheskie Izvestiya	2019-12-12	Paper
Definable Sets in Generic Structures and their Cardinalities Siberian Advances in Mathematics	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 Philosophia Scientae	2015-07-30	Paper
scientific article; zbMATH DE number 6403889 (Why is no real title available?)	2015-02-16	Paper
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents SOFSEM 2014: Theory and Practice of Computer Science	2015-01-13	Paper
scientific article; zbMATH DE number 6304236 (Why is no real title available?)	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 Algebraic Informatics	2008-09-04	Paper
Ultraproducts and possible worlds semantics in institutions Theoretical Computer Science	2007-07-16	Paper
scientific article; zbMATH DE number 2161773 (Why is no real title available?)	2005-04-26	Paper
scientific article; zbMATH DE number 1424446 (Why is no real title available?)	2000-06-07	Paper
scientific article; zbMATH DE number 1136789 (Why is no real title available?)	1999-04-08	Paper

Research outcomes over time

This page was built for person: Petros Stefaneas