SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030108007, 9783030108014

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_10 ◽

2019 ◽

pp. 108-121

Author(s):

Miloš Chromý ◽

Petr Kučera

Keyword(s):

Phase Transition

Download Full-text

On the Complexity of Color-Avoiding Site and Bond Percolation

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_28 ◽

2019 ◽

pp. 354-367

Author(s):

Roland Molontay ◽

Kitti Varga

Keyword(s):

Bond Percolation

Download Full-text

Coalition Resilient Outcomes in Max k-Cut Games

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_9 ◽

2019 ◽

pp. 94-107 ◽

Cited By ~ 2

Author(s):

Raffaello Carosi ◽

Simone Fioravanti ◽

Luciano Gualà ◽

Gianpiero Monaco

Keyword(s):

Cut Games

Download Full-text

Towards Combining Multitask and Multilingual Learning

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_34 ◽

2019 ◽

pp. 435-446 ◽

Cited By ~ 1

Author(s):

Matus Pikuliak ◽

Marian Simko ◽

Maria Bielikova

Keyword(s):

Multilingual Learning

Download Full-text

On the Expressive Power of GF(2)-Grammars

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_25 ◽

2019 ◽

pp. 310-323 ◽

Cited By ~ 3

Author(s):

Vladislav Makarov ◽

Alexander Okhotin

Keyword(s):

Expressive Power

Download Full-text

Lackadaisical Quantum Walks with Multiple Marked Vertices

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_29 ◽

2019 ◽

pp. 368-378 ◽

Cited By ~ 3

Author(s):

Nikolajs Nahimovs

Keyword(s):

Quantum Walks

Download Full-text

Towards Automatic Comparison of Cloud Service Security Certifications

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_24 ◽

2019 ◽

pp. 298-309

Author(s):

Martin Labaj ◽

Karol Rástočný ◽

Daniela Chudá

Keyword(s):

Cloud Service ◽

Security Certifications ◽

Automatic Comparison

Download Full-text

Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_22 ◽

2019 ◽

pp. 272-284

Author(s):

Christian Komusiewicz ◽

Frank Sommer

Keyword(s):

Experimental Comparison ◽

Induced Subgraphs

Download Full-text

Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_17 ◽

2019 ◽

pp. 206-220

Author(s):

Chong Gao ◽

Taolue Chen ◽

Zhilin Wu

Keyword(s):

Separation Logic ◽

Data Constraints

Download Full-text

From Big Data to Big Knowledge

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-10801-4_5 ◽

2019 ◽

pp. 50-53

Author(s):

Martin Theobald

Keyword(s):

Big Data

Download Full-text

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability

On the Complexity of Color-Avoiding Site and Bond Percolation

Coalition Resilient Outcomes in Max k-Cut Games

Towards Combining Multitask and Multilingual Learning

On the Expressive Power of GF(2)-Grammars

Lackadaisical Quantum Walks with Multiple Marked Vertices

Towards Automatic Comparison of Cloud Service Security Certifications

Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison

Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints

From Big Data to Big Knowledge

SOFSEM 2019: Theory and Practice of Computer Science - Lecture Notes in Computer Science
Latest Publications