Rolf Backofen

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Rolf Backofen

Publications

2004
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jda/Backofen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jda/Backofen04
Rolf Backofen:
A polynomial time upper bound for the number of contacts in the HP-model on the face-centered-cubic lattice (FCC). J. Discrete Algorithms 2(2): 161-206 (2004)
2001
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/Backofen01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/Backofen01
Rolf Backofen:
The Protein Structure Prediction Problem: A Constraint Optimization Approach using a New Lower Bound. Constraints An Int. J. 6(2/3): 223-255 (2001)
[c23]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/acl/Backofen01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acl/Backofen01
Rolf Backofen:
Introduction to Bioinformatics. ACL (Companion Volume) 2001: 4
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ida/Backofen01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ida/Backofen01
Rolf Backofen:
RNA-Sequence-Structure Properties and Selenocysteine Insertion. IDA 2001: 187-197
2000
[c18]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/arw/Backofen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arw/Backofen00
Rolf Backofen:
Exclusion of Symmetries in Search - A Spin-off from Bioinformatics Research. ARW 2000
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cpm/Backofen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpm/Backofen00
Rolf Backofen:
An Upper Bound for Number of Contacts in the HP-Model on the Face-Centered-Cubic Lattice (FCC). CPM 2000: 277-292
1998
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Backofen98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Backofen98
Rolf Backofen:
Constraint Techniques for Solving the Protein Structure Prediction Problem. CP 1998: 72-86
1997
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/gcb/Backofen97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcb/Backofen97
Rolf Backofen:
Using constraint programming for lattice protein folding. German Conference on Bioinformatics 1997: 123
1996
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/Backofen96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Backofen96
Rolf Backofen:
Controlling Functional Uncertainty. ECAI 1996: 557-561
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cmp-lg-9608002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cmp-lg-9608002
Rolf Backofen:
Controlling Functional Uncertainty. CoRR cmp-lg/9608002 (1996)
1995
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Backofen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Backofen95
Rolf Backofen:
A Complete Axiomatization of a Theory with Feature and Arity Constraints. J. Log. Program. 24(1&2): 37-71 (1995)
1994
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Backofen94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Backofen94
Rolf Backofen:
Expressivity and decidability of first-order languages over feature trees. Saarland University, Saarbrücken, Germany, 1994, pp. 1-170
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Backofen94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Backofen94
Rolf Backofen:
Regular Path Expressions in Feature Logic. J. Symb. Comput. 17(5): 421-455 (1994)
1993
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/acl/Backofen93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acl/Backofen93
Rolf Backofen:
On the Decidability of Functional Uncertainty. ACL 1993: 201-208
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Backofen93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Backofen93
Rolf Backofen:
Regular Path Expression in Feature Logic. RTA 1993: 121-135

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.