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)
Publication types (Num. hits)
inproceedings(940) proceedings(13)
Venues (Conferences, Journals, ...)
SYNASC(953)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 43 keywords

Results
Found 953 publication records. Showing 953 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ciprian-Octavian Truica, Elena Simona Apostol, Catalin Adrian Leordeanu Topic Modeling Using Contextual Cues. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dragos Teodor Gavrilut, Anton Dan Gabriel, George Popoiu Machine Learning based Malware Detection. How to Balance Memory Footprint with Model Accuracy. 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
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
1John Kluesner, Michael B. Monagan Resolving Zero Divisors Using Hensel Lifting. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Pop, Bogdan Irimie, Dana Petcu Distributed Optical Character Recognition for Old Romanian Prints. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. 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
1Fei Wang, Greg Reid, Henry Wolkowicz An SDP-based Method for the Real Radical Ideal Membership Test. 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
1K. Amenyo Folitse, David J. Jeffrey, Robert M. Corless Properties and Computation of the Functional Inverse of Gamma. 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
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
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
1Catalin Stoean, Daniel Lichtblau Classifier Result Aggregation for Automatically Grading Histopathological Images. 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
1Victor Artigues Color Grading with Neural Network. 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
1Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu A Certified Procedure for RL Verification. 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
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
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
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
1Gheorghe Paun Numerical P Systems (After Ten Years). 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
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
1Tetsuo Ida Models of Computation for Origami. 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
1Victor Artigues Volume Estimation in Point Cloud using Multi-Agent System. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Agneta Maria Balint, Stefan Balint Existence of Gaps on the Path of Equilibriums in Case of Longitudinal Flight with Constant Forward Velocity. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Robert Vajda Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination. 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
1Florian Faissole Formalization and Closedness of Finite Dimensional Subspaces. 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
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
1Kalliopi Kravari, Nick Bassiliades Social Principles in Agent-Based Trust Management for the Internet of Things. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adriana Mihaela Coroiu Outliers Detection in Analysis of Cognitive Emotion Regulation Questionnaire for Teenagers. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Franzoi Jaccard-Like Fuzzy Distances for Computational Linguistics. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian-Aurelian Stefaniga, Mihail Gaianu Performance Analysis of Morphological Operation in CPU and GPU for Medical Images. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fadoua Ghourabi Toward Non-flat Geometrical Origami Folds with Eos System. 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
1Darian M. Onchis, Simone Zappalá Constructive Realizable Multi-resolution Wavelet-Like Systems Based on Multi-windows Spline-Type Spaces. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tateaki Sasaki, Daiju Inaba Simple Relation between the Lowest-Order Element of Ideal 〈G, H〉 and the Last Element of Polynomial Remainder Sequence. 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
1Debora Gil, Aura Hernández-Sabaté, David Castells-Rufas, Jordi Carrabina CYBERH: Cyber-Physical Systems in Health for Personalized Assistance. 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
1Christoph Ertl, Ralf-Peter Mundani Ensuring Domain Consistency in an Adaptive Framework with Distributed Topology for Fluid Flow Simulations. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1George Anescu An Adaptive Penalty Function Method for Constrained Continuous Optimization in Population-Based Meta-Heuristic Optimization Methods. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Darius Bufnea, Diana Sotropa Measuring and Visualizing the Scrappiness Level of a Website. 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
1Erika Ábrahám, Gereon Kremer SMT Solving for Arithmetic Theories: Theory and Tool Support. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolae Nistor, Marilena Panaite, Mihai Dascalu, Stefan Trausan-Matu Identifying Socio-Cognitive Structures in Online Knowledge Building Communities Using Cohesion Network Analysis. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Klaus-Dieter Schewe Concurrent Reflective Abstract State Machines. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Liviu Octavian Mafteiu-Scai, Emanuela Mafteiu-Scai, Teodora Voina Bandwidths Optimization on Sparse Matrices Using Brain Storm Optimization. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hossein Hojjat, Philipp Rümmer Deciding and Interpolating Algebraic Data Types by Reduction. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrei Cristian Nica, Tudor Berariu, Florin Gogianu, Adina Magda Florea Learning to Maximize Return in a Stag Hunt Collaborative Scenario through Deep Reinforcement Learning. 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
1Diana-Lucia Miholca, Gabriela Czibula, Marian Zsuzsanna, István Gergely Czibula An Unsupervised Learning Based Conceptual Coupling Measure. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eneia Nicolae Todoran An Approach to Performance Evaluation Programming. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lavinia-Stefania Sirbu, Serban Radu Automated Negotiation Strategies Prediction in Multi-agent Systems. 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
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
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
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
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
1Marian Zsuzsanna, István Gergely Czibula, Gabriela Czibula A Hierarchical Clustering-Based Approach for Software Restructuring at the Package Level. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ioan Cristian Schuszter A Comparative Study of Machine Learning Methods for Traffic Sign Recognition. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Armin Biere, Manuel Kauers, Daniela Ritirc Challenges in Verifying Arithmetic Circuits Using Computer Algebra. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Costin Badica, Alex Becheru, Samuel Felton Integration of Jason Reinforcement Learning Agents into an Interactive Application. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Ehler, Manuel Gräf Numerically Optimizing Weights for Monte Carlo Integration on Smooth Compact Manifolds. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Eneia Nicolae Todoran Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolas Gutierrez, Manuela Wiesinger-Widi AUGURY: A Time Series Based Application for the Analysis and Forecasting of System and Network Performance Metrics. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tetsuo Ida Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational Origami. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Kogler, Patrick Traxler Efficient and Robust Median-of-Means Algorithms for Location and Regression. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Grigore Lupescu, Emil-Ioan Slusanschi, Nicolae Tapus Analysis of OpenCL Work-Group Reduce for Intel GPUs. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anca Andreica, Laura Diosan, Irina Voiculescu Parameterized Cellular Automata in Image Segmentation. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám Symbolic Computation Techniques in Satisfiability Checking. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raivis Bets, Janis Buls Partial Finitely Generated Bi-Ideals. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrada Baban, Cosmin Bonchis, Alexandru Fikl, Florin Rosu Parallel Simulations for Fractional-Order Systems. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ehsan Ataie, Eugenio Gianniti, Danilo Ardagna, Ali Movaghar A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Liviu Octavian Mafteiu-Scai, Calin Alexandru Cornigeanu A Parallel Heuristic for Bandwidth Reduction Based on Matrix Geometry. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laura Franzoi Irrelevance in Incomplete Fuzzy Arithmetic. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marian Zsuzsanna, Ioan-Gabriel Mircea, István Gergely Czibula, Gabriela Czibula A Novel Approach for Software Defect Prediction Using Fuzzy Decision Trees. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Catalin Stoean In Search of the Optimal Set of Indicators when Classifying Histopathological Images. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephen M. Watt How to Build a Global Digital Mathematics Library. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Catalin-Valeriu Lita On Complexity of the Detection Problem for Bounded Length Polymorphic Viruses. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Calin-Adrian Popa Levenberg-Marquardt Learning Algorithm for Quaternion-Valued Neural Networks. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shaoshi Chen, Stephen M. Watt Combinatorics of Hybrid Sets. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Md. Maruf Hussain, Hiroshi Hattori, Noriyuki Fujimoto A CUDA Implementation of the Standard Particle Swarm Optimization. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Postavaru, Ionut-MihaIta Plesea Censoring Sensitive Data from Images. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Byron E. Moutafis, Christos K. Filelis-Papadopoulos, George A. Gravvanis, John P. Morrison On Issues Concerning Cloud Environments in Scope of Scalable Multi-Projection Methods. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Todor Ivascu, Adriana Dinis, Viorel Negru Towards a Multi-Agent System for Medical Records Processing and Knowledge Discovery. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolae-Eugen Croitoru Lowering Evolved Artificial Neural Network Overfitting through High-Probability Mutation. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Flavius Turcu, Charles Dossal, Marc Nicodeme Identifiability for Gauge Regularizations and Algorithms for Block-Sparse Synthesis in Compressive Sensing. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Martin Kreuzer, Ange Salome Messeng Ekossono Computing Boolean Border Bases. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule The Quest for Perfect and Compact Symmetry Breaking for Graph Problems. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ana Turlea, Florentin Ipate, Raluca Lefticaru A Hybrid Test Generation Approach Based on Extended Finite State Machines. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 953 (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