Fundamenta Informaticae, Volume 103

Volume 103, Numbers 1-4, 2010

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/GambinNU10
- ask others
Anna Gambin, Damian Niwinski, Pawel Urzyczyn: Preface.
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/BarbutiMTDM10
- ask others
Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo: A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. 1-29
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/BergstraM10a
- ask others
Jan A. Bergstra, C. A. Middelburg: Data Linkage Dynamics with Shedding. 31-52
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/Dojer10
- ask others
Norbert Dojer: An Efficient Algorithm for Learning Bayesian Networks from Data. 53-67
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/DonnellyKL10
- ask others
Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets: The Complexity of Restricted Variants of the Stable Paths Problem. 69-87
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/GambinK10
- ask others
Anna Gambin, Boguslaw Kluge: Modeling Proteolysis from Mass Spectrometry Proteomic Data. 89-104
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/Gorecki10
- ask others
Pawel Górecki: H-trees: a Model of Evolutionary Scenarios with Horizontal Gene Transfer. 105-128
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/Kozen10
- ask others
Dexter Kozen: Church-Rosser Made Easy. 129-136
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/KusmierekB10
- ask others
Jaroslaw D. M. Kusmierek, Viviana Bono: Big-step Operational Semantics Revisited. 137-172
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/PaganiR10
- ask others
Michele Pagani, Simona Ronchi Della Rocca: Linearity, Non-determinism and Solvability. 173-202
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/Pratt10
- ask others
Vaughan Pratt: Communes via Yoneda, from an Elementary Perspective. 203-218
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/RudnickiW10
- ask others
Ryszard Rudnicki, Radoslaw Wieczorek: Asymptotic Analysis of a Semelparous Species Model. 219-233
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/SettyCH10
- ask others
Yaki Setty, Irun R. Cohen, David Harel: Modeling Biology using Generic Reactive Animation. 235-246
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/ShiversW10
- ask others
Olin Shivers, Mitchell Wand: Bottom-up beta-reduction: Uplinks and lambda-DAGs. 247-287
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/Tyszkiewicz10
- ask others
Jerzy Tyszkiewicz: Complexity of Type Inference. 289-301
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/Urzyczyn10
- ask others
Pawel Urzyczyn: The Logic of Persistent Intersection. 303-322
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/WilczynskiH10
- ask others
Bartek Wilczynski, Torgeir R. Hvidsten: A Computer Scientist's Guide to the Regulatory Genome. 323-332