5. Ershov Memorial Conference 2003:
Novosibirsk, Russia
share record
short URL:
https://dblp.org/rec/conf/ershov/2003 Manfred Broy ,
Alexandre V. Zamulin :
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Lecture Notes in Computer Science 2890,
Springer 2003 , ISBN
3-540-20813-5
share record
short URL:
https://dblp.org/rec/conf/ershov/Hoare03 C. A. R. Hoare :
The Verifying Compiler: A Grand Challenge for Computing Research. 1-12 share record
short URL:
https://dblp.org/rec/conf/ershov/Mogensen03 share record
short URL:
https://dblp.org/rec/conf/ershov/WeissS03 share record
short URL:
https://dblp.org/rec/conf/ershov/ZalewskiS03 share record
short URL:
https://dblp.org/rec/conf/ershov/MeuterDD03
share record
short URL:
https://dblp.org/rec/conf/ershov/Bruce03 Kim B. Bruce :
Bending without Breaking: Making Software More Flexible: Extended Abstract. 46-49 share record
short URL:
https://dblp.org/rec/conf/ershov/SankoP03 export record
dblp key:
conf/ershov/MichielsSLGD03 share record
short URL:
https://dblp.org/rec/conf/ershov/MichielsSLGD03
share record
short URL:
https://dblp.org/rec/conf/ershov/Meyer03 Bertrand Meyer :
The Outside-In Method of Teaching Introductory Programming. 66-78
Program Synthesis, Transformation, and Semantics
share record
short URL:
https://dblp.org/rec/conf/ershov/SabelfeldK03 share record
short URL:
https://dblp.org/rec/conf/ershov/VarnovskyZ03 export record
dblp key:
conf/ershov/NepomniaschyAP03 share record
short URL:
https://dblp.org/rec/conf/ershov/NepomniaschyAP03 share record
short URL:
https://dblp.org/rec/conf/ershov/Poernomo03 Iman Poernomo :
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. 112-119
share record
short URL:
https://dblp.org/rec/conf/ershov/Harel03 David Harel :
On the Visualization and Aesthetics of Large Graphs: Short Abstract. 120 export record
dblp key:
conf/ershov/RammerstorferM03 share record
short URL:
https://dblp.org/rec/conf/ershov/RammerstorferM03
Partial Evaluation and Supercompilation
share record
short URL:
https://dblp.org/rec/conf/ershov/Gluck03 Robert Glück :
The Translation Power of the Futamura Projections. 133-147 share record
short URL:
https://dblp.org/rec/conf/ershov/CraigL03 share record
short URL:
https://dblp.org/rec/conf/ershov/Nemytykh03 export record
dblp key:
conf/ershov/ChepovskyKKKMRS03 share record
short URL:
https://dblp.org/rec/conf/ershov/ChepovskyKKKMRS03
share record
short URL:
https://dblp.org/rec/conf/ershov/BlomIS03 share record
short URL:
https://dblp.org/rec/conf/ershov/OrzanP03 share record
short URL:
https://dblp.org/rec/conf/ershov/AugustoBFC03 share record
short URL:
https://dblp.org/rec/conf/ershov/Hubbers03
share record
short URL:
https://dblp.org/rec/conf/ershov/RybinaV03 share record
short URL:
https://dblp.org/rec/conf/ershov/Korovina03
Concurrent and Distributed Systems
export record
dblp key:
conf/ershov/VirbitskaiteG03 share record
short URL:
https://dblp.org/rec/conf/ershov/VirbitskaiteG03 share record
short URL:
https://dblp.org/rec/conf/ershov/Sabelfeld03 Andrei Sabelfeld :
Confidentiality for Multithreaded Programs via Bisimulation. 260-274 share record
short URL:
https://dblp.org/rec/conf/ershov/FarwerM03
Concurrent and Reacitive Systems
share record
short URL:
https://dblp.org/rec/conf/ershov/BugliesiFM03 share record
short URL:
https://dblp.org/rec/conf/ershov/DeganoGP03 share record
short URL:
https://dblp.org/rec/conf/ershov/Vyatkin03 Valeriy Vyatkin :
Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems. 319-328 share record
short URL:
https://dblp.org/rec/conf/ershov/BeekCM03
share record
short URL:
https://dblp.org/rec/conf/ershov/Jurjens03 Jan Jürjens :
Algebraic State Machines: Concepts and Applications to Security. 338-343 share record
short URL:
https://dblp.org/rec/conf/ershov/KofS03 share record
short URL:
https://dblp.org/rec/conf/ershov/ZiemannG03 share record
short URL:
https://dblp.org/rec/conf/ershov/Baar03 Thomas Baar :
The Definition of Transitive Closure with OCL - Limitations and Applications. 358-365
Verification and Model Checking
export record
dblp key:
conf/ershov/RedondoAVDG03 share record
short URL:
https://dblp.org/rec/conf/ershov/RedondoAVDG03 export record
dblp key:
conf/ershov/BjorklundSV03 share record
short URL:
https://dblp.org/rec/conf/ershov/BjorklundSV03 share record
short URL:
https://dblp.org/rec/conf/ershov/ShilovG03
share record
short URL:
https://dblp.org/rec/conf/ershov/PajotM03 share record
short URL:
https://dblp.org/rec/conf/ershov/SidorovT03 share record
short URL:
https://dblp.org/rec/conf/ershov/ErshovIPRU03 share record
short URL:
https://dblp.org/rec/conf/ershov/Dolgov03 Yuri G. Dolgov :
On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method. 431-437
Documentation and Testing
share record
short URL:
https://dblp.org/rec/conf/ershov/SimonisW03 export record
dblp key:
conf/ershov/KuliaminPPKB03 share record
short URL:
https://dblp.org/rec/conf/ershov/KuliaminPPKB03 share record
short URL:
https://dblp.org/rec/conf/ershov/SeifertHS03
share record
short URL:
https://dblp.org/rec/conf/ershov/SchmidtS03 export record
dblp key:
conf/ershov/Almendros-JimenezB03 share record
short URL:
https://dblp.org/rec/conf/ershov/Almendros-JimenezB03 share record
short URL:
https://dblp.org/rec/conf/ershov/ParamaBPP03 share record
short URL:
https://dblp.org/rec/conf/ershov/NorvagLM03 share record
short URL:
https://dblp.org/rec/conf/ershov/LiuVL03 export record
dblp key:
conf/ershov/PerezPSSRCB03 share record
short URL:
https://dblp.org/rec/conf/ershov/PerezPSSRCB03
Natural Language Processing
share record
short URL:
https://dblp.org/rec/conf/ershov/KosterSB03 share record
short URL:
https://dblp.org/rec/conf/ershov/GelbukhSHC03 share record
short URL:
https://dblp.org/rec/conf/ershov/ZhdanovaM03
maintained by
, founded at