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

TOTAL DOCUMENTS

(FIVE YEARS 60)

H-INDEX

(FIVE YEARS 2)

Published By Springer International Publishing

9783030389185, 9783030389192

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Employing Costs in Multiagent Systems with Timed Migration and Timed Communication

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

10.1007/978-3-030-38919-2_36 ◽

2020 ◽

pp. 441-453

Author(s):

Bogdan Aman ◽

Gabriel Ciobanu

Keyword(s):

Multiagent Systems

Download Full-text

Towards the Named Entity Recognition Methods in Biomedical Field

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

10.1007/978-3-030-38919-2_31 ◽

2020 ◽

pp. 375-387 ◽

Cited By ~ 1

Author(s):

Anna Śniegula ◽

Aneta Poniszewska-Marańda ◽

Łukasz Chomątek

Keyword(s):

Named Entity Recognition ◽

Entity Recognition ◽

Named Entity ◽

Biomedical Field

Download Full-text

Selection of a Green Logical Data Warehouse Schema by Anti-monotonicity Constraint

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

10.1007/978-3-030-38919-2_29 ◽

2020 ◽

pp. 350-361

Author(s):

Issam Ghabri ◽

Ladjel Bellatreche ◽

Sadok Ben Yahia

Keyword(s):

Data Warehouse ◽

Monotonicity Constraint ◽

Logical Data ◽

Selection Of

Download Full-text

Parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern Matching

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

10.1007/978-3-030-38919-2_18 ◽

2020 ◽

pp. 211-222

Author(s):

Davaajav Jargalsaikhan ◽

Diptarama Hendrian ◽

Ryo Yoshinaka ◽

Ayumi Shinohara

Keyword(s):

Pattern Matching ◽

Sweep Algorithm

Download Full-text

On Synthesis of Specifications with Arithmetic

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

10.1007/978-3-030-38919-2_14 ◽

2020 ◽

pp. 161-173

Author(s):

Rachel Faran ◽

Orna Kupferman

Download Full-text

Kernels of Sub-classes of Context-Free Languages

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

10.1007/978-3-030-38919-2_12 ◽

2020 ◽

pp. 136-147

Author(s):

Martin Kutrib

Keyword(s):

Context Free

Download Full-text

Certified Machine-Learning Models

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

10.1007/978-3-030-38919-2_1 ◽

2020 ◽

pp. 3-15 ◽

Cited By ~ 1

Author(s):

Ernesto Damiani ◽

Claudio A. Ardagna

Keyword(s):

Machine Learning ◽

Learning Models ◽

Machine Learning Models

Download Full-text

Fast Indexes for Gapped Pattern Matching

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

10.1007/978-3-030-38919-2_40 ◽

2020 ◽

pp. 493-504 ◽

Cited By ~ 1

Author(s):

Manuel Cáceres ◽

Simon J. Puglisi ◽

Bella Zhukova

Keyword(s):

Pattern Matching

Download Full-text

Linearizing Genomes: Exact Methods and Local Search

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

10.1007/978-3-030-38919-2_41 ◽

2020 ◽

pp. 505-518

Author(s):

Tom Davot ◽

Annie Chateau ◽

Rodolphe Giroudeau ◽

Mathias Weller

Keyword(s):

Local Search ◽

Exact Methods

Download Full-text

Does Live Regression Testing Help?

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

10.1007/978-3-030-38919-2_59 ◽

2020 ◽

pp. 699-707

Author(s):

Marek Bruchatý ◽

Karol Rástočný

Keyword(s):

Regression Testing

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Employing Costs in Multiagent Systems with Timed Migration and Timed Communication

Towards the Named Entity Recognition Methods in Biomedical Field

Selection of a Green Logical Data Warehouse Schema by Anti-monotonicity Constraint

Parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern Matching

On Synthesis of Specifications with Arithmetic

Kernels of Sub-classes of Context-Free Languages

Certified Machine-Learning Models

Fast Indexes for Gapped Pattern Matching

Linearizing Genomes: Exact Methods and Local Search

Does Live Regression Testing Help?

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