Skip to search formSkip to main content
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.
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
2004
2004
Fitting reduced and non-reduced ( 5 / # %&0 %=1 data via interpolation in is introduced and the resulting differences are… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?
2004
2004
Recently Web-pages on the World Wide Web are explosively increasing, and it is now required for portal sites such as Yahoo… Expand
  • figure 1
  • figure 3
  • table 1
  • figure 2
  • table 2
Is this relevant?
2000
2000
The evolution of software has become a more and more critical point in the use and maintenance of large software system… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1997
1997
Abstract High-level replacement systems are an axiomatic categorical framework based on doublepushouts in order to unify… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?