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

Related topics

Related topics

4 relations
Computer scienceEuropean Association for Theoretical Computer ScienceReversible cellular automaton

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
A framework for reasoning under uncertainty based on non-deterministic distance semantics
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
From Semantics to Computer Science: The semantics of dataflow with firing
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
Error-Correcting Tournaments
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
Synthesis of Petri Nets from Scenarios with VipTool
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
Curve Modeling via Interpolation Base on Multidimensional Reduced Data
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
Rough Set-Aided Feature Selection for Automatic Web-Page Classification
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
Rule-Based and Visual Model Evolution using GENGED
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
Parallel High-Level Replacement Systems
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
Theoretical Foundations of Order-Based Genetic Algorithms
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
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE