Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540528261

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Static correctness of hierarchical procedures

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032020 ◽

2005 ◽

pp. 32-45

Author(s):

Michael I. Schwartzbach

Download Full-text

Compositionality through an operational semantics of contexts

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032056 ◽

2005 ◽

pp. 526-539 ◽

Cited By ~ 40

Author(s):

Kim G. Larsen ◽

Liu Xinxin

Keyword(s):

Operational Semantics

Download Full-text

Equational formulas in order-sorted algebras

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032066 ◽

2005 ◽

pp. 674-688 ◽

Cited By ~ 20

Author(s):

Hubert Comon

Download Full-text

Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032073 ◽

2005 ◽

pp. 765-780 ◽

Cited By ~ 4

Author(s):

Sanjiva Prasad ◽

Alessandro Giacalone ◽

Prateek Mishra

Keyword(s):

Functional Programming ◽

Algebraic Semantics

Download Full-text

A new approach to maximum matching in general graphs

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032060 ◽

2005 ◽

pp. 586-597 ◽

Cited By ~ 22

Author(s):

Norbert Blum

Keyword(s):

Maximum Matching ◽

New Approach ◽

General Graphs

Download Full-text

An efficient algorithm for branching bisimulation and stuttering equivalence

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032063 ◽

2005 ◽

pp. 626-638 ◽

Cited By ~ 93

Author(s):

Jan Friso Groote ◽

Frits Vaandrager

Keyword(s):

Efficient Algorithm ◽

Branching Bisimulation

Download Full-text

LEDA: A library of efficient data types and algorithms

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032017 ◽

2005 ◽

pp. 1-5 ◽

Cited By ~ 2

Author(s):

Stefan Näher ◽

Kurt Mehlhorn

Keyword(s):

Data Types ◽

Efficient Data

Download Full-text

Generic terms having no polymorphic types

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032021 ◽

2005 ◽

pp. 46-59

Author(s):

Sophie Malecki

Download Full-text

An input-size/output-size trade-off in the time-complexity of rectilinear hidden surface removal

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032067 ◽

2005 ◽

pp. 689-702 ◽

Cited By ~ 3

Author(s):

Michael T. Goodrich ◽

Mikhail J. Atallah ◽

Mark H. Overmars

Keyword(s):

Time Complexity ◽

Trade Off ◽

Input Size ◽

Hidden Surface Removal ◽

Surface Removal

Download Full-text

Nonoblivious normalization algorithms for nonlinear rewrite systems

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032045 ◽

2005 ◽

pp. 370-385 ◽

Cited By ~ 3

Author(s):

Rakesh M. Verma ◽

I. V. Ramakrishnan

Keyword(s):

Rewrite Systems

Download Full-text

Automata, Languages and Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Static correctness of hierarchical procedures

Compositionality through an operational semantics of contexts

Equational formulas in order-sorted algebras

Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming

A new approach to maximum matching in general graphs

An efficient algorithm for branching bisimulation and stuttering equivalence

LEDA: A library of efficient data types and algorithms

Generic terms having no polymorphic types

An input-size/output-size trade-off in the time-complexity of rectilinear hidden surface removal

Nonoblivious normalization algorithms for nonlinear rewrite systems

Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications