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

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319519623, 9783319519630
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logical Characterisations and Compositionality of Input-Output Conformance Simulation

2017 ◽  
pp. 37-48
Author(s):  
Luca Aceto ◽  
Ignacio Fábregas ◽  
Carlos Gregorio-Rodríguez ◽  
Anna Ingólfsdóttir
Keyword(s):  
Input Output

Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors)

2017 ◽  
pp. 229-240 ◽  
Author(s):  
Leszek Gąsieniec ◽  
Ralf Klasing ◽  
Christos Levcopoulos ◽  
Andrzej Lingas ◽  
Jie Min ◽  
...  

Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs

2017 ◽  
pp. 79-90 ◽  
Author(s):  
Evangelos Kranakis ◽  
Danny Krizanc ◽  
Euripides Markou ◽  
Aris Pagourtzis ◽  
Felipe Ramírez
Keyword(s):  
Two Agents ◽  
Arbitrary Graphs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document