researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2010
2012
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Alexandre Sedoglavic
Ana Graça
Anvesh Komuravelli
Arlindo L. Oliveira
Asli Ürgüplü
Corrado Priami
Céline Kuttler
David J. Sherman
Edmund M. Clarke
Felipe A. Vargas
Ferenc Jordán
François Boulier
François Lemaire
Haijun Gong
Inês Lynce
James R. Faeder
Jan Van den Bussche
Joris J. M. Gillis
João Marques-Silva
Katsuhisa Horimoto
Filter by Top terms
[+]
OR
AND
NOT
1
0-matrix
2
2010
31
4th
accurate
algebra
algebraic
analysis
analyzing
anb
approaches
asp
august
austria
modeling
models
pathways
systems
using
ANB (ANB)
Editions
Publications
Viewing Publication 1 - 11 from 11
2012
Algebraic and Numeric Biology - 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
Katsuhisa Horimoto
,
Masahiko Nakatsui
,
Nikolaj Popov
, editors,
Volume 6479 of
Lecture Notes in Computer Science
, Springer,
2012.
[doi]
2010
Reconciling Competing Models: A Case Study of Wine Fermentation Kinetics
Rodrigo Assar
,
Felipe A. Vargas
,
David J. Sherman
.
ANB 2012
:
98-116
[doi]
P 0-Matrix Products of Matrices
Murad Banaji
.
ANB 2012
:
1-17
[doi]
A Formal Model for Databases in DNA
Joris J. M. Gillis
,
Jan Van den Bussche
.
ANB 2012
:
18-37
[doi]
Computational Modeling and Verification of Signaling Pathways in Cancer
Haijun Gong
,
Paolo Zuliani
,
Anvesh Komuravelli
,
James R. Faeder
,
Edmund M. Clarke
.
ANB 2012
:
117-135
[doi]
Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
Ana Graça
,
Inês Lynce
,
João Marques-Silva
,
Arlindo L. Oliveira
.
ANB 2012
:
38-56
[doi]
Composability: Perspectives in Ecological Modeling
Ozan Kahramanogullari
,
Ferenc Jordán
,
Corrado Priami
.
ANB 2012
:
136-148
[doi]
MABSys: Modeling and Analysis of Biological Systems
François Lemaire
,
Asli Ürgüplü
.
ANB 2012
:
57-75
[doi]
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors
Masahiko Nakatsui
,
Alexandre Sedoglavic
,
François Lemaire
,
François Boulier
,
Asli Ürgüplü
,
Katsuhisa Horimoto
.
ANB 2012
:
149-166
[doi]
Analyzing Pathways Using ASP-Based Approaches
Oliver Ray
,
Takehide Soh
,
Katsumi Inoue
.
ANB 2012
:
167-183
[doi]
Models of Stochastic Gene Expression and Weyl Algebra
Samuel Vidal
,
Michel Petitot
,
François Boulier
,
François Lemaire
,
Céline Kuttler
.
ANB 2012
:
76-97
[doi]
Sign in
or
sign up
to see more results.