Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319743127, 9783319743134

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PosDB: A Distributed Column-Store Engine

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_7 ◽

2018 ◽

pp. 88-94 ◽

Cited By ~ 1

Author(s):

George Chernishev ◽

Viacheslav Galaktionov ◽

Valentin Grigorev ◽

Evgeniy Klyuchikov ◽

Kirill Smirnov

Keyword(s):

Column Store

Download Full-text

A Platform for Security Monitoring of Multi-cloud Applications

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_5 ◽

2018 ◽

pp. 59-71

Author(s):

Pamela Carvallo ◽

Ana R. Cavalli ◽

Wissam Mallouli

Keyword(s):

Security Monitoring ◽

Cloud Applications ◽

Multi Cloud

Download Full-text

Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_4 ◽

2018 ◽

pp. 43-58 ◽

Cited By ~ 2

Author(s):

Stefan Brass ◽

Heike Stephan

Keyword(s):

Bottom Up

Download Full-text

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_28 ◽

2018 ◽

pp. 387-393

Author(s):

Alexander Kamkin ◽

Andrei Tatarnikov

Keyword(s):

Test Program ◽

Random Test ◽

Program Generation

Download Full-text

WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_23 ◽

2018 ◽

pp. 322-336 ◽

Cited By ~ 1

Author(s):

Vladimir Pavlov ◽

Vadim Pak

Keyword(s):

Inverse Method ◽

Theorem Prover ◽

First Order

Download Full-text

Implementing the Symbolic Method of Verification in the C-Light Project

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_17 ◽

2018 ◽

pp. 227-240 ◽

Cited By ~ 7

Author(s):

Dmitry Kondratyev

Keyword(s):

Symbolic Method

Download Full-text

A Behavioural Theory for Reflective Sequential Algorithms

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_10 ◽

2018 ◽

pp. 117-131 ◽

Cited By ~ 4

Author(s):

Flavio Ferrarotti ◽

Klaus-Dieter Schewe ◽

Loredana Tec

Keyword(s):

Sequential Algorithms ◽

Behavioural Theory

Download Full-text

Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_20 ◽

2018 ◽

pp. 276-290 ◽

Cited By ~ 3

Author(s):

Sergey Morozov ◽

Vitaly Semenov ◽

Oleg Tarlapan ◽

Vladislav Zolotov

Keyword(s):

Temporal Data

Download Full-text

An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_21 ◽

2018 ◽

pp. 291-305

Author(s):

Denis A. Nikiforov ◽

Dmitriy V. Korj ◽

Ruslan L. Sivakov

Keyword(s):

Object Constraint Language ◽

Model Driven Architecture ◽

Model Driven ◽

Xml Documents ◽

Constraint Language

Download Full-text

Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_29 ◽

2018 ◽

pp. 394-401 ◽

Cited By ~ 1

Author(s):

Marcel Toussaint ◽

Thomas Baar

Download Full-text

Lecture Notes in Computer Science - Perspectives of System InformaticsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

PosDB: A Distributed Column-Store Engine

A Platform for Security Monitoring of Multi-cloud Applications

Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors

WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method

Implementing the Symbolic Method of Verification in the C-Light Project

A Behavioural Theory for Reflective Sequential Algorithms

Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees

An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language

Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor

Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications