Language and Automata Theory and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

58
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319155784, 9783319155791
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic

2015 ◽  
pp. 703-715 ◽  
Author(s):  
Parvaneh Babari ◽  
Manfred Droste
Keyword(s):  
Mso Logic

Parameterized Complexity of CTL

2015 ◽  
pp. 549-560 ◽  
Author(s):  
Martin Lück ◽  
Arne Meier ◽  
Irina Schindler
Keyword(s):  
Parameterized Complexity

Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications

2015 ◽  
pp. 3-24 ◽  
Author(s):  
Marco Autili ◽  
Paola Inverardi ◽  
Filippo Mignosi ◽  
Romina Spalazzese ◽  
Massimo Tivoli
Keyword(s):  
Automated Synthesis ◽  
Application Layer

scholarly journals Recognizable Series on Hypergraphs

2015 ◽  
pp. 639-651
Author(s):  
Raphaël Bailly ◽  
François Denis ◽  
Guillaume Rabusseau

scholarly journals Towards More Precise Rewriting Approximations

2015 ◽  
pp. 652-663 ◽  
Author(s):  
Yohan Boichut ◽  
Jacques Chabin ◽  
Pierre Réty

scholarly journals Compressed Data Structures for Range Searching

2015 ◽  
pp. 577-586 ◽  
Author(s):  
Philip Bille ◽  
Inge Li Gørtz ◽  
Søren Vind
Keyword(s):  
Data Structures ◽  
Range Searching ◽  
Compressed Data Structures ◽  
Compressed Data
Load More ...
Sign in / Sign up

Export Citation Format

Share Document