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

TOTAL DOCUMENTS

45
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319042978, 9783319042985
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parameterized Prefix Distance between Regular Languages

2014 ◽  
pp. 419-430 ◽  
Author(s):  
Martin Kutrib ◽  
Katja Meckel ◽  
Matthias Wendlandt
Keyword(s):  
Regular Languages

scholarly journals Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach

2014 ◽  
pp. 199-210
Author(s):  
Valeria de Castro ◽  
Martin A. Musicante ◽  
Umberto Souza da Costa ◽  
Plácido A. de Souza Neto ◽  
Genoveva Vargas-Solar
Keyword(s):  
Software Development ◽  
Development Process ◽  
Software Development Process ◽  
Functional Requirements

scholarly journals Safety Contracts for Timed Reactive Components in SysML

2014 ◽  
pp. 211-222 ◽  
Author(s):  
Iulia Dragomir ◽  
Iulian Ober ◽  
Christian Percebois

scholarly journals Graph Clustering with Surprise: Complexity and Exact Solutions

2014 ◽  
pp. 223-234 ◽  
Author(s):  
Tobias Fleck ◽  
Andrea Kappes ◽  
Dorothea Wagner
Keyword(s):  
Exact Solutions ◽  
Graph Clustering

Finding Disjoint Paths in Split Graphs

2014 ◽  
pp. 315-326 ◽  
Author(s):  
Pinar Heggernes ◽  
Pim van ’t Hof ◽  
Erik Jan van Leeuwen ◽  
Reza Saei
Keyword(s):  
Disjoint Paths ◽  
Split Graphs

Error-Pruning in Interface Automata

2014 ◽  
pp. 162-173 ◽  
Author(s):  
Ferenc Bujtor ◽  
Walter Vogler
Keyword(s):  
Interface Automata

Parameterized Complexity of the Sparsest k-Subgraph Problem in Chordal Graphs

2014 ◽  
pp. 150-161 ◽  
Author(s):  
Marin Bougeret ◽  
Nicolas Bousquet ◽  
Rodolphe Giroudeau ◽  
Rémi Watrigant
Keyword(s):  
Parameterized Complexity ◽  
Chordal Graphs

scholarly journals Fitting Planar Graphs on Planar Maps

2014 ◽  
pp. 52-64
Author(s):  
Md. Jawaherul Alam ◽  
Michael Kaufmann ◽  
Stephen G. Kobourov ◽  
Tamara Mchedlidze
Keyword(s):  
Planar Graphs ◽  
Planar Maps
Load More ...
Sign in / Sign up

Export Citation Format

Share Document