The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1999 (21) 2000 (21) 2001 (21) 2002 (25) 2003 (18) 2004 (23) 2005 (25) 2006 (20) 2007 (21) 2008 (23) 2009 (23) 2010 (19) 2011 (15) 2012 (21) 2013 (23) 2014 (21) 2015 (20) 2016 (17) 2017 (26) 2018 (20)
Publication types (Num. hits)
inproceedings(403) proceedings(20)
Venues (Conferences, Journals, ...)
SPIN(423)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 60 occurrences of 47 keywords

Results
Found 423 publication records. Showing 423 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Laura Panizo, Almudena Díaz, Bruno García An Extension of TRIANGLE Testbed with Model-Based Testing. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann 0001 Star-Topology Decoupling in SPIN. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff A Branching Time Variant of CaRet. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radu Iosif Program Verification with Separation Logic. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marek Chalupa, Jan Strejcek, Martina Vitovská Joint Forces for Memory Safety Checking. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco Context-Updates Analysis and Refinement in Chisel. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tim Lange 0001, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen Improving Generalization in Software IC3. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrien Pommellet, Tayssir Touili Model-Checking HyperLTL for Pushdown Systems. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Léo Henry, Thierry Jéron, Nicolas Markey Control Strategies for Off-Line Testing of Timed Systems. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tamás Tóth, István Majzik Lazy Reachability Checking for Timed Automata with Discrete Variables. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Pedro Merino 0001 (eds.) Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1YoungMin Kwon, Eunhee Kim Quantitative Model Checking for a Controller Design. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tatsuya Abe 0001 Local Data Race Freedom with Non-multi-copy Atomicity. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antti Valmari, Vesa Lappalainen Modelling Without a Modelling Language. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled Efficient Runtime Verification of First-Order Temporal Properties. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Kölbl, Stefan Leue, Hargurbir Singh From SysML to Model Checkers via Model Transformation. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio Petri Net Reductions for Counting Markings. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Omar I. Al-Bataineh, Mark Reynolds, David Rosenblum A Comparative Study of Decision Diagrams for Real-Time Model Checking. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lucas G. Wagner, David Greve, Andrew Gacek SIMPAL: a compositional reasoning framework for imperative programs. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wytse Oortwijn, Tom van Dijk, Jaco van de Pol Distributed binary decision diagrams for symbolic reachability. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Cobra: fast structural code checking (keynote). Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nima Dini, Cagdas Yelen, Sarfraz Khurshid Optimizing parallel Korat using invalid ranges. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Ratiu, Andreas Ulrich Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco A. Feliú, Camilo Rocha, Swee Balachandran Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi LeeTL: LTL with quantifications over model objects. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg Model learning and model checking of SSH implementations. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Blake Loring, Duncan Mitchell, Johannes Kinder ExpoSE: practical symbolic execution of standalone JavaScript. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Fearnley, Sanjay Jain 0001, Sven Schewe, Frank Stephan 0001, Dominik Wojtczak An ordered approach to solving parity games in quasi polynomial time and quasi linear space. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthieu Renard, Antoine Rollet, Yliès Falcone Runtime enforcement using Büchi games. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Geffroy, Jérôme Leroux, Grégoire Sutre Backward coverability with pruning for lossy channel systems. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden Runtime enforcement of reactive systems using synchronous enforcers. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Idress Husien, Nicolas Berthier, Sven Schewe A hot method for synthesising cool controllers. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jinru Hua, Sarfraz Khurshid EdSketch: execution-driven sketching for Java. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Huu-Vu Nguyen, Tayssir Touili CARET model checking for malware detection. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi Formal verification of data-intensive applications through model checking modulo theories. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Byron Cook Automated formal reasoning about amazon web services (keynote). Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Domagoj Babic SunDew: systematic automated security testing (keynote). Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser Addressing challenges in obtaining high coverage when model checking Android applications. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michalis Kokologiannakis, Konstantinos Sagonas Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen Practical controller synthesis for MTL0, ∞. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol Explicit state model checking with generalized Büchi and Rabin automata. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hakan Erdogmus, Klaus Havelund (eds.) Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017 Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  BibTeX  RDF
1Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel The RERS 2017 challenge and workshop (invited paper). Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino 0001 Guided test case generation for mobile apps in the TRIANGLE project: work in progress. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Subash Shankar, Gilbert Pajela A Tool Integrating Model Checking into a C Verification Toolset. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Alberto Salmerón River Basin Management with Spin. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antti Valmari, Walter Vogler Fair Testing and Stubborn Sets. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radu Mateescu 0001, José Ignacio Requeno On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kareem Khazem, Michael Tautschnig smid: A Black-Box Program Driver. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Hofmann 0001, Christian Neukirchen, Harald Rueß Certification for μ-Calculus with Winning Strategies. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lakhdar Akroun, Gwen Salaün, Lina Ye Automated Analysis of Asynchronously Communicating Systems. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor M. Veres Autonomous Agent Behaviour Modelled in PRISM - A Case Study. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dragan Bosnacki, Anton Wijs (eds.) Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aleksandar S. Dimovski Symbolic Game Semantics for Model Checking Program Families. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nishanthan Kamaleson, David Parker 0001, Jonathan E. Rowe Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Edelkamp, Christoph Greulich Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis Compositional Semantics and Analysis of Hierarchical Block Diagrams. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001 MESS: Memory Performance Debugging on Embedded Multi-core Systems. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino 0001 Runtime Verification of Expected Energy Consumption in Smartphones. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser Model Counting for Complex Data Structures. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski Family-Based Model Checking Without a Family-Based Model Checker. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Stefan Löwe, Philipp Wendler Benchmarking and Resource Measurement. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nils Timm, Stefan Gruner, Prince Sibanda Parallel SAT-Based Parameterised Three-Valued Model Checking. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Backes, Jan Reineke ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tevfik Bultan String Analysis for Vulnerability Detection and Repair. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thibaud Michaud, Alexandre Duret-Lutz Practical Stutter-Invariance Checks for ω-Regular Languages. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser Fast, Dynamically-Sized Concurrent Hash Table. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Axel Legay, Jean Quilbeuf Comparative Analysis of Leakage Tools on Scalable Case Studies. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Stefan Löwe, Philipp Wendler Refinement Selection. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek On Refinement of Büchi Automata for Explicit Model Checking. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho DSVerifier: A Bounded Model Checking Tool for Digital Systems. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maria Christakis, Patrice Godefroid IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francesco Sorrentino PickLock: A Deadlock Prediction Approach under Nested Locking. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Jaco Geldenhuys (eds.) Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue Symbolic Causality Checking Using Bounded Model Checking. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Annabelle Klarl From Helena Ensemble Specifications to Promela Verification Models. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek Is there a best büchi automaton for explicit model checking? Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran Exploiting synchronization in the analysis of shared-memory asynchronous programs. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marie-Christine Jakobs, Heike Wehrheim Certification for configurable program analysis. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nastaran Shafiei, Franck van Breugel Automatic handling of native methods in Java PathFinder. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sagar Chaki, James R. Edmondson Toward parameterized verification of synchronous distributed applications. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Henning Günther, Georg Weissenbacher Incremental bounded software model checking. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavel Parizek, Pavel Jancík Approximating happens-before order: interplay between static analysis and state space traversal. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Theo C. Ruys Unit testing for SPIN: runspin and parsepan. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolas Latorre, Francesco Alberti, Natasha Sharygina Verige: verification with invariant generation engine. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko CTL+FO verification as constraint solving. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim Quantifying information leaks using reliability analysis. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Noomene Ben Henda Generic and efficient attacker models in SPIN. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ioannis Filippidis, Gerard J. Holzmann An improvement of the piggyback algorithm for parallel model checking. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aditya V. Thakur, Jason Breck, Thomas W. Reps Satisfiability modulo abstraction for separation logic with linked lists. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Florian Leitner-Fischer, Stefan Leue SpinCause: a tool for causality checking. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Neha Rungta, Oksana Tkachuk (eds.) 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014 Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 423 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
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