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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540958901, 9783540958918

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partial Order Semantics of Types of Nets

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

10.1007/978-3-540-95891-8_36 ◽

2009 ◽

pp. 388-400 ◽

Cited By ~ 1

Author(s):

Robert Lorenz ◽

Gabriel Juhás ◽

Sebastian Mauser

Keyword(s):

Partial Order ◽

Partial Order Semantics

Download Full-text

Asynchronous Deterministic Rendezvous on the Line

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

10.1007/978-3-540-95891-8_45 ◽

2009 ◽

pp. 497-508 ◽

Cited By ~ 11

Author(s):

Grzegorz Stachowiak

Download Full-text

Service Oriented Architecture Pitfalls

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

10.1007/978-3-540-95891-8_6 ◽

2009 ◽

pp. 37-45

Author(s):

Radovan Janeček

Keyword(s):

Service Oriented Architecture ◽

Service Oriented

Download Full-text

The Simple Reachability Problem in Switch Graphs

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

10.1007/978-3-540-95891-8_42 ◽

2009 ◽

pp. 461-472 ◽

Cited By ~ 2

Author(s):

Klaus Reinhardt

Keyword(s):

Reachability Problem

Download Full-text

The Minimum Reload s-t Path/Trail/Walk Problems

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

10.1007/978-3-540-95891-8_55 ◽

2009 ◽

pp. 621-632 ◽

Cited By ~ 6

Author(s):

Laurent Gourvès ◽

Adria Lyra ◽

Carlos Martinhon ◽

Jérôme Monnot

Keyword(s):

T Path

Download Full-text

Unambiguous Erasing Morphisms in Free Monoids

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

10.1007/978-3-540-95891-8_43 ◽

2009 ◽

pp. 473-484 ◽

Cited By ~ 1

Author(s):

Johannes C. Schneider

Keyword(s):

Free Monoids

Download Full-text

Algorithms for Solving Infinite Games

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

10.1007/978-3-540-95891-8_7 ◽

2009 ◽

pp. 46-48

Author(s):

Marcin Jurdziński

Keyword(s):

Infinite Games

Download Full-text

A Formal Model of Business Application Integration from Web Services (Position Paper)

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

10.1007/978-3-540-95891-8_58 ◽

2009 ◽

pp. 656-667 ◽

Cited By ~ 2

Author(s):

Kaiyu Wan ◽

Mubarak Muhammad ◽

Vasu Alagar

Keyword(s):

Web Services ◽

Formal Model ◽

Position Paper ◽

Application Integration ◽

Business Application

Download Full-text

Technology Diffusion in Social Networks

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

10.1007/978-3-540-95891-8_5 ◽

2009 ◽

pp. 35-36

Author(s):

Nicole Immorlica

Keyword(s):

Social Networks ◽

Technology Diffusion

Download Full-text

Modelling and Verifying Mobile Systems Using π-Graphs

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

10.1007/978-3-540-95891-8_40 ◽

2009 ◽

pp. 437-448 ◽

Cited By ~ 2

Author(s):

Frédéric Peschanski ◽

Joël-Alexis Bialkiewicz

Keyword(s):

Mobile Systems

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Partial Order Semantics of Types of Nets

Asynchronous Deterministic Rendezvous on the Line

Service Oriented Architecture Pitfalls

The Simple Reachability Problem in Switch Graphs

The Minimum Reload s-t Path/Trail/Walk Problems

Unambiguous Erasing Morphisms in Free Monoids

Algorithms for Solving Infinite Games

A Formal Model of Business Application Integration from Web Services (Position Paper)

Technology Diffusion in Social Networks

Modelling and Verifying Mobile Systems Using π-Graphs

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