default search action

combined dblp search
author search
venue search
publication search

ask others

Simon R. Leßenich

Simon Leßenich

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

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

2015
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Lessenich15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Lessenich15
Simon R. Leßenich:
Counting logics and games with counters. RWTH Aachen University, Germany, 2015
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/Kaiser0LL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Kaiser0LL15
Lukasz Kaiser, Martin Lang, Simon Leßenich, Christof Löding:
A Unified Approach to Boundedness Properties in MSO. CSL 2015: 441-456
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CanavoiGLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CanavoiGLP15
Felix Canavoi, Erich Grädel, Simon Leßenich, Wied Pakusa:
Defining Winning Strategies in Fixed-Point Logic. LICS 2015: 366-377
2014
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dfg/Lessenich14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Lessenich14
Simon Leßenich:
Counting Logics and Games with Counters. Joint Workshop of the German Research Training Groups in Computer Science 2014: 43
2012
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/GradelL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/GradelL12
Erich Grädel, Simon Leßenich:
Banach-Mazur Games with Simple Winning Strategies. CSL 2012: 305-319
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/KaiserL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/KaiserL12
Lukasz Kaiser, Simon Leßenich:
A Counting Logic for Structure Transition Systems. CSL 2012: 366-380
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/BerwangerKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BerwangerKL12
Dietmar Berwanger, Lukasz Kaiser, Simon Leßenich:
Solving Counter Parity Games. MFCS 2012: 160-171
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/procedia/LulfesmannLB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/procedia/LulfesmannLB10
Michael Lülfesmann, Simon R. Leßenich, H. Martin Bücker:
Interactively exploring elimination orderings in symbolic sparse Cholesky factorization. ICCS 2010: 867-874

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.