Projects search

• Keywords: Data nets ×

Change search criteria ↓

Search results

6 projects found matching your search criteria:

1. 1. Algebraic invariants of Data Petri Nets.

   Principal investigator: dr Piotr Hofman

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: SONATA 11, Panel: ST6

2. 2. Formal verification in data-enriched models of computation

   Principal investigator: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski

   Call: OPUS 28, Panel: ST6

3. 3. Advancing Petri Net Theory: Deeper understanding to Classical Problems and Integration into Workflow Applications

   Principal investigator: dr Piotr Hofman

   Uniwersytet Warszawski

   Call: OPUS 27, Panel: ST6

4. 4. Data-enriched models of computation

   Principal investigator: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 18, Panel: ST6

5. 5. Linear algebra in orbit-finite dimension

   Principal investigator: Arka Ghosh

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: PRELUDIUM 21, Panel: ST6

6. 6. Symbolic computations on first-order definable objects

   Principal investigator: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 11, Panel: ST6