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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662468227, 9783662468234

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lingva: Generating and Proving Program Properties Using Symbol Elimination

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_6 ◽

2015 ◽

pp. 67-75 ◽

Cited By ~ 2

Author(s):

Ioan Dragan ◽

Laura Kovács

Download Full-text

Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_5 ◽

2015 ◽

pp. 59-66

Author(s):

Michael Dever ◽

G. W. Hamilton

Download Full-text

Probabilistic Formal Concepts with Negation

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_31 ◽

2015 ◽

pp. 385-399 ◽

Cited By ~ 3

Author(s):

E. E. Vityaev ◽

V. V. Martinovich

Keyword(s):

Formal Concepts

Download Full-text

More Type Inference in Java 8

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_20 ◽

2015 ◽

pp. 248-256

Author(s):

Martin Plümicke

Keyword(s):

Type Inference

Download Full-text

Supercompilation for Datatypes

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_19 ◽

2015 ◽

pp. 232-247

Author(s):

Torben Ægidius Mogensen

Download Full-text

On Tractability of Disjoint AND-Decomposition of Boolean Formulas

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_8 ◽

2015 ◽

pp. 92-101 ◽

Cited By ~ 6

Author(s):

Pavel Emelyanov ◽

Denis Ponomaryov

Keyword(s):

Boolean Formulas

Download Full-text

Descriptive Types for Linked Data Resources

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_1 ◽

2015 ◽

pp. 1-25 ◽

Cited By ~ 1

Author(s):

Gabriel Ciobanu ◽

Ross Horne ◽

Vladimiro Sassone

Keyword(s):

Linked Data

Download Full-text

Certifying Supercompilation for Martin-Löf’s Type Theory

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_16 ◽

2015 ◽

pp. 186-200

Author(s):

Ilya Klyuchnikov ◽

Sergei Romanenko

Keyword(s):

Type Theory

Download Full-text

A Multi-agent Text Analysis Based on Ontology of Subject Domain

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_9 ◽

2015 ◽

pp. 102-110 ◽

Cited By ~ 6

Author(s):

Natalia Garanina ◽

Elena Sidorova ◽

Eugene Bodin

Keyword(s):

Text Analysis ◽

Subject Domain ◽

Multi Agent

Download Full-text

Modeling Environment for Static Verification of Linux Kernel Modules

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_32 ◽

2015 ◽

pp. 400-414 ◽

Cited By ~ 2

Author(s):

Alexey Khoroshilov ◽

Vadim Mutilin ◽

Evgeny Novikov ◽

Ilja Zakharov

Keyword(s):

Linux Kernel ◽

Static Verification ◽

Modeling Environment

Download Full-text

Lecture Notes in Computer Science - Perspectives of System InformaticsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Lingva: Generating and Proving Program Properties Using Symbol Elimination

Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs

Probabilistic Formal Concepts with Negation

More Type Inference in Java 8

Supercompilation for Datatypes

On Tractability of Disjoint AND-Decomposition of Boolean Formulas

Descriptive Types for Linked Data Resources

Certifying Supercompilation for Martin-Löf’s Type Theory

A Multi-agent Text Analysis Based on Ontology of Subject Domain

Modeling Environment for Static Verification of Linux Kernel Modules

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