Project information
Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
- Project Identification
- MSM 143300001
- Project Period
- 1/1999 - 12/2004
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Research Intents
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- concurrency;process algebras; infinite state systems; real-time; modal and temporal logics;concurrent constraint systems;specification;verification;quantum algorithms and protocols;entanglement;quantum finite and cellular automata;design methodologies
Aim: Importance of non-sequential models of computing grows both from theoretical and practical point of view. The aim of this proposal for a long-term research is on one side the continuation of the already well established and successful research in the area of concurrent, distributed and parallel systems and on the other side the extension of the scope of the research into the area of quantum computing. Scope: Analysis of models of concurrency and of their mutual relations with the emphasis on decision, algorithmic and complexity problems. Analysis of models and the development of specification and transformation tools for real-time concurrent systems with emphasis on safety-critical systems. Logics, especially temporal and modal, for specification and analysis of concurrent and distributed systems. Design and analysis of quantum algorithms and development of methods for design of quantum algorithms and protocols, as well as for quantum finite automata and quantum cellular automata.
Results
The aim of this proposal for a long-term research is on one side the continuation of the already well established and successful research in the area of concurrent, distributed and parallel systems and on the other side the extension of the scope of the research into the area of quantum computing.
Publications
Total number of publications: 265
2002
-
Note on the Tableau Technique for Commutative Transition Systems
Proceedings of 5th Foundations of Software Science and Computation Structures (FOSSACS'02), year: 2002
-
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
Proceedings of 27th International Symposium on Mathematical Foundations of Computer Science (MFCS 2002), year: 2002
-
PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
Year: 2002, number of pages: 165 s.
-
Probabilistic implementation of universal quantum processors
Physical Review A, year: 2002, volume: 65, edition: 2
-
Property Driven Distribution of Nested DFS
M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, year: 2002
-
Purification and correlated measurements of bipartite mixed states
Physical Review A, year: 2002, volume: 65, edition: 03
-
Quantum homogenization for continuous variables: Realization with linear optical elements
Physical Review A, year: 2002, volume: 66, edition: 06
-
Quantum multimeters: A programmable state discriminator
Physical Review A, year: 2002, volume: 66, edition: 02
-
Reconstruction of motional states of neutral atoms via MaxEnt principle
Physical Review A, year: 2002, volume: 65, edition: 05
-
Roadmap of Infinite Results
Bulletin of the European Association for Theoretical Computer Science, year: 2002, volume: 2002, edition: 78