Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.
Fundamenta Informaticae
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We improve previously known universality results on enzymatic numerical P systems (EN P systems, for short) working in all… Expand
2011
2011
In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent… Expand
2009
2009
Dataflow models of computation have intrigued computer scientists since the 1970s. They were first introduced by Jack Dennis as a… Expand
Highly Cited
2009
Highly Cited
2009
We present a family of pairwise tournaments reducing k-class classification to binary classification. These reductions are… Expand
2008
2008
The aim of this tool paper is twofold: First we show that VipTool [9,2] can now synthesize Petri nets from partially ordered runs… Expand
2005
2005
We propose a non-standard semantics for Alternating-time T emporal Logic with incomplete information, for which no commonly… Expand
2002
2002
In the first part of this Chapter we will introduce a general temporally enhanced conceptual data model able to represent time… Expand
1997
1997
Abstract High-level replacement systems are an axiomatic categorical framework based on doublepushouts in order to unify… Expand
Highly Cited
1996
Highly Cited
1996
A lot of research on genetic algorithms theory is concentrated on classical, binary case. However, there are many other types of… Expand
Highly Cited
1996
Highly Cited
1996
Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and… Expand