Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Fabian Skrlac

Fabian Reck 0002

> Home > Persons

Person information

affiliation: University of Kiel, Kiel, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

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

2014
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/HanusS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/HanusS14
Michael Hanus, Fabian Skrlac:
A modular and generic analysis server system for functional logic programs. PEPM 2014: 181-188
2013
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/BrasselHPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BrasselHPR13
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
Implementing Equational Constraints in a Functional Language. PADL 2013: 125-140
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/ChristiansenHRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/ChristiansenHRS13
Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel:
A semantics for weakly encapsulated search in functional logic programs. PPDP 2013: 49-60
2012
[c4]
- view
- export record
  dblp key:
  - conf/se/HanusPR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/HanusPR12
Michael Hanus, Björn Peemöller, Fabian Reck:
Search strategies for functional logic programming. Software Engineering (Workshops) 2012: 61-74
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/BrasselHPR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/BrasselHPR11
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
KiCS2: A New Compiler from Curry to Haskell. WFLP 2011: 1-18
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/BrasselFHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/BrasselFHR10
Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck:
Transforming Functional Logic Programs into Monadic Functional Programs. WFLP 2010: 30-47
2009
[c1]
- view
- export record
  dblp key:
  - conf/gi/ReckF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/ReckF09
Fabian Reck, Sebastian Fischer:
Towards a Parallel Search for Solutions of Non-deterministic Computations. GI Jahrestagung 2009: 2889-2900

Informal and Other Publications

see FAQ

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

2013
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HanusR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HanusR13
Michael Hanus, Fabian Reck:
A Generic Analysis Server System for Functional Logic Programs. CoRR abs/1307.4648 (2013)
2011
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1108-5609
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-5609
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
Implementing Equational Constraints in a Functional Language. CoRR abs/1108.5609 (2011)

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.