Irina Virbitskaite, Andrei Voronkov (Eds.):
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 BibTeX
Invited Papers
Regular Papers
- Sergei M. Abramov, Robert Glück, Yuri A. Klimov:
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages.
27-40
Electronic Edition (link) BibTeX
- Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.
41-54
Electronic Edition (link) BibTeX
- Sören Auer, Heinrich Herre:
A Versioning and Evolution Framework for RDF Knowledge Bases.
55-69
Electronic Edition (link) BibTeX
- Thomas Baar, Slavisa Markovic:
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.
70-83
Electronic Edition (link) BibTeX
- Thomas Baar, Jon Whittle:
On the Usage of Concrete Syntax in Model Transformation Rules.
84-97
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nieves R. Brisaboa, Antonio Fariña, Miguel Rodríguez Luaces, José R. Paramá:
Chase of Recursive Queries.
112-123
Electronic Edition (link) BibTeX
- Nieves R. Brisaboa, Antonio Fariña, Gonzalo Navarro, José R. Paramá:
Improving Semistatic Compression Via Pair-Based Coding.
124-134
Electronic Edition (link) BibTeX
- Mark Buckley, Christoph Benzmüller:
An Agent-Based Architecture for Dialogue Systems.
135-147
Electronic Edition (link) BibTeX
- Gabriel Ciobanu, Vladimir A. Zakharov:
Encoding Mobile Ambients into the pi -Calculus.
148-165
Electronic Edition (link) BibTeX
- Liliana Cojocaru:
Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources.
166-179
Electronic Edition (link) BibTeX
- Walter Dosch, Annette Stümpel:
Deriving State-Based Implementations of Interactive Components with History Abstractions.
180-194
Electronic Edition (link) BibTeX
- Alberto de la Encina, Luis Llana, Fernando Rubio:
Introducing Debugging Capabilities to Natural Semantics.
195-208
Electronic Edition (link) BibTeX
- Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann:
Solution Strategies for Multi-domain Constraint Logic Programs.
209-222
Electronic Edition (link) BibTeX
- Damas P. Gruska:
Information-Flow Attacks Based on Limited Observations.
223-234
Electronic Edition (link) BibTeX
- Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve:
Verifying Generalized Soundness of Workflow Nets.
235-247
Electronic Edition (link) BibTeX
- Andrei V. Klimov:
Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs.
248-259
Electronic Edition (link) BibTeX
- Margarita V. Korovina, Nicolai Vorobjov:
Satisfiability of Viability Constraints for Pfaffian Dynamics.
260-269
Electronic Edition (link) BibTeX
- Cornelis H. A. Koster, Jean Beney:
On the Importance of Parameter Tuning in Text Categorization.
270-283
Electronic Edition (link) BibTeX
- Vahur Kotkas:
Preconditions for Structural Synthesis of Programs.
284-296
Electronic Edition (link) BibTeX
- Olga Kouchnarenko, Arnaud Lanoix:
How to Verify and Exploit a Refinement of Component-Based Systems.
297-309
Electronic Edition (link) BibTeX
- Sebastian Link, Klaus-Dieter Schewe, Jane Zhao:
Refinements in Typed Abstract State Machines.
310-321
Electronic Edition (link) BibTeX
- Torben Æ. Mogensen:
Report on an Implementation of a Semi-inverter.
322-334
Electronic Edition (link) BibTeX
- Saeed Parsa, Shahriar Lotfi:
Loop Parallelization in Multi-dimensional Cartesian Space.
335-348
Electronic Edition (link) BibTeX
- Stefan Sarstedt, Walter Guttmann:
An ASM Semantics of Token Flow in UML 2 Activity Diagrams.
349-362
Electronic Edition (link) BibTeX
- Nikolay V. Shilov, Natalya Olegovna Garanina:
Well-Structured Model Checking of Multiagent Systems.
363-376
Electronic Edition (link) BibTeX
- Sangmun Shin, Yi Guo, Yongsun Choi, Myeonggil Choi, Charles Kim:
Development of a Robust Data Mining Method Using CBFS and RSM.
377-388
Electronic Edition (link) BibTeX
- Andrew Solomon:
Pushout: A Mathematical Model of Architectural Merger.
389-399
Electronic Edition (link) BibTeX
- Phiniki Stouppa, Thomas Studer:
A Formal Model of Data Privacy.
400-408
Electronic Edition (link) BibTeX
- Ola Svensson, Sergei G. Vorobyov:
Linear Complementarity and P-Matrices for Stochastic Games.
409-423
Electronic Edition (link) BibTeX
Short Papers
- Sören Auer, Heinrich Herre:
RapidOWL - An Agile Knowledge Engineering Methodology.
424-430
Electronic Edition (link) BibTeX
- Dmitri Boulytchev:
BURS-Based Instruction Set Selection.
431-437
Electronic Edition (link) BibTeX
- Anatoly Chebotarev, Sergey Krivoi:
Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L.
438-442
Electronic Edition (link) BibTeX
- R. S. Dubtsov:
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction.
443-450
Electronic Edition (link) BibTeX
- Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko:
Streaming Networks for Coordinating Data-Parallel Programs.
451-455
Electronic Edition (link) BibTeX
- Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov:
Formal Methods in Industrial Software Standards Enforcement.
456-466
Electronic Edition (link) BibTeX
- Sergey Lukichev, Gerd Wagner:
Visual Rules Modeling.
467-473
Electronic Edition (link) BibTeX
- Alejandro Russo, Andrei Sabelfeld:
Security for Multithreaded Programs Under Cooperative Scheduling.
474-480
Electronic Edition (link) BibTeX
- Tursunbay kyzy Yrysgul:
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs.
481-486
Electronic Edition (link) BibTeX
- Yury A. Zagorulko, Jawed I. A. Siddiqi, Babak Akhgar, Olesya Borovikova:
A Knowledge Portal for Cultural Information Resources: Towards an Architecture.
487-494
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:10:35 2009
by Michael Ley (ley@uni-trier.de)
