All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

709 (0,143s) •

Project

Algebraic Language Theory for Infinite Trees (GA17-01035S)

and infinite words. There are also candidates for languages of finite trees, but the theory for infinite trees is still in its infancy. The goal of this project is to develop an algebraic theory for languages of <...

IN - Informatika

  • 2017 - 2019
    • •
  • 2 731 tis. Kč
    • •
  • 1 985 tis. Kč
    • •
  • GA ČR
Project

Algebraic methods in automata and formal language theory (GA201/06/0936)

of the classical languages of finite words to the so-called tree languages, languages of infinite words and trace languages. Within the project we are going to......

BA - Obecná matematika

  • 2006 - 2008
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Project

Decidability Issues for process algebras (GA201/98/P046)

systems, especially in the area of verification of infinite-state systems. Main comparison of expressibility of various models for infinite-state systems. (2 of infinite-state systems. Decidability of the regularity proble...

JC - Počítačový hardware a software

  • 1998 - 2000
    • •
  • 725 tis. Kč
    • •
  • 585 tis. Kč
    • •
  • GA ČR
Project

Compactness in set theory, with applications to algebra and graph theory (GA23-04683S)

theoretic tools will largely be centered around the study of tree properties, square...

Pure mathematics

  • 2023 - 2025
    • •
  • 5 994 tis. Kč
    • •
  • 5 994 tis. Kč
    • •
  • GA ČR
Project

Infinite dimensional stochastic systems (GA201/07/0237)

infinite dimensional systems (in particular, of solutions to infinite dimensional stochastic equations) and at research in infinite dimensional stochastic control theory of solutions to infinite dimensional stocha...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 892 tis. Kč
    • •
  • 892 tis. Kč
    • •
  • GA ČR
Project

Advanced Methods for Automatic Verification of Infinite-state Systems (MEB020840)

The goal of the project is to contribute to the development of methods for automated verification of infinite-state systems such that their current limitations both in the sense of efficiency as well as generality are reduced as much as poss...

IN - Informatika

  • 2008 - 2009
    • •
  • 92 tis. Kč
    • •
  • 92 tis. Kč
    • •
  • MŠMT
Project

Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures (GA14-11384S)

The project targets formal verification of infinite-state software systems. In particular, it aims at improving the degree of automation, scalability, and generality of the current approaches to formal verification of programs handling unbou...

JC - Počítačový hardware a software

  • 2014 - 2016
    • •
  • 5 775 tis. Kč
    • •
  • 5 775 tis. Kč
    • •
  • GA ČR
Project

Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)

or trees), is considered. The project contains research on methods of dynamic as well combinations. For handling infinite-state programs, efficient symbolic verification methods......

JC - Počítačový hardware a software

  • 2010 - 2013
    • •
  • 4 752 tis. Kč
    • •
  • 4 752 tis. Kč
    • •
  • GA ČR
Project

Stochastic equations in infinite dimensional spaces (GA201/04/0750)

Qualitative behaviour of solutions to stochastic equations in infinite of random dynamical systems defined by stochastic equations in infinite dimensions. 2 the driving process is a fractional Brownian motion. 3. Infinite d...

BA - Obecná matematika

  • 2004 - 2006
    • •
  • 628 tis. Kč
    • •
  • 628 tis. Kč
    • •
  • GA ČR
Project

Compactness principles and combinatorics (GF19-29633L)

The project will investigate the effect of compactness principles on the structure of the generalized Cantor space 2^kappa, where kappa is an infinite regular cardinal. The focus of the project will be on two compactness principles: the ...

Pure mathematics

  • 2019 - 2022
    • •
  • 4 768 tis. Kč
    • •
  • 4 768 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 709