Demo Data from EDBT 2026 / reviewers in the wild / expert
Stephan Waack
dblp:w/StephanWaack
· DBLP profile ↗
43ranked-venue papers
6as first author
2since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 29 · 5 first-authorApplied, interdisciplinary, general and emerging computing · 10 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 3 · 1 since 2021Databases, data management, data science and information retrieval · 2Artificial intelligence and machine learning · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Bioinformatics and computational biology · 100% | |
| Theoretical computer science
4 papers |
Computational complexity · 57% Algorithms and data structures · 43% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 50% Integrated circuit design · 50% |
Topics — the 10 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Bioinformatics and computational biology › genome annotation
gene prediction |
0.1 | 1 | 2011 | A novel hybrid gene prediction method employing protein multiple sequence alignments · Bioinform. 2011 |
Bioinformatics and computational biology › genome annotation › gene prediction
homology-based gene prediction |
0.1 | 1 | 2011 | A novel hybrid gene prediction method employing protein multiple sequence alignments · Bioinform. 2011 |
Algorithms and data structures
decision diagrams |
0.0 | 1 | 2001 | On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams · Inf. Comput. 2001 |
Computational complexity
circuit complexity |
0.0 | 2 | 1992 | Variation Ranks of Communication Matrices and Lower Bounds for Depth Two Circuits Having Symmetric Gates with Unbounded Fan-In · FOCS 1991 Branching Programs Provide Lower Bounds on the Areas of Multilective Deterministic and Nondeterministic VLSI-Circuits · Inf. Comput. 1992 |
Electronic design automation
hardware verification and test |
0.0 | 1 | 1992 | Branching Programs Provide Lower Bounds on the Areas of Multilective Deterministic and Nondeterministic VLSI-Circuits · Inf. Comput. 1992 |
Integrated circuit design
VLSI complexity |
0.0 | 1 | 1992 | Branching Programs Provide Lower Bounds on the Areas of Multilective Deterministic and Nondeterministic VLSI-Circuits · Inf. Comput. 1992 |
Computational complexity › circuit complexity
branching programs |
0.0 | 1 | 1991 | On Oblivious Branching Programs of Linear Length · Inf. Comput. 1991 |
Computational complexity
communication complexity |
0.0 | 1 | 1991 | Variation Ranks of Communication Matrices and Lower Bounds for Depth Two Circuits Having Symmetric Gates with Unbounded Fan-In · FOCS 1991 |
Computational complexity › circuit complexity › constant-depth circuits
depth-2 circuits |
0.0 | 1 | 1991 | Variation Ranks of Communication Matrices and Lower Bounds for Depth Two Circuits Having Symmetric Gates with Unbounded Fan-In · FOCS 1991 |
Computational complexity
lower bounds |
0.0 | 1 | 1991 | Variation Ranks of Communication Matrices and Lower Bounds for Depth Two Circuits Having Symmetric Gates with Unbounded Fan-In · FOCS 1991 |
Methods — techniques the papers use, named apart from their topics
protein multiple sequence alignment · 0.1block profiles · 0.1branching programs · 0.0VLSI circuit area lower bounds · 0.0variation rank · 0.0symmetric gates · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Investigation and prediction of open source software evolution using automated parameter mining for agent-based simulationabstractAbstract To guide software development, the estimation of the impact of decision making on the development process can be helpful in planning. For this estimation, often prediction models are used which can be learned from project data. In this paper, an approach for the usage of agent-based simulation for the prediction of software evolution trends is presented. The specialty of the proposed approach lies in the automated parameter estimation for the instantiation of project-specific simulation models. We want to assess how well a baseline model using average (commit) behavior of the agents (i.e., the developers) performs compared to models where different amount of project-specific data is fed into the simulation model. The approach involves the interplay between the mining framework and simulation framework. Parameters to be estimated include, e.g., file change probabilities of developers and the team constellation reflecting different developer roles. The structural evolution of software projects is observed using change coupling graphs based on common file changes. For the validation of simulation results, we compare empirical with simulated results. Our results showed that an average simulation model can mimic general project growth trends like the number of commits and files well and thus, can help project managers in, e.g., controlling the onboarding of developers. Besides, the simulated co-change evolution could be improved significantly using project-specific data. Daniel Honsel, Verena Herbold, Stephan Waack, Jens Grabowski |
Autom. Softw. Eng. | 3 |
| 2021 | A graph-based algorithm for detecting rigid domains in protein structuresabstractBACKGROUND: Conformational transitions are implicated in the biological function of many proteins. Structural changes in proteins can be described approximately as the relative movement of rigid domains against each other. Despite previous efforts, there is a need to develop new domain segmentation algorithms that are capable of analysing the entire structure database efficiently and do not require the choice of protein-dependent tuning parameters such as the number of rigid domains. RESULTS: We develop a graph-based method for detecting rigid domains in proteins. Structural information from multiple conformational states is represented by a graph whose nodes correspond to amino acids. Graph clustering algorithms allow us to reduce the graph and run the Viterbi algorithm on the associated line graph to obtain a segmentation of the input structures into rigid domains. In contrast to many alternative methods, our approach does not require knowledge about the number of rigid domains. Moreover, we identified default values for the algorithmic parameters that are suitable for a large number of conformational ensembles. We test our algorithm on examples from the DynDom database and illustrate our method on various challenging systems whose structural transitions have been studied extensively. CONCLUSIONS: The results strongly suggest that our graph-based algorithm forms a novel framework to characterize structural transitions in proteins via detecting their rigid domains. The web server is available at http://azifi.tz.agrar.uni-goettingen.de/webservice/ . Truong Khanh Linh Dang, Thach Nguyen, Michael Habeck, Mehmet Gültas, Stephan Waack |
BMC Bioinform. | 5 |
| 2016 | Monitoring Software Quality by Means of Simulation MethodsabstractThe evolution of software projects is driven by developers who are in control of the developed artifacts and the quality of software projects depends on the work of participating developers. Thus, a simulation tool requires a suitable model of the commit behavior of different developer types. In this paper, we present an agent-based model for software processes containing the commit behavior for different developer types. The description of these types results from mining software repositories. Since relationships between software entities, e.g., files, classes, modules, axe represented as dependency graphs, simulation results can be assessed automatically by Conditional Random Fields (CRFs). By adjusting simulation parameters for one project we are able to give a quality trend of other projects similar in size and duration only by changing the effort and the size of other projects to simulate. Daniel Honsel, Verena Honsel, Marlon Welter, Stephan Waack, Jens Grabowski |
ESEM | 4 |
| 2015 | PC-TraFF: identification of potentially collaborating transcription factors using pointwise mutual informationabstractBACKGROUND: Transcription factors (TFs) are important regulatory proteins that govern transcriptional regulation. Today, it is known that in higher organisms different TFs have to cooperate rather than acting individually in order to control complex genetic programs. The identification of these interactions is an important challenge for understanding the molecular mechanisms of regulating biological processes. In this study, we present a new method based on pointwise mutual information, PC-TraFF, which considers the genome as a document, the sequences as sentences, and TF binding sites (TFBSs) as words to identify interacting TFs in a set of sequences. RESULTS: To demonstrate the effectiveness of PC-TraFF, we performed a genome-wide analysis and a breast cancer-associated sequence set analysis for protein coding and miRNA genes. Our results show that in any of these sequence sets, PC-TraFF is able to identify important interacting TF pairs, for most of which we found support by previously published experimental results. Further, we made a pairwise comparison between PC-TraFF and three conventional methods. The outcome of this comparison study strongly suggests that all these methods focus on different important aspects of interaction between TFs and thus the pairwise overlap between any of them is only marginal. CONCLUSIONS: In this study, adopting the idea from the field of linguistics in the field of bioinformatics, we develop a new information theoretic method, PC-TraFF, for the identification of potentially collaborating transcription factors based on the idiosyncrasy of their binding site distributions on the genome. The results of our study show that PC-TraFF can succesfully identify known interacting TF pairs and thus its currently biologically uncorfirmed predictions could provide new hypotheses for further experimental validation. Additionally, the comparison of the results of PC-TraFF with the results of previous methods demonstrates that different methods with their specific scopes can perfectly supplement each other. Overall, our analyses indicate that PC-TraFF is a time-efficient method where its algorithm has a tractable computational time and memory consumption. The PC-TraFF server is freely accessible at http://pctraff.bioinf.med.uni-goettingen.de/. Cornelia Meckbach, Rebecca Tacke, Xu Hua, Stephan Waack, Edgar Wingender, Mehmet Gültas |
BMC Bioinform. | 4 |
| 2015 | Demonstrating non-inferiority of easy interpretable methods for insolvency prediction
Lennart Obermann, Stephan Waack |
Expert Syst. Appl. | 2 |
| 2014 | CRF-based models of protein surfaces improve protein-protein interaction site predictionsabstractBACKGROUND: The identification of protein-protein interaction sites is a computationally challenging task and important for understanding the biology of protein complexes. There is a rich literature in this field. A broad class of approaches assign to each candidate residue a real-valued score that measures how likely it is that the residue belongs to the interface. The prediction is obtained by thresholding this score.Some probabilistic models classify the residues on the basis of the posterior probabilities. In this paper, we introduce pairwise conditional random fields (pCRFs) in which edges are not restricted to the backbone as in the case of linear-chain CRFs utilized by Li et al. (2007). In fact, any 3D-neighborhood relation can be modeled. On grounds of a generalized Viterbi inference algorithm and a piecewise training process for pCRFs, we demonstrate how to utilize pCRFs to enhance a given residue-wise score-based protein-protein interface predictor on the surface of the protein under study. The features of the pCRF are solely based on the interface predictions scores of the predictor the performance of which shall be improved. RESULTS: We performed three sets of experiments with synthetic scores assigned to the surface residues of proteins taken from the data set PlaneDimers compiled by Zellner et al. (2011), from the list published by Keskin et al. (2004) and from the very recent data set due to Cukuroglu et al. (2014). That way we demonstrated that our pCRF-based enhancer is effective given the interface residue score distribution and the non-interface residue score are unimodal.Moreover, the pCRF-based enhancer is also successfully applicable, if the distributions are only unimodal over a certain sub-domain. The improvement is then restricted to that domain. Thus we were able to improve the prediction of the PresCont server devised by Zellner et al. (2011) on PlaneDimers. CONCLUSIONS: Our results strongly suggest that pCRFs form a methodological framework to improve residue-wise score-based protein-protein interface predictors given the scores are appropriately distributed. A prototypical implementation of our method is accessible at http://ppicrf.informatik.uni-goettingen.de/index.html. Zhijie Dong, Truong Khanh Linh Dang, Mehmet Gültas, Marlon Welter, Torsten Wierschin, Mario Stanke, Stephan Waack |
BMC Bioinform. | 8 |
| 2014 | Quantum Coupled Mutation Finder: Predicting functionally or structurally important sites in proteins using quantum Jensen-Shannon divergence and CUDA programmingabstractBACKGROUND: The identification of functionally or structurally important non-conserved residue sites in protein MSAs is an important challenge for understanding the structural basis and molecular mechanism of protein functions. Despite the rich literature on compensatory mutations as well as sequence conservation analysis for the detection of those important residues, previous methods often rely on classical information-theoretic measures. However, these measures usually do not take into account dis/similarities of amino acids which are likely to be crucial for those residues. In this study, we present a new method, the Quantum Coupled Mutation Finder (QCMF) that incorporates significant dis/similar amino acid pair signals in the prediction of functionally or structurally important sites. RESULTS: The result of this study is twofold. First, using the essential sites of two human proteins, namely epidermal growth factor receptor (EGFR) and glucokinase (GCK), we tested the QCMF-method. The QCMF includes two metrics based on quantum Jensen-Shannon divergence to measure both sequence conservation and compensatory mutations. We found that the QCMF reaches an improved performance in identifying essential sites from MSAs of both proteins with a significantly higher Matthews correlation coefficient (MCC) value in comparison to previous methods. Second, using a data set of 153 proteins, we made a pairwise comparison between QCMF and three conventional methods. This comparison study strongly suggests that QCMF complements the conventional methods for the identification of correlated mutations in MSAs. CONCLUSIONS: QCMF utilizes the notion of entanglement, which is a major resource of quantum information, to model significant dissimilar and similar amino acid pair signals in the detection of functionally or structurally important sites. Our results suggest that on the one hand QCMF significantly outperforms the previous method, which mainly focuses on dissimilar amino acid signals, to detect essential sites in proteins. On the other hand, it is complementary to the existing methods for the identification of correlated mutations. The method of QCMF is computationally intensive. To ensure a feasible computation time of the QCMF's algorithm, we leveraged Compute Unified Device Architecture (CUDA).The QCMF server is freely accessible at http://qcmf.informatik.uni-goettingen.de/. Mehmet Gültas, Güncel Düzgün, Sebastian Herzog, Sven Jäger 0001, Cornelia Meckbach, Edgar Wingender, Stephan Waack |
BMC Bioinform. | 7 |
| 2013 | GenePainter: a fast tool for aligning gene structures of eukaryotic protein families, visualizing the alignments and mapping gene structures onto protein structuresabstractBACKGROUND: All sequenced eukaryotic genomes have been shown to possess at least a few introns. This includes those unicellular organisms, which were previously suspected to be intron-less. Therefore, gene splicing must have been present at least in the last common ancestor of the eukaryotes. To explain the evolution of introns, basically two mutually exclusive concepts have been developed. The introns-early hypothesis says that already the very first protein-coding genes contained introns while the introns-late concept asserts that eukaryotic genes gained introns only after the emergence of the eukaryotic lineage. A very important aspect in this respect is the conservation of intron positions within homologous genes of different taxa. RESULTS: GenePainter is a standalone application for mapping gene structure information onto protein multiple sequence alignments. Based on the multiple sequence alignments the gene structures are aligned down to single nucleotides. GenePainter accounts for variable lengths in exons and introns, respects split codons at intron junctions and is able to handle sequencing and assembly errors, which are possible reasons for frame-shifts in exons and gaps in genome assemblies. Thus, even gene structures of considerably divergent proteins can properly be compared, as it is needed in phylogenetic analyses. Conserved intron positions can also be mapped to user-provided protein structures. For their visualization GenePainter provides scripts for the molecular graphics system PyMol. CONCLUSIONS: GenePainter is a tool to analyse gene structure conservation providing various visualization options. A stable version of GenePainter for all operating systems as well as documentation and example data are available at http://www.motorprotein.de/genepainter.html. Björn Hammesfahr, Florian Odronitz, Stefanie Mühlhausen, Stephan Waack, Martin Kollmar |
BMC Bioinform. | 4 |
| 2012 | Coupled Mutation Finder: A new entropy-based method quantifying phylogenetic noise for the detection of compensatory mutationsabstractBACKGROUND: The detection of significant compensatory mutation signals in multiple sequence alignments (MSAs) is often complicated by noise. A challenging problem in bioinformatics is remains the separation of significant signals between two or more non-conserved residue sites from the phylogenetic noise and unrelated pair signals. Determination of these non-conserved residue sites is as important as the recognition of strictly conserved positions for understanding of the structural basis of protein functions and identification of functionally important residue regions. In this study, we developed a new method, the Coupled Mutation Finder (CMF) quantifying the phylogenetic noise for the detection of compensatory mutations. RESULTS: To demonstrate the effectiveness of this method, we analyzed essential sites of two human proteins: epidermal growth factor receptor (EGFR) and glucokinase (GCK). Our results suggest that the CMF is able to separate significant compensatory mutation signals from the phylogenetic noise and unrelated pair signals. The vast majority of compensatory mutation sites found by the CMF are related to essential sites of both proteins and they are likely to affect protein stability or functionality. CONCLUSIONS: The CMF is a new method, which includes an MSA-specific statistical model based on multiple testing procedures that quantify the error made in terms of the false discovery rate and a novel entropy-based metric to upscale BLOSUM62 dissimilar compensatory mutations. Therefore, it is a helpful tool to predict and investigate compensatory mutation sites of structural or functional importance in proteins. We suggest that the CMF could be used as a novel automated function prediction tool that is required for a better understanding of the structural basis of proteins. The CMF server is freely accessible at http://cmf.bioinf.med.uni-goettingen.de. Mehmet Gültas, Martin Haubrock, Nesrin Tüysüz, Stephan Waack |
BMC Bioinform. | 4 |
| 2011 | A novel hybrid gene prediction method employing protein multiple sequence alignmentsabstractMOTIVATION: As improved DNA sequencing techniques have increased enormously the speed of producing new eukaryotic genome assemblies, the further development of automated gene prediction methods continues to be essential. While the classification of proteins into families is a task heavily relying on correct gene predictions, it can at the same time provide a source of additional information for the prediction, complementary to those presently used. RESULTS: We extended the gene prediction software AUGUSTUS by a method that employs block profiles generated from multiple sequence alignments as a protein signature to improve the accuracy of the prediction. Equipped with profiles modelling human dynein heavy chain (DHC) proteins and other families, AUGUSTUS was run on the genomic sequences known to contain members of these families. Compared with AUGUSTUS' ab initio version, the rate of genes predicted with high accuracy showed a dramatic increase. AVAILABILITY: The AUGUSTUS project web page is located at http://augustus.gobics.de, with the executable program as well as the source code available for download. Oliver Keller, Martin Kollmar, Mario Stanke, Stephan Waack |
Bioinform. | 4 |
| 2011 | Calculation and optimization of thresholds for sets of software metricsabstractIn this article, we present a novel algorithmic method for the calculation of thresholds for a metric set. To this aim, machine learning and data mining techniques are utilized. We define a data-driven methodology that can be used for efficiency optimization of existing metric sets, for the simplification of complex classification models, and for the calculation of thresholds for a metric set in an environment where no metric set yet exists. The methodology is independent of the metric set and therefore also independent of any language, paradigm or abstraction level. In four case studies performed on large-scale open-source software metric sets for C functions, C+ +, C# methods and Java classes are optimized and the methodology is validated. Steffen Herbold, Jens Grabowski, Stephan Waack |
Empir. Softw. Eng. | 3 |
| 2008 | Scipio: Using protein sequences to determine the precise exon/intron structures of genes and their orthologs in closely related speciesabstractBACKGROUND: For many types of analyses, data about gene structure and locations of non-coding regions of genes are required. Although a vast amount of genomic sequence data is available, precise annotation of genes is lacking behind. Finding the corresponding gene of a given protein sequence by means of conventional tools is error prone, and cannot be completed without manual inspection, which is time consuming and requires considerable experience. RESULTS: Scipio is a tool based on the alignment program BLAT to determine the precise gene structure given a protein sequence and a genome sequence. It identifies intron-exon borders and splice sites and is able to cope with sequencing errors and genes spanning several contigs in genomes that have not yet been assembled to supercontigs or chromosomes. Instead of producing a set of hits with varying confidence, Scipio gives the user a coherent summary of locations on the genome that code for the query protein. The output contains information about discrepancies that may result from sequencing errors. Scipio has also successfully been used to find homologous genes in closely related species. Scipio was tested with 979 protein queries against 16 arthropod genomes (intra species search). For cross-species annotation, Scipio was used to annotate 40 genes from Homo sapiens in the primates Pongo pygmaeus abelii and Callithrix jacchus. The prediction quality of Scipio was tested in a comparative study against that of BLAT and the well established program Exonerate. CONCLUSION: Scipio is able to precisely map a protein query onto a genome. Even in cases when there are many sequencing errors, or when incomplete genome assemblies lead to hits that stretch across multiple target sequences, it very often provides the user with the correct determination of intron-exon borders and splice sites, showing an improved prediction accuracy compared to BLAT and Exonerate. Apart from being able to find genes in the genome that encode the query protein, Scipio can also be used to annotate genes in closely related species. Oliver Keller, Florian Odronitz, Mario Stanke, Martin Kollmar, Stephan Waack |
BMC Bioinform. | 5 |
| 2007 | On approximation by XOR-OBDDs
Henrik Brosenne, Carsten Damm, Matthias Homeister, Stephan Waack |
Inf. Process. Lett. | 4 |
| 2006 | Gene prediction in eukaryotes with a generalized hidden Markov model that uses hints from external sourcesabstractBACKGROUND: In order to improve gene prediction, extrinsic evidence on the gene structure can be collected from various sources of information such as genome-genome comparisons and EST and protein alignments. However, such evidence is often incomplete and usually uncertain. The extrinsic evidence is usually not sufficient to recover the complete gene structure of all genes completely and the available evidence is often unreliable. Therefore extrinsic evidence is most valuable when it is balanced with sequence-intrinsic evidence. RESULTS: We present a fairly general method for integration of external information. Our method is based on the evaluation of hints to potentially protein-coding regions by means of a Generalized Hidden Markov Model (GHMM) that takes both intrinsic and extrinsic information into account. We used this method to extend the ab initio gene prediction program AUGUSTUS to a versatile tool that we call AUGUSTUS+. In this study, we focus on hints derived from matches to an EST or protein database, but our approach can be used to include arbitrary user-defined hints. Our method is only moderately effected by the length of a database match. Further, it exploits the information that can be derived from the absence of such matches. As a special case, AUGUSTUS+ can predict genes under user-defined constraints, e.g. if the positions of certain exons are known. With hints from EST and protein databases, our new approach was able to predict 89% of the exons in human chromosome 22 correctly. CONCLUSION: Sensitive probabilistic modeling of extrinsic evidence such as sequence database matches can increase gene prediction accuracy. When a match of a sequence interval to an EST or protein sequence is used it should be treated as compound information rather than as information about individual positions. Mario Stanke, Oliver Schöffmann, Burkhard Morgenstern, Stephan Waack |
BMC Bioinform. | 4 |
| 2006 | Score-based prediction of genomic islands in prokaryotic genomes using hidden Markov modelsabstractBACKGROUND: Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a substantial manner. It is the difference in speed enabling the rapid adaptation to changing environmental demands that distinguishes HGT from gene genesis, duplications or mutations. For a precise characterization, algorithms are needed that identify transfer events with high reliability. Frequently, the transferred pieces of DNA have a considerable length, comprise several genes and are called genomic islands (GIs) or more specifically pathogenicity or symbiotic islands. RESULTS: We have implemented the program SIGI-HMM that predicts GIs and the putative donor of each individual alien gene. It is based on the analysis of codon usage (CU) of each individual gene of a genome under study. CU of each gene is compared against a carefully selected set of CU tables representing microbial donors or highly expressed genes. Multiple tests are used to identify putatively alien genes, to predict putative donors and to mask putatively highly expressed genes. Thus, we determine the states and emission probabilities of an inhomogeneous hidden Markov model working on gene level. For the transition probabilities, we draw upon classical test theory with the intention of integrating a sensitivity controller in a consistent manner. SIGI-HMM was written in JAVA and is publicly available. It accepts as input any file created according to the EMBL-format.It generates output in the common GFF format readable for genome browsers. Benchmark tests showed that the output of SIGI-HMM is in agreement with known findings. Its predictions were both consistent with annotated GIs and with predictions generated by different methods. CONCLUSION: SIGI-HMM is a sensitive tool for the identification of GIs in microbial genomes. It allows to interactively analyze genomes in detail and to generate or to test hypotheses about the origin of acquired genes. Stephan Waack, Oliver Keller, Roman Asper, Thomas Brodag, Carsten Damm, Wolfgang Florian Fricke, Katharina Surovcik, Peter Meinicke, Rainer Merkl |
BMC Bioinform. | 1 |
| 2006 | Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance
Henrik Brosenne, Matthias Homeister, Stephan Waack |
Inf. Process. Lett. | 3 |
| 2006 | Parity graph-driven read-once branching programs and an exponential lower bound for integer multiplication
Beate Bollig, Stephan Waack, Philipp Woelfel |
Theor. Comput. Sci. | 2 |
| 2004 | On relations between counting communication complexity classes
Carsten Damm, Matthias Krause 0001, Christoph Meinel, Stephan Waack |
J. Comput. Syst. Sci. | 4 |
| 2003 | Lower Bounds for General Graph-Driven Read-Once Parity Branching Programs
Henrik Brosenne, Matthias Homeister, Stephan Waack |
MFCS | 3 |
| 2001 | Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds
Henrik Brosenne, Matthias Homeister, Stephan Waack |
MFCS | 3 |
| 2001 | The "log rank" conjecture for modular communication complexity
Christoph Meinel, Stephan Waack |
Comput. Complex. | 2 |
| 2001 | On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams
Stephan Waack |
Inf. Comput. | 1 |
| 1998 | Equivalence Test and Ordering Transformation for Parity-OBDDs of Different Variable Ordering
Jan Behrens, Stephan Waack |
STACS | 2 |
| 1997 | On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams
Stephan Waack |
STACS | 1 |
| 1996 | The "log Rank" Conjecture for Modular Communication Complexity
Christoph Meinel, Stephan Waack |
STACS | 2 |
| 1996 | Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems
Christoph Meinel, Stephan Waack |
Math. Syst. Theory | 2 |
| 1995 | Lower Bounds for the Modular Communication Complexity of Various Graph Accessibility Problems
Christoph Meinel, Stephan Waack |
LATIN | 2 |
| 1995 | Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems
Christoph Meinel, Stephan Waack |
MFCS | 2 |
| 1995 | Variation Ranks of Communication Matrices and Lower Bounds for Depth-Two Circuits Having Nearly Symmetric Gates with Unbounded Fan-In
Matthias Krause 0001, Stephan Waack |
Math. Syst. Theory | 2 |
| 1995 | Separating Complexity Classes Related to Bounded Alternating \omega-Branching Programs
Christoph Meinel, Stephan Waack |
Math. Syst. Theory | 2 |
| 1993 | Separating Complexity Classes Related to Bounded Alternating omega-Branching Programs
Christoph Meinel, Stephan Waack |
ISAAC | 2 |
| 1992 | Separating Counting Communication Complexity Classes
Carsten Damm, Matthias Krause 0001, Christoph Meinel, Stephan Waack |
STACS | 4 |
| 1992 | Branching Programs Provide Lower Bounds on the Areas of Multilective Deterministic and Nondeterministic VLSI-Circuits
Juraj Hromkovic, Matthias Krause 0001, Christoph Meinel, Stephan Waack |
Inf. Comput. | 4 |
| 1991 | Variation Ranks of Communication Matrices and Lower Bounds for Depth Two Circuits Having Symmetric Gates with Unbounded Fan-InabstractAn exponential lower bound for depth two circuits with arbitrary symmetric gates in the bottom level and with a MOD/sub m/-gate in the top level is proved. This solves a problem posed by R. Smolensky (1990). The method uses the variation rank of communication matrices. A variant of this method is used for deriving lower bounds for the size of depth-two circuits having a threshold gate at the top.> Matthias Krause 0001, Stephan Waack |
FOCS | 2 |
| 1991 | Upper and Lower Bounds for Certain Graph-Accessibility Problems on Bounded Alternating Omega-Branching Programs
Christoph Meinel, Stephan Waack |
MFCS | 2 |
| 1991 | On Oblivious Branching Programs of Linear Length
Stephan Waack, Matthias Krause 0001 |
Inf. Comput. | 1 |
| 1991 | Separating the Eraser Turing Machine Classes L_e, NL_e, co-NL_e and P_e
Matthias Krause 0001, Christoph Meinel, Stephan Waack |
Theor. Comput. Sci. | 3 |
| 1990 | The Parallel Complexity of Some Constructions in Combinatorial Group Theory (Abstract)
Stephan Waack |
MFCS | 1 |
| 1989 | On Oblivious Branching Programs of Linear Length (Extended Abstract)
Matthias Krause 0001, Stephan Waack |
FCT | 2 |
| 1988 | Separating the Eraser Turing Machine Classes Le, NLe, co-NLe and Pe
Matthias Krause 0001, Christoph Meinel, Stephan Waack |
MFCS | 3 |
| 1987 | Exponential Lower Bounds for Real-Time Branching Programs
Klaus Kriegel, Stephan Waack |
FCT | 2 |
| 1985 | Lower bounds for Boolean formulae of depth 3 and the topology of the n-cube (preliminary version)
Klaus Kriegel, Stephan Waack |
FCT | 2 |
| 1981 | Tape Complexity of Word Problems
Stephan Waack |
FCT | 1 |