The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1997 (47) 1998 (44) 1999 (52) 2000 (45) 2001 (69) 2002 (46) 2003 (55) 2004 (66) 2005 (82) 2006 (70) 2007 (103) 2008 (94) 2009 (90) 2010 (88) 2011 (113) 2012 (69)
Publication types (Num. hits)
inproceedings(1121) proceedings(12)
Venues (Conferences, Journals, ...)
ASE(1133)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1188 occurrences of 728 keywords

Results
Found 1133 publication records. Showing 1133 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, Jiajun Shen, Tao Xie Healing online service systems via mining historical issue repositories. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Goedicke, Tim Menzies, Motoshi Saeki (eds.) IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012 Search on Bibsonomy ASE The full citation details ... 2012 DBLP  BibTeX  RDF
1Julia Rubin, Marsha Chechik Locating distinguishing features using diff sets. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Adel Noureddine, Aurelien Bourdon, Romain Rouvoy, Lionel Seinturier Runtime monitoring of software energy hotspots. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hyunmin Seo, Sunghun Kim Predicting recurring crash stacks. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yang Yuan, Yao Guo Boreas: an accurate and scalable token-based approach to code clone detection. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Moria Abadi, Yishai A. Feldman Automatic recovery of statecharts from procedural code. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ayman Amin, Lars Grunske, Alan Colman An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Timo Kehrer, Udo Kelter, Pit Pietsch, Maik Schmidt Adaptability of model comparison tools. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fu Song, Tayssir Touili PuMoC: a CTL model-checker for sequential programs. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal User-aware privacy control via extended static-information-flow analysis. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet Test suite selection based on traceability annotations. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yosuke Yamamoto Property-preserving program refinement. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Faunes, Houari A. Sahraoui, Mounir Boukadoum Generating model transformation rules from examples using an evolutionary algorithm. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Panita Meananeatra Identifying refactoring sequences for improving software maintainability. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen SYMake: a build code analysis and refactoring tool for makefiles. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lei Shang, Yi Lu 0003, Jingling Xue Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jaideep Nijjar, Tevfik Bultan Unbounded data model verification using SMT solvers. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Laura Moreno, Andrian Marcus JStereoCode: automatically identifying method and class stereotypes in Java code. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sebastian Biallas, Jörg Brauer, Stefan Kowalewski Arcade.PLC: a verification platform for programmable logic controllers. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Salvatore De Carmine, Atif M. Memon Using GUI ripping for automated testing of Android applications. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohamed Almorsy, John Grundy, Amani S. Ibrahim Supporting automated software re-engineering using re-aspects. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maartje de Jonge, Eelco Visser Automated evaluation of syntax error recovery. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kai Yu, Mengxiang Lin, Jin Chen, Xiangyu Zhang Practical isolation of failure-inducing changes for debugging regression faults. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lucia, David Lo, Lingxiao Jiang, Aditya Budi kbe-anonymity: test data anonymization for evolving programs. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sebastian Gabmeyer Formal verification techniques for model transformations specified by-demonstration. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Inah Omoronyia, Liliana Pasquale, Mazeiar Salehie, Luca Cavallaro, Gavin Doherty, Bashar Nuseibeh Caprice: a tool for engineering adaptive privacy. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mark Harman, William B. Langdon, Yue Jia, David Robert White, Andrea Arcuri, John A. Clark The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper). Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefan Dösinger, Richard Mordinyi, Stefan Biffl Communicating continuous integration servers for increasing effectiveness of automated testing. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Friedrich Steimann, Jens von Pilgrim Refactorings without names. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, David Lo, Chengnian Sun Duplicate bug report detection with a combination of information retrieval and topic modeling. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cameron M. Hine, Jean-Guy Schneider, Jun Han, Steven Versteeg Quokka: visualising interactions of enterprise software environment emulators. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Huihua Lu, Bojan Cukic, Mark Culp Software defect prediction using semi-supervised learning with dimension reduction. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ning Chen, Sunghun Kim Puzzle-based automatic testing: bringing humans into the loop by solving puzzles. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kari Kähkönen, Olli Saarikivi, Keijo Heljanko Using unfoldings in automated testing of multithreaded programs. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sven Apel, Olaf Leßenich, Christian Lengauer Structured merge with auto-tuning: balancing precision and performance. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ana Filipa Nogueira Predicting software complexity by means of evolutionary testing. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dennis Westermann, Jens Happe, Rouven Krebs, Roozbeh Farahbod Automated inference of goal-oriented performance prediction functions. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, Tien N. Nguyen Detection of embedded code smells in dynamic web applications. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sebastian Bauersfeld, Tanja E. J. Vos GUITest: a Java library for fully automated GUI robustness testing. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luis Quesada 0002 A model-driven parser generator with reference resolution support. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José Campos, André Riboira, Alexandre Perez, Rui Abreu GZoltar: an eclipse plug-in for testing and debugging. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller Diagnosys: automatic generation of a debugging interface to the Linux kernel. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lwin Khin Shar, Hee Beng Kuan Tan Predicting common web application vulnerabilities from input validation and sanitization code patterns. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1JeeHyun Hwang, Tao Xie, Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon Selection of regression system tests for security policy evolution. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Palakorn Achananuparp, Ibrahim Nelman Lubis, Yuan Tian, David Lo, Ee-Peng Lim Observatory of trends in software related microblogs. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ivar Jacobson, Ian Spence, Pontus Johnson, Mira Kajko-Mattsson Re-founding software engineering - SEMAT at the age of three (keynote abstract). Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Katsuhisa Maruyama, Eijiro Kitsu, Takayuki Omori, Shinpei Hayashi Slicing and replaying code change history. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Sebastian Currea Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Huiqing Li, Simon J. Thompson Automated API migration in a user-extensible refactoring tool for Erlang programs. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Massila Kamalrudin, John Grundy, John G. Hosking MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rick Rabiser, Paul Grünbacher, Martin Lehofer A qualitative study on user guidance capabilities in product configuration tools. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohamed Almorsy, John Grundy, Amani S. Ibrahim Supporting automated vulnerability analysis using formalized vulnerability signatures. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sonia Haiduc, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, Andrian Marcus Automatic query performance assessment during the retrieval of software artifacts. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ferdian Thung, Lucia, David Lo, Lingxiao Jiang, Foyzur Rahman, Premkumar T. Devanbu To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux Augmented dynamic symbolic execution. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xiaoyin Wang, Yingnong Dang, Lu Zhang 0023, Dongmei Zhang, Erica Lan, Hong Mei Can I clone this piece of code here? Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus Automatically securing permission-based software by reducing the attack surface: an application to Android. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rainer Lutz, Sascha Schäfer 0001, Stephan Diehl Using mobile devices for collaborative requirements engineering. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo Semantic patch inference. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed Automatically generating and adapting model constraints to support co-evolution of design models. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid Improving the effectiveness of spectra-based fault localization using specifications. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Reder, Alexander Egyed Computing repair trees for resolving inconsistencies in design models. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Liang Gong, David Lo, Lingxiao Jiang, Hongyu Zhang Diversity maximization speedup for fault localization. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Amani S. Ibrahim, John Grundy, James H. Hamlyn-Harris, Mohamed Almorsy Supporting operating system kernel data disambiguation using points-to analysis. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Achraf Ghabi, Alexander Egyed Code patterns for automatically validating requirements-to-code traces. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Abdou Maiga, Nasir Ali, Neelesh Bhattacharya, Aminata Sabane, Yann-Gaël Guéhéneuc, Giuliano Antoniol, Esma Aïmeur Support vector machines for anti-pattern detection. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy REInDetector: a framework for knowledge-based requirements engineering. Search on Bibsonomy ASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey Formalizing hardware/software interface specifications. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid TestEra: A tool for testing Java programs using alloy specifications. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, Hoong Chuin Lau Search-based fault localization. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki DC2: A framework for scalable, scope-bounded software verification. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Massila Kamalrudin, John C. Grundy Generating essential user interface prototypes to validate requirements. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Josip Maras, Jan Carlson, Ivica Crnkovic Client-side web application slicing. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Mäder, Alexander Egyed Do software engineers benefit from source code navigation with traceability? - An experiment in software change management. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Dautovic Automatic assessment of software documentation quality. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jeffrey L. Overbey, Ralph E. Johnson Differential precondition checking: A lightweight, reusable analysis for refactoring tools. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, Yuanfang Cai Enhancing architectural recovery using concerns. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró A model-driven framework for guided design space exploration. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Malay K. Ganai Scalable and precise symbolic analysis for atomicity violations. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1René Just, Franz Schweiggert, Gregory M. Kapfhammer MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, Irwin King Mining test oracles of web search engines. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kristopher Welsh, Pete Sawyer, Nelly Bencomo Towards requirements aware systems: Run-time resolution of design-time assumptions. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xiaobing Sun, Bixin Li Using Formal Concept Analysis to support change analysis. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Soham Sundar Chakraborty, Vipul Shah Towards an approach and framework for test-execution plan derivation. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mark Robinson, Jianwei Niu, Macneil Shonle GitBAC: Flexible access control for non-modular concerns. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alberto Bacchelli, Anthony Cleve, Michele Lanza, Andrea Mocci Extracting structured data from natural language documents with island parsing. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei Iterative mining of resource-releasing specifications. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zhenchang Xing, Yinxing Xue, Stan Jarzabek CloneDifferentiator: Analyzing clones by differentiation. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri Supporting domain-specific state space reductions through local partial-order reduction. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert Exploring caching for efficient collection operations. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Insa, Josep Silva An optimal strategy for algorithmic debugging. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yu Pei 0001, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Code-based automated program fixing. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos Symbolic search-based testing. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gasevic, Ebrahim Bagheri Automated planning for feature model configuration based on stakeholders' business concerns. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1George Edwards, Yuriy Brun, Nenad Medvidovic Isomorphism in model tools and editors. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine Using model-based assurance to strengthen diagnostic procedures. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1133 (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.