Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Andreas Reuß

> Home > Persons

Person information

affiliation: TU Munich, Faculty of Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2013
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Reuss13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Reuss13
Andreas Reuß:
Normalization of Horn clauses with disequality constraints. Technical University Munich, 2013, pp. 1-85

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/ReussS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/ReussS18
Andreas Reuß, Helmut Seidl:
Paths, tree homomorphisms and disequalities for -clauses. Math. Struct. Comput. Sci. 28(10): 1786-1846 (2018)
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/SeidlR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/SeidlR11
Helmut Seidl, Andreas Reuß:
Extending H₁-clauses with disequalities. Inf. Process. Lett. 111(20): 1007-1013 (2011)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2012
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/SeidlR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/SeidlR12
Helmut Seidl, Andreas Reuß:
Extending ${\cal H}_1$ -Clauses with Path Disequalities. FoSSaCS 2012: 165-179
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/ReussS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/ReussS12
Andreas Reuß, Helmut Seidl:
Crossing the Syntactic Barrier: Hom-Disequalities for H₁-Clauses. CIAA 2012: 301-312
2010
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/Reuss10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Reuss10
Andreas Reuß:
Program Analysis with Horn Clauses. AlgoSyn 2010: 158
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/ReussS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/ReussS10
Andreas Reuß, Helmut Seidl:
Bottom-Up Tree Automata with Term Constraints. LPAR (Yogyakarta) 2010: 581-593

Coauthor Index

see FAQ

a service of

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.