|
BulDML at Institute of Mathematics and Informatics >
Browsing by Author "Cheremisinova, Liudmila"
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) | Publisher | | 2003 | An Algorithm for Optimal Bipartite PLA Folding | Cheremisinova, Liudmila | Institute of Information Theories and Applications FOI ITHEA |
| 2006 | Developing Agent Interaction Protocols with PRALU | Cheremisinov, Dmitry; Cheremisinova, Liudmila | Institute of Information Theories and Applications FOI ITHEA |
| 2008 | Formalization of Interaction Events in Multi-agent Systems | Cheremisinov, Dmitry; Cheremisinova, Liudmila | Institute of Information Theories and Applications FOI ITHEA |
| 2008 | Simulation-based Approach to Verification of Logical Descriptions with Functional Indeterminacy | Cheremisinova, Liudmila; Novikov, Dmitry | - |
| 2007 | The Technology of Programming for a Cluster Computer by the Remote Terminal with OS Windows | Cheremisinov, Dmitry; Cheremisinova, Liudmila | Institute of Information Theories and Applications FOI ITHEA |
| 2008 | Using SAT for Combinational Implementation Checking | Cheremisinova, Liudmila; Novikov, Dmitry | Institute of Information Theories and Applications FOI ITHEA |
Showing results 1 to 6 of 6
|
