Carsten Damm

48 papers A 4B 6C 1Misc 2Journal 30Unranked 3
YearRankTypeTitle / Venue / Authors
2008 ch.
New Developments in Formal Languages and Applications
Carsten Damm
2007 J jnl
Inf. Process. Lett.
Henrik Brosenne, Carsten Damm, Matthias Homeister, Stephan Waack
2006 J jnl
BMC Bioinform.
Stephan Waack, Oliver Keller, Roman Asper, Thomas Brodag, Carsten Damm, Wolfgang Florian Fricke, Katharina Surovcik, Peter Meinicke, Rainer Merkl
2004 J jnl
J. Comput. Syst. Sci.
Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack
2003 J jnl
Comput. Complex.
Eric Allender, Anna Bernasconi, Carsten Damm, Joachim von zur Gathen, Michael E. Saks, Igor E. Shparlinski
2002 J jnl
Comput. Complex.
Carsten Damm, Markus Holzer, Pierre McKenzie
2001 J jnl
Inf. Comput.
Anna Bernasconi, Carsten Damm, Igor E. Shparlinski
2000 J jnl
Electron. Colloquium Comput. Complex.
Carsten Damm, Markus Holzer, Pierre McKenzie
2000 A conf
CCC
Carsten Damm, Markus Holzer, Pierre McKenzie
2000 J jnl
Comput. Complex.
Anna Bernasconi, Carsten Damm, Igor E. Shparlinski
1999 J jnl
Inf. Process. Lett.
Carsten Damm
1999 Misc conf
COCOON
Carsten Damm, Ki Hang Kim, Fred W. Roush
1999 Misc conf
COCOON
Anna Bernasconi, Carsten Damm, Igor E. Shparlinski
1999 J jnl
On the Complexity of Tensor Formulae
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm
1998 J jnl
Bull. EATCS
Carsten Damm
1998 J jnl
Circuit and Decision Tree Complexity of Some Number Theoretic Problems
Universität Trier, Mathematik/Informatik, Forschungsbericht
Anna Bernasconi, Carsten Damm, Igor E. Shparlinski
1998 J jnl
On Alternating vs. Parity Communication Complexity
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm
1998 J jnl
On Boolean vs. Modular Arithmetic for Circuits and Communication Protocols
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm
1998 B conf
MFCS
Carsten Damm
1998 J jnl
Comput. Complex.
Carsten Damm, Stasys Jukna, Jirí Sgall
1997 conf
GI Jahrestagung
Christoph Meinel, Carsten Damm, Martin Mundhenk
1997 J jnl
A Note on Spectral Lower Bound Arguments for Decision Trees
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm
1997 J jnl
Theory Comput. Syst.
Carsten Damm, Markus Holzer, Peter Rossmanith
1997 conf
ECDL
Jochen Bern, Carsten Damm, Christoph Meinel
1996 J jnl
Inf. Comput.
Carsten Damm, Markus Holzer
1996 A conf
STACS
Carsten Damm, Stasys Jukna, Jirí Sgall
1995 B conf
MFCS
Carsten Damm, Markus Holzer
1995 J jnl
Expressing Uniformity via Oracles
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm, Markus Holzer, Peter Rossmanith
1995 J jnl
On Multiparity Games for Pointer Jumping
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm, Stasys Jukna
1995 J jnl
Electron. Colloquium Comput. Complex.
Carsten Damm, Stasys Jukna, Jirí Sgall
1995 J jnl
Some Bounds on Multiparty Communication Complexity of Pointer Jumping
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm, Stasys Jukna, Jirí Sgall
1994 B conf
MFCS
Carsten Damm, Markus Holzer
1994 J jnl
Inductive Counting below LOGSPACE
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm, Markus Holzer
1994 J jnl
J. Inf. Process. Cybern.
Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack
1993 C conf
Developments in Language Theory
Carsten Damm, Markus Holzer, Klaus-Jörn Lange, Peter Rossmanith
1993 J jnl
How Much ExOR Improves on OR?
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm
1993 J jnl
Symmetric Functions in AC
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm, Katja Lenz
1992 B conf
MFCS
Carsten Damm, Markus Holzer, Klaus-Jörn Lange
1992 J jnl
Theor. Comput. Sci.
Carsten Damm, Christoph Meinel
1992 J jnl
Separating Counting Communication Complexity Classes
Universität Trier, Mathematik/Informatik, Forschungsbericht
Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack
1992 A conf
STACS
Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack
1992 J jnl
Math. Syst. Theory
Gerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel
1991 A conf
STACS
Gerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel
1991
Carsten Damm
1990 conf
IMYCS
Carsten Damm
1990 J jnl
Inf. Process. Lett.
Carsten Damm
1990 B conf
MFCS
Carsten Damm
1989 B conf
FCT
Carsten Damm, Christoph Meinel
docs/linting.md
← Index docs/linting.md markdown
# Code Linting Guide

## Installation

```bash
pip install flake8 pylint black isort
```

## Quick Usage

### Check Code Quality
```bash
# Comprehensive analysis (recommended)
pylint redb/

# Quick style check
flake8 redb/

# Format code
black redb/

# Sort imports
isort redb/
```

### Check Only (No Changes)
```bash
black --check redb/
isort --check-only redb/
```

## Configuration

The project uses `pyproject.toml` for configuration. Key settings:

- **Line length**: 120 characters
- **Pylint**: Disabled overly strict warnings (docstrings, naming conventions)
- **Black**: Compatible with isort
- **Flake8**: Ignores common style issues

## Security-Focused Linting

For security analysis, install additional tools:

```bash
pip install pylint-security bandit
```

Run security checks:
```bash
# Pylint with security plugin
pylint --load-plugins=pylint_security redb/

# Bandit (security-focused)
bandit -r redb/
```

## Recommended Workflow

1. **Development**: Use `flake8` for quick feedback
2. **Pre-commit**: Run `pylint` for comprehensive analysis
3. **Formatting**: Use `black` and `isort` before commits
4. **Security**: Run `bandit` periodically

## IDE Integration

Most IDEs support these tools:
- **VS Code**: Install Python extension, configure linting
- **PyCharm**: Built-in support for all tools
- **Vim/Neovim**: Use ALE or similar plugins