2013 Sauthoff, Georg and Möhl, Mathias and Janssen, Stefan and Giegerich, Robert: Bellman's GAP - a Language and Compiler for Dynamic Programming in Sequence Analysis in Bioinformatics, 2013 2012 Giegerich, Robert and Voss, Björn: RNA Secondary Structure Analysis Using Abstract Shapes in Handbook of RNA Biochemistry, Pages:1-22, Editors: Hartmann, Roland K and Bindereif, Alberecht and Schön, Astrid and Westhoff, Eric, Wiley-VCH, 2012 Janssen, Stefan and Giegerich, Robert: Abstract Shape Analysis of RNA in RNA Bioinformatics, Pages:1-35, Editors: Gorodkin, Jan and Weinberg, Sasha, t.b.a., 2012 Robert Giegerich: Introduction to Stochastic Context Free Grammars in RNA Bioinformatics, Editors: Gorodkin, Jan and Weinberg, Sasha, t.b.a., 2012 Schirmer, Stefanie and Giegerich, Robert: Forest Alignment with Affine Gaps and Anchors, applied in RNA Structure Comparison in Theoretical Computer Science, Pages:1-25, 2012 2011 Giegerich, Robert and Sauthoff, Georg: Yield grammar analysis in the Bellman's GAP compiler in Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications (ACM) , 2011 Linke, B. and Giegerich, R. and Goesmann, A.: Conveyor: a workflow engine for bioinformatic analyses in Bioinformatics, 2011 Reinkensmeier, Jan and Schlüter, Jan-Philip and Giegerich, Robert and Becker, Anke: Conservation and Occurrence of Trans-Encoded sRNAs in the Rhizobiales in GENES, Pages:925-956, 2011 Robert Giegerich and Christian Höner zu Siederdissen: Semantics and Ambiguity of Stochastic RNA Family Models in IEEE/ACM Transactions on Computational Biology and Bioinformatics, 8(2) , Pages:499-516, 2011 Sauthoff, Georg and Janssen, Stefan and Giegerich, Robert: Bellman's GAP: a declarative language for dynamic programming in Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming, Pages:29-40 (ACM) , 2011 Schirmer, Stefanie and Giegerich, Robert: Forest Alignment with Affine Gaps and Anchors in Combinatorial Pattern Matching, Pages:104-117 (Springer) , 2011 2010 Abouelhoda, M.I. and El-Kalioby, M. and Giegerich, R.: WAMI: a web server for the analysis of minisatellite maps in BMC Evolutionary Biology, 10(167) , 2010 Brabrand, Claus and Giegerich, Robert and Møller, Anders: Analyzing Ambiguity of Context-Free Grammars in Science of Computer Programming, 75(3) , Pages:176-191, 2010 Bremges, Andreas and Schirmer, Stefanie and Giegerich, Robert: Fine-tuning structural RNA alignments in the twilight zone in BMC Bioinformatics, 11(1) , Pages:222, 2010 Janssen, Stefan and Giegerich, Robert: Faster computation of exact RNA shape probabilities in Bioinformatics, 26(5) , Pages:632-639, 2010 Schlüter, Jan-Philip and Reinkensmeier, Jan and Daschkey, Svenja and Evguenieva-Hackenberg, Elena and Janssen, Stefan and Jänicke, Sebastian and Becker, Jörg and Giegerich, Robert and Becker, Anke: A genome-wide survey of sRNAs in the symbiotic nitrogen-fixing alpha-proteobacterium Sinorhizobium meliloti in BMC Genomics, 11(1) , Pages:245, 2010 Theis, Corinna and Janssen, Stefan and Giegerich, Robert: Prediction of RNA Secondary Structure Including Kissing Hairpin Motifs in Proceedings of the 10th Workshop on Algorithms in Bioinformatics (WABI 2010), LNBI 6293, Pages:52-64, 2010 2009 Abouelhoda, M. I. and Giegerich, R. and Behzadi, B. and Steyaert, J. M.: Alignment of minisatellite maps based on run-length encoding scheme in J Bioinform Comput Biol, 7(2) , Pages:287-308, 2009 Beckstette, M and Homann, R and Giegerich, R and Kurtz, S: Significant speedup of databae searches with HMMs by search space reduction with PSSM family models in Bioinformatics, 2009 Homann, Robert and Fleer, David and Giegerich, Robert and Rehmsmeier , Marc: mkESA: enhanced suffix array construction tool in Bioinformatics, 25(8) , Pages:1084-1085, 2009 Reeder, J and Giegerich, R: RNA secondary structure analysis using the RNAshapes package in Curr Protoc Bioinformatics, 2009 Steffen, P. and Giegerich, R. and Giraud, M.: GPU Parallelization of Algebraic Dynamic Programming in Proceedings PPAM 2009 (to be published), 2009 2008 Abouelhoda, M.I. and Giegerich, R. and Behzadi, B. and Steyaert, J.-M.: Alignment of Minisatellite Maps: A Minimum Spanning Tree based Approach in Asia Pacific Bioinformatics Conference Kyoto, Japan, 14-17 January 2008, 2008 Giegerich, R. and Brazma, A. and Jonassen, I. and Ukkonen, E. and Vingron, M.: The BREW workshop series: a stimulating experience in PhD education in Briefings in Bioinformatics, 2008 Herold, J. and Kurtz, S. and Giegerich, R.: Efficient computation of absent words in genomic sequences in BMC Bioinformatics, 9, Pages:167, 2008 Janssen, S. and Reeder, J. and Giegerich, R.: Shape based indexing for faster search of RNA family databases in BMC Bioinformatics, 9, Pages:131, 2008 Lamprecht, A-L. and Margaria, T. and Steffen, B. and Sczyrba, A. and Hartmeier, S. and Giegerich, R.: GeneFisher-P: variations of GeneFisher as processes in Bio-jETI in BMC Bioinformatics, 9 Suppl 4, Pages:S13, 2008 Sczyrba, A. and Konermann, S. and Giegerich, R.: Two interactive Bioinformatics courses at the Bielefeld University Bioinformatics Server in Briefings in Bioinformatics, Pages:doi:10.1093/bib/bbm063, 2008 Theis, Corinna and Reeder, Jens and Giegerich, Robert: KnotInFrame: prediction of -1 ribosomal frameshift events in Nucl. Acids Res., 36(18) , Pages:6013-20, 2008 2007 Claus Brabrand and Robert Giegerich and Anders Møller: Analyzing Ambiguity of Context-Free Grammars in Proc. 12th International Conference on Implementation and Application of Automata, CIAA '07, 2007 Hartmeier, S. and Krüger, J. and Giegerich, R.: Webservices and Workflows on the Bielefeld Bioinformatics Server: Practices and Problems in NETTAB 2007 Proceedings, 2007 Reeder, Janina and Reeder, Jens and Giegerich, Robert: Locomotif: from graphical motif description to RNA motif search. in Bioinformatics, 23(13) , Pages:i392, 2007 Reeder, Jens and Steffen, Peter and Giegerich, Robert: pknotsRG: RNA pseudoknot folding including near-optimal structures and sliding windows. in Nucleic Acids Res, 35(Web Server issue) , Pages:W320-4., 2007 2006 Baake, M. and Grimm, U. and Giegerich, R.: Surprises in approximating Levenshtein distances in J. Theor. Biol., 243(2) , Pages:279-82, 2006 Beckstette, M. and Homann, R. and Giegerich, R. and Kurtz, S.: Fast index based algorithms and software for matching position specific scoring matrices in BMC Bioinformatics, 7, Pages:389, 2006 Claus Braband and Robert Giegerich and Anders Møller: Analyzing Ambiguity of Context-Free Grammars, BRICS No. RS-06-09, 2006 Gerlach, W. and Giegerich, R.: GUUGle: a utility for fast exact matching under RNA complementary rules including G-U base pairing in Bioinformatics, 22(6) , Pages:762-764, 2006 Giegerich, R. and Steffen, P.: Challenges in the Compilation of a Domain Specific Language for Dynamic Programming in Proceedings of the 2006 ACM Symposium on Applied Computing, 2006 Höchsmann, T. and Höchsmann, M. and Giegerich, R.: Thermodynamic Matchers: Strengthening the Significance of RNA Folding Energies in Proceedings of the IEEE Computational Systems Bioinformatics Conference (CSB 2006), Pages:111-121, 2006 Reeder, Janina and Giegerich, Robert: A graphical programming system for molecular motif search in GPCE '06: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, Pages:131-140 (ACM Press) , 2006 Reeder, Jens and Höchsmann, Matthias and Rehmsmeier, Marc and Voß, Björn and Giegerich, Robert: Beyond Mfold:Recent advances in RNA bioinformatics in Journal of Biotechnology, 124(1) , Pages:41-55, 2006 Seibel, P.N. and Schwarzer, K. and Krüger, J. and Hartmeier, S. and Löwenthal, K. and Mersch, H. and Dandekar, T. and Giegerich, R.: XML schemas for common bioinformatic data types and their application in workflow systems in BMC Bioinformatics, 7, Pages:490, 2006 Steffen, P. and Giegerich, R.: Table Design in Dynamic Programming in Information and Computation, 204(9) , Pages:1325-1345, 2006 Steffen, Peter and Voß, Björn and Rehmsmeier, Marc and Reeder, Jens and Giegerich, Robert: RNAshapes: an integrated RNA analysis package based on abstract shapes. in Bioinformatics, 22(4) , Pages:500-503, 2006 Voß, Björn and Giegerich, Robert and Rehmsmeier, Marc: Complete probabilistic analysis of RNA shapes. in BMC Biol, 4(1) , Pages:5, 2006 2005 Malde, K. and Giegerich, R.: Calculating PSSM Probabilities with Lazy Dynamic Programming in J. Functional Programming, 16(1) , Pages:1-7, 2005 Reeder, Janina and Steffen, Peter and Giegerich, Robert: Effective ambiguity checking in biosequence analysis in BMC Bioinformatics, 6(153) , 2005 Reeder, Jens and Giegerich, Robert: Consensus shapes: an alternative to the Sankoff algorithm for RNA consensus structure prediction. in Bioinformatics, 21(17) , Pages:3516-3523, 2005 Sczyrba, A.* and Beckstette, M.* and Brivanlou, A.H. and Giegerich, R. and Altmann, C.R.: XenDB: Full Length cDNA Prediction and Cross Species Mapping in Xenopus laevis in BMC Genomics, 6, Pages:123, 2005 Steffen, Peter and Giegerich, Robert: Versatile and declarative dynamic programming using pair algebras. in BMC Bioinformatics, 6(1) , Pages:224, 2005 2004 Giegerich, R. and Stoye, J.: German Conference on Bioinformatics (GI-Edition) , 2004 B. Voss and C. Meyer and R. Giegerich: Evaluating the Predictability of Conformational Switching in RNA in Bioinformatics, 20, Pages:1573-1582, 2004 Beckstette, M. and Mailänder, J.T. and Marhöfer, R.J. and Sczyrba, A. and Ohlebusch, E. and Giegerich, R. and Selzer, P.M.: Genlight: Interactive high-throughput sequence analysis and comparative genomics in Journal of Integrative Bioinformatics, 0008, 2004 Beckstette, M. and Strothmann, D. and Homann, R. and Giegerich, R. and Kurtz, S.: PoSSuMsearch: Fast and Sensitive Matching of Position Specific Scoring Matrices using Enhanced Suffix Arrays in Proceedings of the German Conference on Bioinformatics, Pages:53-64 (GI Lecture Notes in Informatics) , 2004 Choudhuri, J. and Schleiermacher, C. and Kurtz, S. and Giegerich, R.: Genalyzer: Interactive Visualization of Sequence Similarities Between Entire Genomes in Bioinformatics, 20, Pages:1964-1965, 2004 Gardner, P.P. and Giegerich, R.: A comprehensive comparison of comparative RNA structure prediction approaches in BMC Bioinformatics, 5(140) , 2004 Giegerich, R. and Meyer, C. and Wagner, H.: A Combinator Based Approach to the Combinatorics of Recursive Structures, 2004(submitted) Giegerich, Robert and Meyer, Carsten and Steffen, Peter: A discipline of dynamic programming over sequence data. in Science of Computer Programming, 51(3) , Pages:215-263, 2004 Giegerich, Robert and Voß, Björn and Rehmsmeier, Marc: Abstract shapes of RNA in Nucleic Acids Research, 32(16) , Pages:4843, 2004 Höchsmann, M. and Voss, B. and Giegerich, R.: Pure Multiple RNA Secondary Structure Alignments: A Progressive Profile Approach in IEEE/ACM Transactions on Computational Biology and Bioinformatics, 1(1) , Pages:53-62, 2004 Krüger, Jan and Sczyrba, Alexander and Kurtz, Stefan and Giegerich, Robert: e2g: an interactive web-based server for efficiently mapping large EST and cDNA sets to genomic sequences in Nucl. Acids. Res., 32(suppl 2) , Pages:W301-304, 2004 Reeder, Jens and Giegerich, Robert: Design, implementation and evaluation of a practical pseudoknot folding algorithm based on thermodynamics. in BMC Bioinformatics, 5, Pages:104, 2004 Rehmsmeier, M. and Steffen, P. and Höchsmann, M. and Giegerich, R.: Fast and effective prediction of microRNA/target duplexes in RNA, 10, Pages:1507-1517, 2004 Sczyrba, A. and Beckstette, M. and Giegerich, R. and Altman, C.: Identification of 10,500 Xenopus laevis Full Length Clones through EST Clustering and Sequence Analysis in Proceedings of the German Conference on Bioinformatics (GI Lecture Notes in Informatics) , 2004 2003 Beckstette, M. and Mailaender, J. and Giegerich, R. and Selzer, P.M.: G-enlight: Interactive high-throughput sequence analysis and (differential) comparative genomics in Poster abstracts of the 9th Pacific Symposium on Biocomputing, Lihue, USA, 2003, 2003 Dress, A. and Giegerich, R. and Grünewald, S. and Wagner,H.: Fibonacci-Cayley-numbers and Repetition Patterns in Genomic DNA in Annals of Combinatorics, Pages:259-279, 2003 Giegerich, Robert and Kurtz, Stefan and Stoye, Jens: Efficient implementation of lazy suffix trees in Software Practice and Experience, 33(11) , Pages:1035-1049, 2003 Höchsmann,M. and Töller, T. and Giegerich, R. and Kurtz, S.: Local Similarity in RNA Secondary Structures in Proceedings of the IEEE Computational Systems Bioinformatics Conference (CSB 2003), Pages:159-168, 2003 Meyer, F. and Goesmann, A. and McHardy, A. and Bartels, D. and Bekel, T. and Clausen, J. and Kalinowski, J. and Linke, B. and Rupp, O. and Giegerich, R. and Pühler, A.: GenDB - An open source genome annotation system for prokaryote genomes in Nucleic Acids Res., 31(8) , Pages:2187-2195, 2003 Sczyrba, A. and Krüger, J. and Mersch, H. and Kurtz, S. and Giegerich, R.: RNA-related tools on the Bielefeld Bioinformatics Server in Nucleic Acids Research, 31(13) , Pages:3767-3770, 2003 2002 Giegerich, R. and Meyer, C.: Algebraic Dynamic Programming in Algebraic Methodology And Software Technology, 9th International Conference, AMAST 2002, Pages:349-364 (Springer) , 2002 Giegerich, R. and Meyer, C. and Steffen, P.: Towards a discipline of dynamic programming in Informatik bewegt, Pages:3-44 (Bonner Köllen Verlag) , 2002 Giegerich, R. and Steffen, P.: Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm in Mathematics of Program Construction, Pages:1-20 (LNCS 2386) , 2002 Goesmann, A. and Haubrock, M. and Meyer, F. and Kalinowski, J. and Giegerich, R.: PathFinder: Reconstruction and dynamic visualization of metabolic pathways in Bioinformatics, 18, Pages:124-129, 2002 Meyer, C. and Giegerich, R.: Matching and Significance Evaluation of Sequence-Structure Patterns in RNA in J. Physical Chemistry, 216, Pages:1-24, 2002 2001 Evers, D. and Giegerich, R.: Reducing the Conformation Space in RNA Structure Prediction in German Conference on Bioinformatics, Pages:118-124, 2001 Fuellen, G. and Wägele, J.W. and Giegerich, R.: Minimum Conflict - A Divide-And-Conquer Approach to Phylogeny Estimation in Bioinformatics, 17, Pages:1168-1178, 2001 Fuellen, G. and Wägele, J.W. and Giegerich, R.: Best Systematist Practice Tranferred to Molecular Data in Organisms, Diversity and Evolution, 1, Pages:257-272, 2001 Fuellen, G. and Wägele, J.W. and Giegerich, R.: Minimum Conflict - A Divide-And-Conquer Approach to Phylogeny Estimation in Bioinformatics, 17, Pages:1168-1178, 2001 Kurtz, S. and Choudhuri, J.V. and Ohlebusch, E. and Schleiermacher, C. and Stoye, J. and Giegerich, R.: REPuter: the Manifold Applications of Repeat Analysis on a Genomic Scale in Nucleic Acids Res., 29(22) , Pages:4633-4642, 2001 2000 Evers, D. and Giegerich, R.: Systematic Dynamic Programming in Bioinformatics in Intelligent Systems for Molecular Biology (Tutorial Notes) (AAAI Press, Menlo Park, CA, USA) , 2000 Giegerich, R.: A Systematic Approach to Dynamic Programming in Bioinformatics in Bioinformatics, 16, Pages:665-677, 2000 Giegerich, R.: Explaining and Controlling Ambiguity in Dynamic Programming in Proc. Combinatorial Pattern Matching, Pages:46-59 (Springer) , 2000 Giegerich, Robert and Evers, Dirk: Bioinformatik: Jäger, Sammler und Forscher im Daten-Dschungel der Molekularbiologie in BIOforum, 1-2, Pages:30-32, 2000 Kurtz, S. and Ohlebusch, E. and Schleiermacher, C. and Stoye, J. and Giegerich, R.: Computation and Visualization of Degenerate Repeats in Complete Genomes in Proc. of the International Conference on Intelligent Systems for Molecular Biology, Pages:228-238 (AAAI Press) , 2000 1999 Giegerich, R. and Wingender, E.: German Conference on Bioinformatics (GBF Braunschweig) , 1999 Bütow, B. and Giegerich, R. and Ohlebusch, E. and Thesing, S.: Semantic Matching for Left-Linear Convergent Rewrite Systems in The Journal of Functional and Logic Programming, 1999(10) , 1999 Evers, D. and Giegerich, R.: RNA Movies: Visualizing RNA Secondary Structure Spaces in Bioinformatics, 15(1) , Pages:32-37, 1999 Evers, D. and Giegerich, R. and Kurtz, S.: A General Pattern Matching Language for Specific Motifs in RNA Secondary Structure in Proc. of the 4th European Conference on Theory and Mathematics in Biology and Medicine, 1999 Giegerich, R.: Towards a Discipline of Dynamic Programming in Bioinformatics. Parts 1 and 2: Sequence Comparison and RNA Folding, Technische Fakultät, Universität Bielefeld, Report 99-05, 1999 Giegerich, R. and Hinze, R. and Kurtz, S.: Straight to the Heart of Computer Science via Functional Programming in Proceedings of the Workshop on Functional and Declarative Programming in Education, Pages:1-5 (Technical Report Rice COMP TR99-346, Department of Computer Science, Rice University, Editor: Matthias Felleisen) , 1999 Giegerich, R. and Kurtz, S. and Stoye, J.: Efficient Implementation of Lazy Suffix Trees in Proc. of the Third Workshop on Algorithmic Engineering (WAE99), Pages:30-42 (Lecture Notes in Computer Science 1668) , 1999 Giegerich, R. and Kurtz, S. and Weiller, G.F.: An Algebraic Dynamic Programming Approach to the Analysis of Recombinant DNA Sequences in Proceedings of Workshop on Algorithmic Ascpects of Advanced Programming Languages (WAAAPL), Paris, September 1999, Pages:77-88, 1999 Giegerich, Robert and Haase, Dirk and Rehmsmeier, Marc: Prediction and Visualization of Structural Switches in RNA in Proc. 1999 Pacific Symposium on Biocomputing, Pages:126-137 (World Scientific) , 1999 1998 Evers, D. and Giegerich, R.: Bioinformatik - Jäger, Sammler und Forscher im Datendschungel der Molekularbiologie, 1998 Giegerich, R.: A Declarative Approach to the Development of Dynamic Programming Algorithms, Applied to RNA Folding, Technische Fakultät, Universität Bielefeld, Report 98-02, 1998 Giegerich, Robert and Lorenz, Dieter: ViSeL - An Interactive Course in DNA Sequencing in Proceedings Workshop on Multimedia Systeme in Wissenschaft und Technik, 1998 1997 Fuellen, G. and Giegerich, R.: International, interdisziplinär und interaktiv: Der VSNS-Kurs über BioComputing in Proceedings: Virtueller Campus, Pages:77-89 (Waxmann) , 1997 Giegerich, R. and Hischke, F. and Kurtz, S. and Ohlebusch, E.: A General Technique to Improve Filter Algorithms for Approximate String Matching in Proc. of Fourth South American Workshop on String Processing, Valparaiso, Chile, Pages:38-52, 1997 Giegerich, R. and Hofestädt, R. and Lipinski, W. and Schomburg, D. and Werner, T.: Curricularempfehlung zur Bioinformatik (1997), 1997 Giegerich, R. and Kurtz, S.: From Ukkonen to McCreight and Weiner: A Unifying View of Linear-Time Suffix Tree Construction in Algorithmica, 19, Pages:331-353, 1997 Hermjakob, H. and Giegerich, R. and Arnold, W.: RIFLE: Rapid Identification of Microorganisms by Fragment Length Evaluation in Proc. Intelligent Systems for Molecular Biology, Pages:131-137 (AAAI Press, Menlo Park, CA, USA) , 1997 1996 Bueschking, C. and Giegerich, R.: Sequenzanalyse mit verteilten Ressourcen - ein WWW-basierter Kurs in it + ti, 38(5) , Pages:39 - 46, 1996 De La Vega, F. and Giegerich, R. and Fuellen, G.: Distance Education through the Internet: The GNA-VSNS Biocomputing Course in Proceedings of Pacific Symposium on Bioccomputing, Pages:203-215, 1996 Giegerich, R. and Hischke, F. and Kurtz, S. and Ohlebusch, E.: Static and Dynamic Filtering Methods for Approximate String Matching, Technische Fakultät, Universität Bielefeld, Report 96-01, 1996 Giegerich, R. and Meyer, F. and Schleiermacher, C.: GeneFisher - Software Support for the Detection of Postulated Genes in Proc. Intelligent Systems for Molecular Biology, Pages:68-77 (AAAI Press, Menlo Park, CA, USA) , 1996 Grüner, W. and Giegerich, R. and Strothmann, D. and Reidys, C. and Weber, J. and Hofacker, I.L. and Stadler, P.F. and Schuster, P.: Analysis of RNA Sequence Structure Maps by Exhaustive Enumeration I. Neutral Networks in Chemical Monthly, 127, Pages:355-374, 1996 Grüner, W. and Giegerich, R. and Strothmann, D. and Reidys, C. and Weber, J. and Hofacker, I.L. and Stadler, P.F. and Schuster, P.: Analysis of RNA Sequence Structure Maps by Exhaustive Enumeration II. Structure of Neutral Networks and Shape Space Covering in Chemical Monthly, 127, Pages:375-389, 1996 1995 Bütow, B. and Giegerich, R. and Ohlebusch, E. and Thesing, S.: A New Strategy for Semantic Matching in Programming Languages: Implementations, Logics and Programs, Pages:81-96 (Springer) , 1995 Giegerich, R. and Kurtz, S.: A Comparison of Imperative and Purely Functional Suffix Tree Constructions in Science of Computer Programming, 25(2-3) , Pages:187-218, 1995 Grüner, W. and Giegerich, R. and Strothmann, D.: Algorithmic Representation of Large RNA Folding Landscapes in Bioinformatics: From Nucleic Acids and Proteins to Cell Metabolism; GBF Monographs Volume 18, 1995 1994 Giegerich, R.: Algorithmen auf Sequenzen, 1994 Giegerich, R.: Personal Communication, 1994 Giegerich, R. and Kurtz, S.: A Comparison of Imperative and Purely Functional Suffix Tree Constructions, Technische Fakultät, Universität Bielefeld, Report No. 14, 1994 Giegerich, R. and Kurtz, S.: Suffix Trees in the Functional Programming Paradigm in Proceedings of the European Symposium on Programming (ESOP'94), Pages:225-240 (Springer) , 1994 1993 Brehme, B. and Giegerich, R.: So zählt Miranda, 1993 Giegerich, R. and Kurtz, S.: Suffix Trees in the Functional Programming Paradigm, Technische Fakultät, Universität Bielefeld, Report Nr. 12, 1993 1992 Giegerich, R. and Graham, S.L.: Workshop on Code Generation - Concepts, Tools and Techniques (Springer) , 1992 Cruse, H. and Giegerich, R. and Hinze, J. and Schepper, W.: Der Studiengang Naturwissenschaftliche Informatik an der Universität Bielefeld, Technische Fakultät, Universität Bielefeld, Interner Bericht, 1992 Giegerich, R.: Considerate Code Selection, Pages:51-65, 1992 Giegerich, R.: Embedding Sequence Analysis in the Functional Programming Paradigm - A Feasibility Study, Technische Fakultät, Universität Bielefeld, Report Nr. 8, 1992 1991 Giegerich, R. and Ohlebusch, E.: An Implicit Representation of Infinite Sequences of Terms in Bulletin of the EATCS, 43, Pages:174-182, 1991 1990 Giegerich, R.: Code Selection by Inversion of Order-Sorted Derivors in Theoretical Computer Science, 73, Pages:177-211, 1990 Giegerich, R.: On the Structure of Verifiable Code Generator Specifications in Proc. SIGPLAN `90 Conference on Programming Language Design and Implementation, Pages:1-8 (SIGPLAN NOTICES 25(6)) , 1990 1988 Giegerich, R.: Composition and Evaluation of Attribute Coupled Grammars in Acta Informatica, 25, Pages:355-423, 1988 Giegerich, R. and Schmal, K.: Code Selection Techniques: Pattern Matching, Tree Parsing and Inversion of Derivors in Proc. European Symposium on Programming 1988, Pages:247-268 (Springer) , 1988 1987 Ganzinger, H. and Giegerich, R.: A Note on Termination of Combinations of Heterogeneous Term Rewriting Systems in Bulletin of the EATCS, 31, Pages:22-28, 1987 1985 Giegerich, R.: Logic Specification of Code Generation Techniques in Workshop on Programs as Data Objects, Pages:96-111 (Springer) , 1985 1984 Ganzinger, H. and Giegerich, R.: Attribute Coupled Grammars in Proc. of the ACM Symposium on Compiler Construction, Pages:157-170 (SIGPLAN NOTICES 19(6)) , 1984 1983 Giegerich, R.: A Formal Framework for the Derivation of Machine-Specific Optimizers in ACM Transactions on Programming Languages and Systems, 5(3) , Pages:478-498, 1983 1982 Giegerich, R.: A Formal Model of Instruction Set Semantics in 7.~Fachtagung Programmiersprachen und Programmentwicklung, Pages:177-190 (Springer Informatik Fachberichte 53) , 1982 Giegerich, R. and Ganzinger, H. and Möncke, U. and Wilhelm, R.: A Truly Generative Semantics-Directed Compiler Generator in Proceedings of the ACM Symposium on Compiler Construction, Boston, Pages:172-184 (SIGPLAN Notices 17(6)) , 1982 Giegerich, R. and Möncke, U. and Wilhelm, R.: Invariance of Approximate Semantics with Respect to Program Transformations in Proceedings of GI-11.~Jahrestagung, M"unchen, Pages:1-10 (Springer) , 1982 1981 Giegerich, R.: Automatische Erzeugung von Maschinencode-Optimierern, Institut für Informatik, TU München, 1981 1978 Giegerich, R. and Wilhelm, R.: Attribute Evaluation in State of the Art and Future Trends in Compilation (INRIA, Paris) , 1978 Giegerich, R. and Wilhelm, R.: Counter-one-pass Features in One-pass Compilation: A Formalization Using Attribute Grammars in Information Processing Letters, 7(6) , Pages:279-284, 1978 Wed Mar 27 12:16:18 CET 2013