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
C. A. R. Hoare:
The Verifying Compiler: A Grand Challenge for Computing Research. 1-12Torben Æ. Mogensen:
Linear Types for Cashflow Reengineering. 13-21Roland Weiss, Volker Simonis:
Storing Properties in Grouped Tagged Tuples. 22-29Marcin Zalewski, Sibylle Schupp:
A Polymorphic Radix- n Framework for Fast Fourier Transforms. 30-37Wolfgang De Meuter, Theo D'Hondt, Jessie Dedecker:
Intersecting Classes and Prototypes. 37-45
Software Engineering
Kim B. Bruce:
Bending without Breaking: Making Software More Flexible: Extended Abstract. 46-49Jelena Sanko, Jaan Penjam:
Program Construction in the Context of Evolutionary Computation. 50-57Cindy 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
Bertrand Meyer:
The Outside-In Method of Teaching Introductory Programming. 66-78
Program Synthesis, Transformation, and Semantics
Viktor K. Sabelfeld, Kai Kapp:
Numeric Types in Formal Synthesis. 79-90Nikolay P. Varnovsky, Vladimir A. Zakharov:
On the Possibility of Provably Secure Obfuscating Programs. 91-102V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky:
Verification-Oriented Language C-Light and Its Structural Operational Semantics. 103-111Iman Poernomo:
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. 112-119
Graphical Interfaces
David Harel:
On the Visualization and Aesthetics of Large Graphs: Short Abstract. 120Martin Rammerstorfer, Hanspeter Mössenböck:
Data Mappings in the Model-View-Controller Pattern. 121-132
Partial Evaluation and Supercompilation
Robert Glück:
The Translation Power of the Futamura Projections. 133-147Stephen-John Craig, Michael Leuschel:
A Compiler Generator for Constraint Logic Programs. 148-161Andrei P. Nemytykh:
The Supercompiler SCP4: General Structure. 162-170Andrei 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
Stefan Blom, Natalia Ioustinova, Natalia Sidorova:
Timed Verification with µCRL. 178-192Simona Orzan, Jaco van de Pol:
Verification of Distributed Dataspace Architectures. 192-206Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig:
Using SPIN and STeP to Verify Business Processes Specifications. 207-213Engelbert Hubbers:
Integrating Tools for Automatic Program Verification. 214-221
Logic and Types
Tatiana Rybina, Andrei Voronkov:
A Logical Reconstruction of Reachability. 222-237Margarita V. Korovina:
Recent Advances in S-Definability over Continuous Data Types. 238-247
Concurrent and Distributed Systems
Irina Virbitskaite, Natalya S. Gribovskaja:
Open Maps and Trace Semantics for Timed Partial Order Models. 248-259Andrei Sabelfeld:
Confidentiality for Multithreaded Programs via Bisimulation. 260-274Berndt Farwer, Kundan Misra:
Dynamic Modification of System Structures Using LLPNs. 274-293
Concurrent and Reacitive Systems
Michele Bugliesi, Riccardo Focardi, Matteo Maffei:
Principles for Entity Authentication. 294-306Pierpaolo Degano, Fabio Gadducci, Corrado Priami:
Causality and Replication in Concurrent Processes. 307-318Valeriy Vyatkin:
Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems. 319-328Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana:
Teams of Pushdown Automata. 329-337
Program Specification
Jan Jürjens:
Algebraic State Machines: Concepts and Applications to Security. 338-343Leonid Kof, Bernhard Schätz:
Combining Aspects of Reactive Systems. 344-349Paul Ziemann, Martin Gogolla:
OCL Extended with Temporal Logic. 351-357Thomas Baar:
The Definition of Transitive Closure with OCL - Limitations and Applications. 358-365
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-380Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov:
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework. 381-394Nikolay V. Shilov, Natalya Olegovna Garanina:
Polynomial Approximations for Model Checking. 395-400
Constraint Programming
Brice Pajot, Eric Monfroy:
Separating Search and Strategy in Solver Cooperations. 401-414Vladimir Sidorov, Vitaly Telerman:
Industrial Application of External Black-Box Functions in Constraint Programming Solver. 415-422Alexey Ershov, Ilia Ivanov, Serge Preis, Eugene Rukoleev, Dmitry Ushakov:
LGS: Geometric Constraint Solver. 423-430Yuri G. Dolgov:
On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method. 431-437
Documentation and Testing
Volker Simonis, Roland Weiss:
ProgDOC - A New Program Documentation System. 438-449Victor 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-461Dirk Seifert, Steffen Helke, Thomas Santen:
Test Case Generation for UML Statecharts. 462-468
Databases
Joachim W. Schmidt, Hans-Werner Sehring:
Conceptual Content Modeling and Management. 469-493Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
A Relational Algebra for Functional Logic Deductive Databases. 494-508José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places:
Implication of Functional Dependencies for Recursive Queries. 509-519Kjetil Nørvåg, Marit Limstrand, Lene Myklebust:
TeXOR: Temporal XML Database on an Object-Relational Database System. 520-530Jixue Liu, Millist W. Vincent, Chengfei Liu:
Functional Dependencies, from Relational to XML. 531-538Joaquí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-555Alexander 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-562Anna V. Zhdanova, Pavel V. Mankevich:
An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems. 563-569
last updated on 2019-10-20 23:21 CEST 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:
