The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1994 (23) 1996 (33) 1997 (28) 1998 (27) 1999-2000 (36) 2001 (35) 2002 (24) 2003 (28) 2004 (26) 2005 (36) 2006 (28) 2007 (25) 2008 (23) 2009 (20) 2010 (22) 2011 (24) 2012 (20) 2013 (19) 2014 (20) 2015 (22) 2016 (25) 2017 (25) 2018 (25)
Publication types (Num. hits)
inproceedings(570) proceedings(24)
Venues (Conferences, Journals, ...)
TIME(594)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 159 occurrences of 113 keywords

Results
Found 594 publication records. Showing 594 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stéphane Demri On Temporal and Separation Logics (Invited Paper). Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco Extracting Interval Temporal Logic Rules: A First Approach. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Malte S. Kließ, Catholijn M. Jonker, M. Birna van Riemsdijk A Temporal Logic for Modelling Activities of Daily Living. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luke Hunsberger, Roberto Posenato Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julius Köpke, Johann Eder, Jianwen Su GSM+T: A Timed Artifact-Centric Process Model. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Dohr, Christiane Engels, Andreas Behrend Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael H. Böhlen, Anton Dignös, Johann Gamper, Christian S. Jensen Database Technology for Processing Temporal Data (Invited Paper). Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Bolotov, Montserrat Hermo, Paqui Lucio Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1George Athanasopoulos, George Paliouras, Dimitrios Vogiatzis, Grigorios Tzortzis, Nikos Katzouris Predicting the Evolution of Communities with Online Inductive Logic Programming. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Georgios M. Santipantakis, Akrivi Vlachou, Christos Doulkeridis, Alexander Artikis, Ioannis Kontopoulos, George A. Vouros A Stream Reasoning System for Maritime Monitoring. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wojciech Jamroga Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek (eds.) 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018 Search on Bibsonomy TIME The full citation details ... 2018 DBLP  BibTeX  RDF
1Daniel Kernberger, Martin Lange On the Expressive Power of Hybrid Branching-Time Logics. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Massimo Cairo, Luke Hunsberger, Romeo Rizzi Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lewis Tolonen, Tim French 0002, Mark Reynolds Population Based Methods for Optimising Infinite Behaviours of Timed Automata. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Roberto Posenato Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pattreeya Tanisaro, Gunther Heidemann An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion Recognition. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Alessandro Passantino, Guido Sciavicco Deciding the Consistency of Branching Time Interval Networks. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Malek Mouhoub, Hamad Al Marri, Eisa Alanazi Learning Qualitative Constraint Networks. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luke Hunsberger, Roberto Posenato Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlo Comin, Romeo Rizzi On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Aniello Murano, Loredana Sorrentino Results on Alternating-Time Temporal Logics with Linear Past. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega Computational Complexity of a Core Fragment of Halpern-Shoham Logic. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matteo Zavatteri Conditional Simple Temporal Networks with Uncertainty and Decisions. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino Hierarchical Cost-Parity Games. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Organization, List of Authors. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Geeraerts, Eythan Levy, Frédéric Pluquet Models and Algorithms for Chronology. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabio Grandi, Federica Mandreoli, Riccardo Martoglia, Wilma Penzo A Relational Algebra for Streaming Tables Living in a Temporal Database World. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Massimo Cairo, Romeo Rizzi Dynamic Controllability Made Simple. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Etienne Thuillier, Laurent Moalic, Alexandre Caminada Dynamic Purpose Decomposition of Mobility Flows Based on Geographical Data. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sheila A. McIlraith Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Massimo Cairo, Luke Hunsberger, Roberto Posenato, Romeo Rizzi A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathías Etcheverry, Dina Wonsever Time Expressions Recognition with Word Vectors and Neural Networks. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri Incorporating Decision Nodes into Conditional Simple Temporal Networks. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Kernberger, Martin Lange The Fully Hybrid mu-Calculus. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart Possible and Certain Answers for Queries over Order-Incomplete Data. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk). Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege Timed-Automata-Based Verification of MITL over Signals. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marie Kiermeier, Martin Werner Similarity Search for Spatial Trajectories Using Online Lower Bounding DTW and Presorting Strategies. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Valentin Goranko, Antti Kuusisto, Raine Rönnholm CTL with Finitely Bounded Semantics. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta Collective Singleton-Based Consistency for Qualitative Constraint Networks. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sven Schewe, Thomas Schneider 0002, Jef Wijsen (eds.) 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium Search on Bibsonomy TIME The full citation details ... 2017 DBLP  BibTeX  RDF
1Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson Time Dependent Policy-Based Access Control. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Grüninger, Zhuojun Li The Time Ontology of Allen's Interval Algebra. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mattias Tiger, Fredrik Heintz Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shota Matsumoto, Kazunori Ueda Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak Optimal Control for Simple Linear Hybrid Systems. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Massimo Cairo, Romeo Rizzi Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Chomicki, Jef Wijsen Consistent Query Answering for Atemporal Constraints over Temporal Databases. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelo Montanari Interval Temporal Logics Model Checking. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Benoît Delahaye Consistency in Parametric Interval Probabilistic Timed Automata. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider Specification of Evolving Privacy Policies for Online Social Networks. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Massimo Cairo, Carlo Comin, Romeo Rizzi Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Curtis E. Dyreson, Michael R. Hansen, Luke Hunsberger (eds.) 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016 Search on Bibsonomy TIME The full citation details ... 2016 DBLP  BibTeX  RDF
1Yong Li, Lei Song, Yuan Feng, Lijun Zhang Verify LTL with Fairness Assumptions Efficiently. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Runa Gulliksson, John J. Camilleri A Domain-Specific Language for Normative Texts with Timing Constraints. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paolo Terenziani The Impact of the Telic\Atelic Dichotomy on Temporal Databases. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Jakobsen, Peter Øhrstrøm Conceptual and Metaphysical Origins and Relevance of Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John Christopher McCabe-Dansted, Mark Reynolds, Tim French 0002 Modelling Systems over General Linear Time. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Curtis E. Dyreson, Venkata A. Rani Translating Temporal SQL to Nested SQL. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco On the Complexity of Fragments of Horn Modal Logics. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Valentin Goranko, Louwe B. Kuijer On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Kernberger, Martin Lange Model Checking for the Full Hybrid Computation Tree Logic. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1S. Akshay, Loïc Hélouët, Ramchandra Phawade Combining Free Choice and Time in Petri Nets. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zouhaier Brahmia, Fabio Grandi, Rafik Bouaziz tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Herrera, Bernd Westphal The Model Checking Problem in Networks with Quasi-Equal Clocks. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raphaël Fournier-S'niehotta, Philippe Rigaux, Nicolas Travers Querying Music Notation. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001 Reachability Games on Recursive Hybrid Automata. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Curtis E. Dyreson, Venkata A. Rani, Amani Shatnawi Unifying Sequenced and Non-sequenced Semantics. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlo Comin, Romeo Rizzi Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Romeo Rizzi, Pietro Sala The Price of Evolution in Temporal Databases. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alfredo Cuzzocrea Temporal Aspects of Big Data Management: State-of-the-Art Analysis and Future Research Directions. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alberto Gatto Decidability via Mosaics for Bundled Ockhamist Logic. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino On the Counting of Strategies. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alberto Molinari, Angelo Montanari, Adriano Peron Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Krebs, Arne Meier, Jonni Virtema A Team Based Variant of CTL. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benedikt Bollig Towards Formal Verification of Distributed Algorithms. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Lück, Arne Meier LTL Fragments are Hard for Standard Parameterisations. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Hausmann, Lutz Schröder Global Caching for the Flat Coalgebraic µ-Calculus. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andre Gensler, Thiemo Gruber, Bernhard Sick Fast Feature Extraction for Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Salih Durhan, Guido Sciavicco Generalizing Allen's Theory of Time to Tree-Like Structures. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo Temporal Reasoning in Bounded Situation Calculus. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlo Zaniolo Historical Queries on Wikipedia: A Usability-Driven Approach. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marta Cialdea Mayer, Andrea Orlandini An Executable Semantics of Flexible Plans in Terms of Timed Game Automata. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco Undecidability of Chop. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Grgur Petric Maretic, Muhammad Torabi Dasthi, David A. Basin Semantic Vacuity. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabio Grandi, Martin Lange, Alessio Lomuscio (eds.) 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015 Search on Bibsonomy TIME The full citation details ... 2015 DBLP  BibTeX  RDF
1Luke Hunsberger, Roberto Posenato, Carlo Combi A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Krebs, Arne Meier, Martin Mundhenk The Model Checking Fingerprints of CTL Operators. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zouhaier Brahmia, Fabio Grandi, Barbara Oliboni, Rafik Bouaziz High-Level Operations for Creation and Maintenance of Temporal and Conventional Schema in the tauXSchema Framework. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlo Comin, Roberto Posenato, Romeo Rizzi A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron Checking Interval Properties of Computations. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 594 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
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