![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th Ershov Memorial Conference 2006: Novosibirsk, Russia
- Irina B. Virbitskaite, Andrei Voronkov:
Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Lecture Notes in Computer Science 4378, Springer 2007, ISBN 978-3-540-70880-3
Invited Papers
- Eike Best, Javier Esparza
, Harro Wimmel, Karsten Wolf:
Separability in Conflict-Free Petri Nets. 1-18 - Victor Ivannikov:
Grand Challenges of System Programming. 19 - K. Rustan M. Leino:
Specifying and Verifying Programs in Spec#. 20 - Alexander A. Letichevsky:
Basic Protocols: Specification Language for Distributed Systems. 21-25 - Alexandre Petrenko:
Why Automata Models Are Sexy for Testers? (Invited Talk). 26
Regular Papers
- Sergei M. Abramov, Robert Glück, Yuri A. Klimov:
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. 27-40 - Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. 41-54 - Sören Auer
, Heinrich Herre:
A Versioning and Evolution Framework for RDF Knowledge Bases. 55-69 - Thomas Baar, Slavisa Markovic:
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. 70-83 - Thomas Baar, Jon Whittle:
On the Usage of Concrete Syntax in Model Transformation Rules. 84-97 - Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch
, Natalia Sidorova:
TTCN-3 for Distributed Testing Embedded Software. 98-111 - Nieves R. Brisaboa
, Antonio Fariña, Miguel Rodríguez Luaces
, José R. Paramá
:
Chase of Recursive Queries. 112-123 - Nieves R. Brisaboa
, Antonio Fariña, Gonzalo Navarro, José R. Paramá
:
Improving Semistatic Compression Via Pair-Based Coding. 124-134 - Mark Buckley, Christoph Benzmüller:
An Agent-Based Architecture for Dialogue Systems. 135-147 - Gabriel Ciobanu, Vladimir A. Zakharov:
Encoding Mobile Ambients into the pi -Calculus. 148-165 - Liliana Cojocaru:
Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources. 166-179 - Walter Dosch, Annette Stümpel:
Deriving State-Based Implementations of Interactive Components with History Abstractions. 180-194 - Alberto de la Encina, Luis Llana, Fernando Rubio
:
Introducing Debugging Capabilities to Natural Semantics. 195-208 - Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann:
Solution Strategies for Multi-domain Constraint Logic Programs. 209-222 - Damas P. Gruska:
Information-Flow Attacks Based on Limited Observations. 223-234 - Kees M. van Hee, Olivia Oanea, Natalia Sidorova
, Marc Voorhoeve:
Verifying Generalized Soundness of Workflow Nets. 235-247 - Andrei V. Klimov:
Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. 248-259 - Margarita V. Korovina, Nicolai N. Vorobjov Jr.:
Satisfiability of Viability Constraints for Pfaffian Dynamics. 260-269 - Cornelis H. A. Koster, Jean Beney:
On the Importance of Parameter Tuning in Text Categorization. 270-283 - Vahur Kotkas
:
Preconditions for Structural Synthesis of Programs. 284-296 - Olga Kouchnarenko
, Arnaud Lanoix:
How to Verify and Exploit a Refinement of Component-Based Systems. 297-309 - Sebastian Link, Klaus-Dieter Schewe, Jane Zhao:
Refinements in Typed Abstract State Machines. 310-321 - Torben Æ. Mogensen:
Report on an Implementation of a Semi-inverter. 322-334 - Saeed Parsa
, Shahriar Lotfi
:
Loop Parallelization in Multi-dimensional Cartesian Space. 335-348 - Stefan Sarstedt, Walter Guttmann
:
An ASM Semantics of Token Flow in UML 2 Activity Diagrams. 349-362 - Nikolay V. Shilov, Natalya Olegovna Garanina:
Well-Structured Model Checking of Multiagent Systems. 363-376 - Sangmun Shin, Yi Guo, Yongsun Choi, Myeonggil Choi, Charles Kim:
Development of a Robust Data Mining Method Using CBFS and RSM. 377-388 - Andrew Solomon:
Pushout: A Mathematical Model of Architectural Merger. 389-399 - Phiniki Stouppa, Thomas Studer
:
A Formal Model of Data Privacy. 400-408 - Ola Svensson, Sergei G. Vorobyov:
Linear Complementarity and P-Matrices for Stochastic Games. 409-423
Short Papers
- Sören Auer
, Heinrich Herre:
RapidOWL - An Agile Knowledge Engineering Methodology. 424-430 - Dmitri Boulytchev
:
BURS-Based Instruction Set Selection. 431-437 - Anatoly Chebotarev, Sergey Krivoi:
Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. 438-442 - Roman S. Dubtsov:
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction. 443-450 - Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko:
Streaming Networks for Coordinating Data-Parallel Programs. 451-455 - Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov:
Formal Methods in Industrial Software Standards Enforcement. 456-466 - Sergey Lukichev, Gerd Wagner
:
Visual Rules Modeling. 467-473 - Alejandro Russo
, Andrei Sabelfeld:
Security for Multithreaded Programs Under Cooperative Scheduling. 474-480 - Tursunbay kyzy Yrysgul:
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs. 481-486 - Yury A. Zagorulko, Jawed I. A. Siddiqi, Babak Akhgar, Olesya Borovikova:
A Knowledge Portal for Cultural Information Resources: Towards an Architecture. 487-494
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.