The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SYNASC"( http://dblp.L3S.de/Venues/SYNASC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/synasc

Publication years (Num. hits)
2005 (68) 2006 (69) 2007 (83) 2008 (94) 2009 (63) 2010 (85) 2011 (59) 2012 (72) 2013 (76) 2014 (80) 2015 (69) 2016 (64) 2017 (71) 2018 (68)
Publication types (Num. hits)
inproceedings(1007) proceedings(14)
Venues (Conferences, Journals, ...)
SYNASC(1021)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 43 keywords

Results
Found 1021 publication records. Showing 1021 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Morad Muslimany, Michael Codish SAT-Based Big-Step Local Search. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adriana Dinis, Todor Ivascu, Viorel Negru A Self Developing System for Medical Data Analysis. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrei Alexandru, Gabriel Ciobanu Order Relations Over Finitely Supported Structures. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexandru-Ion Marinescu, Zoltán Bálint, Laura-Silvia Diosan, Anca-Mirela Andreica Unsupervised and Fully Autonomous 3D Medical Image Segmentation Based on Grow Cut. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Sacarea, Diana-Florina Sotropa, Diana Troanca Formal Concept Analysis Grounded Knowledge Discovery in Electronic Health Record Systems. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrei Voronkov Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ciprian Pungila, Darius Galis, Viorel Negru Survey on Feasibility of Pattern Matching Techniques In Heterogeneous Architectures for Bioinformatics. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maria Prandini A set-based approach to model checking of nonlinear systems (invited tutorial). Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ruxandra Stoean, Catalin Stoean, Adriana Samide Deep Learning for Metal Corrosion Control: Can Convolutional Neural Networks Measure Inhibitor Efficiency? Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rodica Condurache Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Darian M. Onchis, Simone Zappalá Lax-Like Stability for the Discretization of Pseudodifferential Operators through Gabor Multipliers and Spline-Type Spaces. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dong Nguyen Doan Toward on-Line Predictive Models for Forecasting Workload in Clouds. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Norbert Tihanyi, Attila Kovács Computation Results of the Riemann Zeta Search Project. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sándor Szabó, Bogdán Zaválnij A Different Approach to Maximum Clique Search. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Irina Maria Artinescu, Costin Radu Boldea An Image Inpainting Technique Based on Parallel Projection Methods. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edwin Lughofer Self-adaptive forecast models in predictive maintenance systems. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger Compositional Taylor Model Based Validated Integration. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ana Carolina Camargos Couto, David Jeffrey Rational Householder Transformations. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Liviu Octavian Mafteiu-Scai, Irina Maria Artinescu, Vlad Mafteiu-Scai Parallelizations of an Inpainting Algorithm Based on Convex Feasibility. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mihai Bica, Dorian Gorgan Scalable Task Deployment System Inspired from Virus Propagation Models for Large Distributed Workflow Based Systems. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Parisa Alvandi, Stephen M. Watt Real-Time Computation of Legendre-Sobolev Approximations. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Olivier Bournez Ordinary Differential Equations & Computability. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florin Craciun, Gabriel Glodean Towards Compiling Region Types Into RTSJ-Compliant Java Code. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zalán Bodó A CiteSeerX-Based Dataset for Record Linkage and Metadata Extraction. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mihaela Ilie, Sorin Ilie, Ionut Muraretu An Adaptive Recommender System for Human Resource Allocation in Software Projects - Initial Results on an Agent-Based Simulation. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carles Sánchez, Meiguel-Angel Viñas, Coen Atens, Agnès Borràs, Debora Gil Back to Front Architecture for Diagnosis as a Service. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ioan Cristian Schuszter Integrating Deep Learning for NLP in Romanian Psychology. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eneia Nicolae Todoran Towards Performance Evaluation Programming. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu Proving Reachability Properties by Coinduction (Extended Abstract). Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Olivier Bournez, Sabrina Ouazzani Cheap Non-Standard Analysis and Computability: Some Applications. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian-Aurelian Stefaniga, Mihail Gaianu Face Detection and Recognition Methods using Deep Learning in Autonomous Driving. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Danut Rotar, Horia Popa Andreescu Face Recognition in Automotive Applications. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alina Enescu, Anca Andreica, Laura Diosan Evolving Cellular Automata for Two-Stage Edge Detection. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tateaki Sasaki, Daiju Inaba Computing the Lowest-Order Element of a Multivariate Elimination Ideal by Using Remainder Sequences. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cristina-Madalina Noaica Improving ACSTL Iris Segmentation Method. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lorenzo Capra, Matteo Camilli A Symmetric Nets Emulator for Adaptive P/T Nets. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stéphane Despréaux, Aude Maignan GPaR: A Parallel Graph Rewriting Tool. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diana Minzat, Mihaela Breaban, Henri Luchian Modeling real estate dynamics using survival analysis. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrian Ioan Pîrîu, Mihai Leonte, Nicolae Postolachi, Dragos Teodor Gavrilut Optimizing Cleanset Growth by Using Multi-Class Neural Networks. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bogdan Eduard-Madalin Mursa, Anca Andreica, Laura Diosan Parallel Acceleration of Subgraph Enumeration in the Process of Network Motif Detection. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Eneia Nicolae Todoran On the Abstractness of Continuation Semantics. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018 Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  BibTeX  RDF
1Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Ducoffe, Ruxandra Marinescu-Ghemeci, Camelia Obreja, Alexandru Popa 0001, Rozica Maria Tache Extremal Graphs with Respect to the Modified First Zagreb Connection Index. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diana-Lucia Miholca An Improved Approach to Software Defect Prediction using a Hybrid Machine Learning Model. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Agneta M. Balint, Stefan Balint, Loredana Tanasie An Axis Symmetric 2D Description of the Growth Process of a Single Crystal Hollow Tube Grown from the Melt by Pulling Down Method. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ometita Radu Adrian The Blockchain, Today and Tomorrow. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bashar Al Asaad, Madalina Erascu A Tool for Fake News Detection. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Georgiana Ingrid Stoleru, Adrian-Stefan Popescu, Dragos Teodor Gavrilut Increasing Protection Against Internet Attacks through Contextual Feature Pairing. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Enachescu Denis, Enachescu Cornelia Inferring, Learning and Modelling Complex Systems with Bayesian Networks. A Tutorial. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu The Verified Polyhedron Library: an Overview. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gheorghe Balan, Adrian-Stefan Popescu Detecting Java Compiled Malware using Machine Learning Techniques. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1James H. Davenport The Rôle of Benchmarking in Symbolic Computation (Position Paper). Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Flaviu Berbecariu, Christian Sacarea, Diana-Florina Sotropa Using Recommender Systems to Support Navigation in Concept Lattices. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Nechita, Laura Diosan A four-Phase Meta-Heuristic Algorithm for Solving Large Scale Instances of the Shift Minimization Personnel Task Scheduling Problem. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Csaba Sulyok Genetic Operators in Evolutionary Music Composition. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cristina Vatamanu, Dragos Teodor Gavrilut, George Popoiu Adjusting SVMs for Large Data Sets using Balanced Decision Trees. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Costin Badica, Georgian Vladutu Application of Meaningful Text Analytics to Online Product Reviews. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Delia Mitrea, Levente Tamas MES Specific Data Analysis. Case Study with the Baxter Robot. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marilena Lupascu, Dragos Teodor Gavrilut, Dorel Lucanu An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Madalina Erascu, Gabriel Iuhasz, Flavia Micota An Architecture for a Management Agency for Cloud Resources. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radu Stefan Mincu, Alexandru Popa 0001 Heuristic Algorithms for the Longest Filled Common Subsequence Problem. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexandru-Ion Marinescu, Anca-Mirela Andreica Evolving Mathematical Formulas using LINQ Expression Trees and Direct Applications to Credit Scoring. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kristian Miok Estimation of Prediction Intervals in Neural Network-Based Regression Models. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Petru Soviany, Radu Tudor Ionescu Optimizing the Trade-Off between Single-Stage and Two-Stage Deep Object Detectors using Image Difficulty Prediction. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kaixun Hua, Dan A. Simovici Dual Criteria Determination of the Number of Clusters in Data. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Panagiota Fatourou Concurrency for the Masses: The Paradigm of Software Transactional Memory. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristian-Nicolae Babau, Raul Razvan Suditu, Marius Marcu, Vladimir-Ioan Cretu Road Traffic Segments Characterization. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Mitura, Ivan Simecek, Ivan Kotenkov Effective Construction of Convex Hull Algorithms. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dan A. Simovici, Roman A. Sizov, Selim Mimaroglu A Boolean Approach for Detection of Frequent Items. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Petru Radu, Cezar Valeriu Regep Algorithm Fusion for Windscreen Obstruction Detection in Autonomous Driving. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adriana Birlutiu, Adrian Burlacu, Manuella Kadar, Daniela Onita Defect Detection in Porcelain Industry Based on Deep Learning Techniques. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Gröbner Bases Computation and Macaulay Matrices. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nasir Khattak, D. J. Jeffrey Rational Orthonormal Matrices. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emmanuel Audusse, Olivier D. Lafitte, Agnès Leroy, Benjamin Melinand, Chi-Tuan Pham, Pierrick Quemar Parametric Study of the Accuracy of an Approximate Solution for the Mild-Slope Equation. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ioana Andra Codreanu, Adina Magda Florea, Irina Mocanu A Home Based Health-Care Solution for Older Adults Using Kinect. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zak Tonks, Gregory Sankaran, James H. Davenport Fast Matrix Operations in Computer Algebra. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Cerna, Michael Peter Lettmann Towards a Clausal Analysis of Proof Schemata. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Viorica Rozina Chifu, Emil Stefan Chifu, Cristina Bianca Pop, Ioan Salomie, Madalina Lupu A Bio-inspired Method for Generating Healthy Meals for Seniors. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Diac WARP: Efficient Automatic Web Service Composition. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ana Turlea, Florentin Ipate, Raluca Lefticaru A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Barbara Guidi, Andrea De Salve, Laura Ricci A Data Aggregation Strategy Based on Wavelet for the Internet of Things. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Eneia Nicolae Todoran Abstract Continuation Semantics for Asynchronous Concurrency. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Josef Urban, Jirí Vyskocil System Description: Statistical Parsing of Informalized Mizar Formulas. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Doina Cosovan, Catalin-Valeriu Lita Practical Aspects Related to Using Hidden Markov Models for Detecting Metamorphic File Infectors. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alina Andreica, Fernando Paulo Belfo, Florina Covaci Designing Data Interchange Services for Learning Components. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Florian Faissole Formalization and Closedness of Finite Dimensional Subspaces. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wolfgang Windsteiger Theorema 2.0: A Brief Tutorial. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Popescu Solving 2-D Pattern Matching using Networks of Polarized Picture Processors with Circular Permutation. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adriana Dinis, Todor Ivascu, Viorel Negru Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Teodora Selea, Marian Neagul Using Deep Networks for Semantic Segmentation of Satellite Images. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pritom Rajkhowa, Fangzhen Lin VIAP - Automated System for Verifying Integer Assignment Programs with Loops. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dorinela Sirbu, Marilena Panaite, Ana Secui, Mihai Dascalu, Nicolae Nistor, Stefan Trausan-Matu ReaderBench: Building Comprehensive Sociograms of Online Communities. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Doru Rotovei, Viorel Negru Improving Lost/Won Classification in CRM Systems Using Sentiment Analysis. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tudor Jebelean, Viorel Negru, Dana Petcu, Daniela Zaharie, Tetsuo Ida, Stephen M. Watt (eds.) 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017 Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  BibTeX  RDF
1Darian M. Onchis Detecting Proteine Coding Regions Using a Customized Multi-scales Splines Construction. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Kluesner, Michael B. Monagan Resolving Zero Divisors Using Hensel Lifting. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ramona Stoica MultiNetCom: An Extended Framework for Communities Detection in Multi-relational Networks. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1021 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license