Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar5. Ershov Memorial Conference 2003: Novosibirsk, Russia
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
Programming Issues
- Marcin Zalewski, Sibylle Schupp:
A Polymorphic Radix- n Framework for Fast Fourier Transforms. 30-37
Software Engineering
- Cindy Michiels, Monique Snoeck, Wilfried Lemahieu, Frank G. Goethals, Guido Dedene:
A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development. 58-65
Software Education
Program Synthesis, Transformation, and Semantics
- Nikolay P. Varnovsky, Vladimir A. Zakharov:
On the Possibility of Provably Secure Obfuscating Programs. 91-102 - V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky:
Verification-Oriented Language C-Light and Its Structural Operational Semantics. 103-111
Graphical Interfaces
- Martin Rammerstorfer, Hanspeter Mössenböck:
Data Mappings in the Model-View-Controller Pattern. 121-132
Partial Evaluation and Supercompilation
- Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov:
Partial Evaluation for Common Intermediate Language. 171-177
Verification
- Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig:
Using SPIN and STeP to Verify Business Processes Specifications. 207-213
Logic and Types
Concurrent and Distributed Systems
- Irina Virbitskaite, Natalya S. Gribovskaja:
Open Maps and Trace Semantics for Timed Partial Order Models. 248-259
Concurrent and Reacitive Systems
- Pierpaolo Degano, Fabio Gadducci, Corrado Priami:
Causality and Replication in Concurrent Processes. 307-318 - Valeriy Vyatkin:
Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems. 319-328
Program Specification
Verification and Model Checking
- Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla:
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge. 366-380 - Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov:
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework. 381-394
Constraint Programming
- Vladimir Sidorov, Vitaly Telerman:
Industrial Application of External Black-Box Functions in Constraint Programming Solver. 415-422 - Alexey Ershov, Ilia Ivanov, Serge Preis, Eugene Rukoleev, Dmitry Ushakov:
LGS: Geometric Constraint Solver. 423-430 - Yuri G. Dolgov:
On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method. 431-437
Documentation and Testing
- Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov:
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. 450-461
Databases
- Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
A Relational Algebra for Functional Logic Deductive Databases. 494-508 - José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places:
Implication of Functional Dependencies for Recursive Queries. 509-519 - Kjetil Nørvåg, Marit Limstrand, Lene Myklebust:
TeXOR: Temporal XML Database on an Object-Relational Database System. 520-530 - Jixue Liu, Millist W. Vincent, Chengfei Liu:
Functional Dependencies, from Relational to XML. 531-538 - Joaquín Pérez Ortega, Rodolfo A. Pazos, René Santaolaya Salgado, Juan Frausto Solís, Guillermo Rodríguez, Laura Cruz Reyes, Maricela Bravo:
Data-Object Replication, Distribution, and Mobility in Network Environments. 539-545
Natural Language Processing
- Cornelis H. A. Koster, Marc Seutter, Jean Beney:
Multi-classification of Patent Applications with Winnow. 546-555 - Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong Han, Liliana Chanona-Hernández:
Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses. 556-562 - Anna V. Zhdanova, Pavel V. Mankevich:
An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems. 563-569
maintained by 
, founded at 
, founded at 
last updated on 2019-02-22 23:51 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
