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

Fundamenta Informaticae is a peer-reviewed scientific journal covering computer science. The editor-in-chief is Damian Niwiński. It was established… Expand
Wikipedia

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
  • figure 1
2011
2011
In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
2009
2009
Dataflow models of computation have intrigued computer scientists since the 1970s. They were first introduced by Jack Dennis as a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2009
Highly Cited
2009
We present a family of pairwise tournaments reducing k-class classification to binary classification. These reductions are… Expand
  • figure 1
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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2005
2005
We propose a non-standard semantics for Alternating-time T emporal Logic with incomplete information, for which no commonly… Expand
  • figure 1
2002
2002
In the first part of this Chapter we will introduce a general temporally enhanced conceptual data model able to represent time… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 7
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