Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings von Asarin, Eugene, Bouyer, Patricia

Volltext

Modeling evolution of the bacterial regulatory signals involving secondary structure von Gorbunov, K. Yu, Lyubetskaya, E. V, Asarin, E. A, Lyubetsky, V. A

Volltext

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Volltext

Sergei Nikolaevich Kritskii—One of the main founders of stochastic hydrology and the theory of river runoff management (on the 110th anniversary) von Asarin, A. E., Sotnikova, L. F.

Volltext

Probable maximum flood (PMF): basic information and problems with the procedure used for its calculation in Russia von Zhirkevich, A. N., Asarin, A. E.

Volltext

Water Supply Issues von Asarin, A E

Volltext

Volga-Kama coordinated waterworks facilities (50 years after startup of the first generating set of the Kuibyshev hydropower plant) von Asarin, A E, Khaziakhmetov, R M

Volltext

Radiation consequences of a hypothetical failure of a DAM at the coolant reservoir of the Chernobyl nuclear power plant von KONONOVICH, A. L, PRUDOVSKII, A. M, SHKOL'NIKOV, S. Ya, ASARIN, A. E, ZHIRKEVICH, A. N, OSKOLKOV, B. Ya, NOSOVSKII, A. V, KULIKOV, L. E, OSTRYANIN, Yu. A

Volltext

Some Properties of Kolmogorov $\Delta$-Random Finite Sequences von Asarin, E. A.

Volltext

On the equivalence of being typical and chaotic for finite objects von ASARIN, E. A, CHUYAN

Volltext

On convergence of uniform approximations of continuous functions von Asarin, E A

Volltext

From MITL to Timed Automata von Maler, Oded, Nickovic, Dejan, Pnueli, Amir

Volltext

Bridging the Gap Between Timed Automata and Bounded Time Petri Nets von Berthomieu, Bernard, Peres, Florent, Vernadat, François

Volltext

A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes von Wolovick, Nicolás, Johr, Sven

Volltext

Timed Alternating-Time Temporal Logic von Henzinger, Thomas A., Prabhu, Vinayak S.

Volltext

Trustworthily and Intelligibly about Water Problems von Asarin, A E

Volltext

Model-Checking Timed ATL for Durational Concurrent Game Structures von Laroussinie, François, Markey, Nicolas, Oreiby, Ghassan

Volltext

Model Checking Timed Automata with Priorities Using DBM Subtraction von David, Alexandre, Håkansson, John, Larsen, Kim G., Pettersson, Paul

Volltext

On the Expressiveness of MTL with Past Operators von Prabhakar, Pavithra, D’Souza, Deepak

Volltext

Undecidable Problems About Timed Automata von Finkel, Olivier

Volltext