IANDC - Information and Computation/information and Control

Subscribe

Academic

IANDC - Information and Computation/information and Control

IANDC - Information and Computation/information and Control

Publications: 3,942| Citation Count: 83,609 (Self-Citation: 1613)|H-Index: 109
Year Range: 1957-2011

Interests: Algorithms & Theory

Homepage

Cumulative Annual

Order by:

Publications (3942)

Quantitative Kleene coalgebras (Citations: 3)

Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten

Journal: Information and Computation/information and Control - IANDC , vol. 209, no. 5, pp. 822-849, 2011
A classification of the expressive power of well-structured transition systems (Citations: 2)

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin

Journal: Information and Computation/information and Control - IANDC , vol. 209, no. 3, pp. 248-279, 2011
Probabilistic Logical Characterization (Citations: 3)

Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang

Journal: Information and Computation/information and Control - IANDC , vol. 209, no. 2, pp. 154-172, 2011
Treewidth computations II. Lower bounds (Citations: 2)

Hans L. Bodlaender, Arie M. C. A. Koster

Journal: Information and Computation/information and Control - IANDC , vol. 209, no. 7, pp. 1103-1119, 2011
Unbounded-error quantum computation with small space bounds (Citations: 3)

Abuzer Yakaryilmaz, A. C. Cem Say

Journal: Information and Computation/information and Control - IANDC , vol. 209, no. 6, pp. 873-892, 2011