The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase algorithm-based fault tolerance (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1993 (18) 1994-1996 (15) 1997-2001 (15) 2003-2011 (17) 2012 (2)
Publication types (Num. hits)
article(43) inproceedings(24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 209 occurrences of 109 keywords

Results
Found 67 publication records. Showing 67 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
3Hee Yong Youn, Choong Gun Oh, Hyunseung Choo, Jin-Wook Chung, Dongman Lee An Efficient Algorithm-Based Fault Tolerance Design Using the Weighted Data-Check Relationship. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Hamming correcting code, VLSI processor array, Algorithm-based fault tolerance, overflow, matrix computations, round-off error
3De-Qiang Wang, Lian-Chang Zhao Combinatorial Analysis of Check Set Construction for Algorithm-Based Fault Tolerance Systems. Search on Bibsonomy J. Electronic Testing The full citation details ... 1998 DBLP  DOI  BibTeX  RDF check set, error detecting, algorithm-based fault tolerance, combinatorial problem
3Andrew M. Tyrrell Recovery Blocks and Algorithm-Based Fault Tolerance. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF numerical processing, added redundancy, acceptability check, error detection, software fault tolerance, algorithm-based fault tolerance, recovery blocks, time overhead
3Jennifer Rexford, Niraj K. Jha Partitioned Encoding Schemes for Algorithm-Based Fault Tolerance in Massively Parallel Systems. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF error detectioncodes, massivelyparallel systems, partitioned encoding, matrix algorithms, partitionedscheme, checksum code, scalability, parallel architectures, fault tolerant computing, software reliability, error correction codes, error detection, error correction, matrix algebra, algorithm based fault tolerance, ABET, transient errors
3Douglas M. Blough, Andrzej Pelc Almost Certain Fault Diagnosis Through Algorithm-Based Fault Tolerance. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF failureanalysis, almost certain fault diagnosis, multiprocessorsystems, incorrect computations, concurrent error detection mechanisms, erroneous dataelements, reliability, fault tolerant computing, multiprocessing systems, error detection, probabilistic analysis, concurrent error detection, algorithm-based fault tolerance
2Zizhong Chen, Jack Dongarra Algorithm-Based Fault Tolerance for Fail-Stop Failures. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Zizhong Chen Extending algorithm-based fault tolerance to tolerate fail-stop failures in high performance distributed environments. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2G. Robert Redinbo, Cung Nguyen Protecting Wavelet Lifting Transforms. Search on Bibsonomy PRDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF weighted sum parity, real number codes, error gain matrices, dual space functionals, bi-orthogonality, Wavelet transforms, concurrent error detection, algorithm-based fault tolerance
2Richard Conway, John Nelson New CRT-Based RNS Converter Using Restricted Moduli Set. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF error analysis, Algorithm-based fault tolerance, result checking, aerospace, parallel numerical algorithms
2Amitabh Mishra, Prithviraj Banerjee An Algorithm-Based Error Detection Scheme for the Multigrid Method. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF rounding error analysis, parallel, error detection, partial differential equations, Algorithm-Based Fault Tolerance, multigrid method
2Michael J. Turmon, Robert Granat, Daniel S. Katz, John Z. Lou Tests and Tolerances for High-Performance Software-Implemented Fault Detection. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF error analysis, Algorithm-based fault tolerance, result checking, aerospace, parallel numerical algorithms
2Ahmad A. Al-Yamani, Nahmsuk Oh, Edward J. McCluskey Performance Evaluation of Checksum-Based ABFT. (PDF / PS) Search on Bibsonomy DFT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ABFT, Computation capacity, Performace evaluation, Data processing recovery schemes, Algorithm-based fault tolerance, Checksum, Early detection
2Paula Prata, João Gabriel Silva Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations. Search on Bibsonomy FTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ABFT, Error Detection, Fault injection, Result-checking, Matrix operations
2G. Robert Redinbo Generalized Algorithm-Based Fault Tolerance: Error Correction via Kalman Estimation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1998 DBLP  DOI  BibTeX  RDF fault-tolerant linear processing, Kalman recursive filtering, mean-square error estimation, real convolutional codes, real number error correction, time-varying fault models, totally self-checking comparators, Algorithm-based fault tolerance
2Shalini Yajnik, Niraj K. Jha Graceful Degradation in Algorithm-Based Fault Tolerant Multiprocessor Systems. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF concurrent fault location, fault diagnosis, concurrent error detection, transient faults, graceful degradation, Algorithm-based fault tolerance
2Shalini Yajnik, Niraj K. Jha Analysis and Randomized Design of Algorithm-Based Fault Tolerant Multiprocessor Systems Under an Extended Model. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF concurrent fault location, fault diagnosis, randomized algorithms, concurrent error detection, transient faults, Algorithm-based fault tolerance
2Shantanu Dutt, Fikri T. Assaad Mantissa-Preserving Operations and Robust Algorithm-Based Fault Tolerance for Matrix Computations. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1996 DBLP  DOI  BibTeX  RDF floating-point checksum test, hybrid checksum test, mantissa checksum test, mantissa-preserving operations, thresholding, matrix multiplication, Algorithm-based fault tolerance, roundoff errors, LU decomposition
2Sying-Jyan Wang, Niraj K. Jha Algorithm-Based Fault Tolerance for FFT Networks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1994 DBLP  DOI  BibTeX  RDF FFT networks, system-level fault tolerance technique, reliability, fault tolerant computing, fast Fourier transforms, high throughput, algorithm-based fault tolerance
2Gui Liang Feng, T. R. N. Rao, Mahadev S. Kolluru Error Correcting Codes over Z_{2^m} for Algorithm Based Fault Tolerance. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1994 DBLP  DOI  BibTeX  RDF low-cost error protection, real-time digital signal processing, encoding data, error correction codes, error correcting codes, encoding, decoding, algorithm-based fault tolerance, fixed-point arithmetic
2D. L. Tao, Eugene Foo, Carlos R. P. Hartmann A new algorithm-based fault tolerance technique for computing matrix operations. Search on Bibsonomy SPDP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
2Kuang-Hua Huang, Jacob A. Abraham Algorithm-Based Fault Tolerance for Matrix Operations. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1984 DBLP  DOI  BibTeX  RDF checksum matrix, error detection, systolic arrays, error correction, processor arrays, Algorithm-based fault tolerance, transient errors, multiple processor systems, matrix operations
1Hodjat Hamidi, Abbas Vafaei, Seyed Amir Hassan Monadjemi Analysis and Evaluation of a New Algorithm Based Fault Tolerance for Computing Systems. Search on Bibsonomy IJGHPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peng Du, Aurelien Bouteiller, George Bosilca, Thomas Hérault, Jack Dongarra Algorithm-based fault tolerance for dense matrix factorizations. Search on Bibsonomy PPOPP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Erlin Yao, Mingyu Chen, Rui Wang, Wenli Zhang, Guangming Tan A New and Efficient Algorithm-Based Fault Tolerance Scheme for A Million Way Parallelism Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabian Oboril, Mehdi Baradaran Tahoori, Vincent Heuveline, Dimitar Lukarski, Jan-Philipp Weiss Numerical Defect Correction as an Algorithm-Based Fault Tolerance Technique for Iterative Solvers. Search on Bibsonomy PRDC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ronaldo Rodrigues Ferreira, Alvaro Freitas Moreira, Luigi Carro Matrix control-flow algorithm-based fault tolerance. Search on Bibsonomy IOLTS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1G. Robert Redinbo Wavelet Codes for Algorithm-Based Fault Tolerance Applications. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Claus Braun, Hans-Joachim Wunderlich Algorithmen-basierte Fehlertoleranz für Many-Core-Architekturen (Algorithm-based Fault-Tolerance on Many-Core Architectures). Search on Bibsonomy it - Information Technology The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Claus Braun, Hans-Joachim Wunderlich Algorithm-based fault tolerance for many-core architectures. Search on Bibsonomy European Test Symposium The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1George Bosilca, Remi Delmas, Jack Dongarra, Julien Langou Algorithm-based fault tolerance applied to high performance computing. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Roche, Mathieu Cunche, Jean-Louis Roch Algorithm-Based Fault Tolerance Applied to P2P Computing Networks. Search on Bibsonomy AP2PS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zizhong Chen, Jack Dongarra Algorithm-based checkpoint-free fault tolerance for parallel matrix computations on volatile resources. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cung Nguyen, G. Robert Redinbo Fault Tolerance Design in JPEG 2000 Image Compression System. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fault-tolerant source coding, JPEG 2000 standard, hardware reliability, weighted sum parity, data compression, Discrete Wavelet Transform (DWT), Soft errors, concurrent error detection, Huffman coding, error control codes, algorithm-based fault tolerance, error-checking
1G. Robert Redinbo Failure-Detecting Arithmetic Convolutional Codes and an Iterative Correcting Strategy. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF convolutional codes over integers, free modules, burst-correcting codes, real number codes, Algorithm-based fault tolerance, iterative decoding, fixed-point arithmetic, syndrome decoding
1G. Robert Redinbo Concurrent Error Detection in Fast Unitary Transform Algorithms. Search on Bibsonomy DSN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF numerical error detection, real number parity values, fast discrete cosine transform, fast Fourier transform, Algorithm-based fault tolerance
1Michael J. Turmon, Robert Granat, Daniel S. Katz Software-Implemented Fault Detection for High-Performance Space Applications. Search on Bibsonomy DSN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF tolerance setting, space, Algorithm based fault tolerance, result checking, checksum
1Maurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications. (PDF / PS) Search on Bibsonomy DFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based Fault Tolerance. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Amitabh Mishra, Prithviraj Banerjee An Algorithm Based Error Detection Scheme for the Multigrid Algorithm. Search on Bibsonomy FTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Algorithm Based fault Tolerance (ABFT), Parallel, Error Detection, Multigrid Method
1G. Robert Redinbo, Ranjit Manomohan Fault Tolerance, Channel Coding and Arithmetic Source Coding Combined. Search on Bibsonomy FTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Fault-tolerant data compression, burst-detecting convolutional codes, combined source channel coding, arithmetic coding, algorithm-based fault tolerance, hardware failures
1K. N. Balasubramanya Murthy, K. Bhuvaneswari, C. Siva Ram Murthy A New Algorithm Based on Givens Rotations for Solving Linear Equations on Fault-Tolerant Mesh-Connected Processors. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF fault tolerance, parallel algorithm, Linear equations, mesh-connected processor array, Givens rotations
1D. L. Tao, Kamal Kantawala Evaluating Reliability Improvements of Fault Tolerant Array Processors Using Algorithm-Based Fault Tolerance. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1V. S. S. Nair, Jacob A. Abraham, Prithviraj Banerjee Efficient Techniques for the Analysis of Algorithm-Based Fault Tolerance (ABFT) Schemes. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Amber Roy-Chowdhury, Prithviraj Banerjee Algorithm-Based Fault Location and Recovery for Matrix Computations on Multiprocessor Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1996 DBLP  DOI  BibTeX  RDF fault location, Algorithm-based fault-tolerance, system level diagnosis, coding theory, fault recovery, parallel numerical algorithms
1Amber Roy-Chowdhury, Nikolas Bellas, Prithviraj Banerjee Algorithm-Based Error Detection Schemes for Iterative Solution of Partial Differential Equations. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1996 DBLP  DOI  BibTeX  RDF parallel algorithms, fault injection, partial differential equations, error analysis, Algorithm-based fault-tolerance
1D. L. Tao, Carlos R. P. Hartmann, Yunghsing S. (Sam) Han New Encoding/Decoding Methods for Designing Fault-Tolerant Matrix Operations. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF concurrent error detection/correction, error detecting/correcting codes, fault tolerance, multiprocessor systems, Array processors
1Choong Gun Oh, Hee Yong Youn, Vijay K. Raj An Efficient Algorithm-Based Concurrent Error Detection for FFT Networks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1995 DBLP  DOI  BibTeX  RDF checksum scheme, multidimensional FFT network, VLSI, fast Fourier transform, fault coverage, concurrent error detection, Algorithm-based fault tolerance
1Josef Altmann, A. Böhm Algorithm-based fault-tolerant programming in scientific computation on multiprocessors. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF algorithm-based fault-tolerant programming, parallel run-time environment, error processing techniques, execution time overhead, master/slave programming model, parallel algorithms, parallel algorithms, parallel programming, multiprocessors, programming environments, multiprocessing systems, scientific computation, software fault tolerance
1Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi Construction of Check Sets for Algorithm-Based Fault Tolerance. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Javed I. Khan, Woei Lin, David Y. Y. Yun Adaptive Algorithm-Based Fault Tolerance for Parallel Computing. Search on Bibsonomy ICPP The full citation details ... 1994 DBLP  BibTeX  RDF
1Bapiraju Vinnakota, Niraj K. Jha Design of Algorithm-Based Fault-Tolerant Multiprocessor Systems for Concurrent Error Detection and Fault Diagnosis. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF fault-tolerant multiprocessor systems, algorithm-basedmultiprocessor systems, algorithm-based faulttolerance, low-overhead system-level error detection, fault location scheme, ABFTsystems, design procedure, data element sharing, ABFT system design, reliability, fault diagnosis, fault tolerant computing, multiprocessing systems, fault location, system recovery, concurrent error detection, parallelarchitectures
1Daniel J. Rosenkrantz, S. S. Ravi Improved Bounds for Algorithm-Based Fault Tolerance. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ragini Shamsunder, Daniel J. Rosenkrantz, S. S. Ravi Exploiting Data Flow Information in Algorithm-Based Fault Tolerance. Search on Bibsonomy FTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ramesh K. Sitaraman, Niraj K. Jha Optimal Design of Checks for Error Detection and Location in Fault-Tolerant Multiprocessor Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1993 DBLP  DOI  BibTeX  RDF error location, optimal design of checks, fault-tolerant multiprocessor systems, RANDGEN, arbitrary data-check, majority diagnosability, UNIFGEN, uniform checks, fault tolerant computing, multiprocessing systems, error detection, error detection, algorithm-based fault tolerance
1D. L. Tao, Carlos R. P. Hartmann A Novel Concurrent Error Detection Scheme for FFT Networks. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF concurrent error detection scheme, FFT networks, algorithm-based fault tolerancetechniques, digital signalprocessing chips, fault tolerant computing, fast Fourier transforms, error detection, fault coverage, system performance, roundoff errors, round-off errors
1Bapiraju Vinnakota, Niraj K. Jha Synthesis of Algorithm-Based Fault-Tolerant Systems from Dependence Graphs. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF algorithm-based fault-tolerant systems, computation-intensive tasks, ABFT scheme, synthesis method, fault-tolerant median filter, reliability, graph theory, parallel architectures, fault tolerant computing, dependence graphs, parallelarchitectures
1Karl-Heinz Zimmermann, Tien-Chien Lee, Sun-Yuan Kung On partitioning and fault tolerance issues for neural array processors. Search on Bibsonomy VLSI Signal Processing The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Yao-Ming Yeh, Tse-Yun Feng Algorithm-Based Fault Tolerance for Matrix Inversion with Maximum Pivoting. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Vijay Balasubramanian, Prithviraj Banerjee CRAFT: Compiler-Assisted Algorithm-Based Fault Tolerance in Distributed Memory Multiprocessors. Search on Bibsonomy ICPP The full citation details ... 1991 DBLP  BibTeX  RDF
1Prithviraj Banerjee, Joseph T. Rahmeh, Craig B. Stunkel, V. S. S. Nair, Kaushik Roy, Vijay Balasubramanian, Jacob A. Abraham Algorithm-Based Fault Tolerance on a Hypercube Multiprocessor. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Intel iPSC hypercube, fault tolerance, parallel architectures, fault tolerant computing, fast Fourier transform, multiprocessing systems, error detection, matrix multiplication, Gaussian elimination, multiprocessor architecture, hypercube multiprocessor, faulty processors
1Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi Design and analysis of test schemes for algorithm-based fault tolerance. Search on Bibsonomy FTCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Robert B. Mueller-Thuns, David McFarland, Prithviraj Banerjee Algorithm-Based Fault Tolerance for Adaptive Least Squares Lattice Filtering on a Hypercube Multiprocessor. Search on Bibsonomy ICPP The full citation details ... 1989 DBLP  BibTeX  RDF
1Cynthia J. Anfinson, Franklin T. Luk A Linear Algebraic Model of Algorithm-Based Fault Tolerance. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF algorithm based, linear algebraic model, code space, correction scheme, fault tolerance, fault tolerant computing, detection, correction, error correction, distance, vector space
1Franklin T. Luk, Haesun Park An Analysis of Algorithm-Based Fault Tolerance Techniques. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Yoon-Hwa Choi, Miroslaw Malek A Fault-Tolerant Systolic Sorter. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF VLSI sorter, fault-tolerant systolic sorter, permanent computation errors, error-checking code, redundant cells, single faulty cell, offline fault-testing, permanent stuck-at faults, testing, fault tolerant computing, reconfiguration, redundancy, integrated circuit testing, sorting, automatic testing, invariants, error detection codes, cellular arrays, algorithm-based fault tolerance, digital integrated circuits, hardware overhead, time overhead
1Prithviraj Banerjee, Jacob A. Abraham Bounds on Algorithm-Based Fault Tolerance in Multiple Processor Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1986 DBLP  DOI  BibTeX  RDF system-level faults, lower bounds, linear programming, fault detection, upper bounds, errors, fault location, graph model, Checks
1Prithviraj Banerjee, Jacob A. Abraham A Probabilistic Model of Algorithm-Based Fault Tolerance in Array Processors for Real-Time Systems. Search on Bibsonomy IEEE Real-Time Systems Symposium The full citation details ... 1986 DBLP  BibTeX  RDF
Displaying result #1 - #67 of 67 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.