The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1998 (20) 1999 (22) 2000 (26) 2001 (28) 2002 (30) 2003 (28) 2004 (37) 2005 (33) 2006 (30) 2007 (27) 2008 (35) 2009 (33) 2010 (27) 2011 (32) 2012 (32) 2013 (29) 2014 (30) 2015 (30) 2016 (32) 2017 (33) 2018 (32) 2019 (31)
Publication types (Num. hits)
inproceedings(635) proceedings(22)
Venues (Conferences, Journals, ...)
FoSSaCS(657)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 57 occurrences of 50 keywords

Results
Found 657 publication records. Showing 657 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic Kleene Algebra with Hypotheses. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simon Castellan, Nobuko Yoshida Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dietrich Kuske, Georg Zetzsche Languages Ordered by the Subword Order. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jakob Piribauer, Christel Baier Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman Continuous Reachability for Unordered Data Petri Nets is in PTime. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cristina Matache, Sam Staton A Sound and Complete Logic for Algebraic Effects. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Helmut Seidl, Raphaela Palenta, Sebastian Maneth Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mikolaj Bojanczyk, Alex Simpson (eds.) Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simone Barlocco, Clemens Kupke, Jurriaan Rot Coalgebra Learning via Duality. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard The Impatient May Use Limited Optimism to Minimize Regret. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0001, Aleks Kissinger, Fabio Zanasi Causal Inference by String Diagram Surgery. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski Equational Theories and Monads from Polynomial Cayley Representations. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Corradini, Tobias Heindel, Barbara König 0001, Dennis Nolte, Arend Rensink Rewriting Abstract Structures: Materialization Explained Categorically. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jérémy Dubut Trees in Partial Higher Dimensional Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mnacho Echenim, Radu Iosif, Nicolas Peltier The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christophe Lucas, Matteo Mio Towards a Structural Proof Theory of Probabilistic \mu -Calculi. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Pradic, Colin Riba A Dialectica-Like Interpretation of a Linear MSO on Infinite Words. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Colcombet, Nathanaël Fijalkow Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aurore Alcolei, Pierre Clairambault, Olivier Laurent Resource-Tracking Concurrent Games. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jasper Hugunin Constructing Inductive-Inductive Types in Cubical Type Theory. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Hausmann, Lutz Schröder Optimal Satisfiability Checking for Arithmetic \mu -Calculi. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot Two-Way Parikh Automata with a Visibly Pushdown Stack. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Leventis, Michele Pagani Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk A Complete Normal-Form Bisimilarity for State. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marie Kerjean, Jean-Simon Pacaud Lemay Higher-Order Distributions for Differential Linear Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Milius, Henning Urbat Equational Axiomatization of Algebras with Structure. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rob van Glabbeek Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract). Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Amir M. Ben-Amram, Geoff W. Hamilton Tight Worst-Case Bounds for Polynomial Loop Programs. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benedikt Bollig, Patricia Bouyer, Fabian Reiter Identifiers in Registers - Describing Network Algorithms with Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alvarez-Picallo, C.-H. Luke Ong Change Actions: Models of Generalised Differentiation. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed Fab ous Interoperability for ML and a Linear Language. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xinxin Liu, Tingting Yu, Wenhui Zhang Logics for Bisimulation and Divergence. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Alejandro Ríos, Andrés Viso Call-by-Need, Neededness and All That. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Tommaso Padoan Automata for True Concurrency Properties. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rob van Glabbeek A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract). Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards A Hierarchy of Scheduler Classes for Stochastic Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi Comparator Automata in Quantitative Verification. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shin-ya Katsumata A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergey Goncharov 0001, Lutz Schröder Guarded Traced Categories. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ana Sokolova, Harald Woracek Proper Semirings and Proper Convex Functors. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Clément Jacq, Paul-André Melliès Categorical Combinatorics for Non Deterministic Strategies on Simple Games. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Slawomir Lasota, Radoslaw Piórkowski WQO Dichotomy for 3-Graphs. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ranald Clouston Fitch-Style Modal Lambda Calculi. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel Non-angelic Concurrent Game Semantics. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne Miquey, Hugo Herbelin Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abbas Edalat, Mehrdad Maleki Differential Calculus with Imprecise Input and Its Logical Framework. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Devesas Campos, Paul Blain Levy A Syntactic View of Computational Adequacy. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir A Framework for Parameterized Monitorability. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christel Baier, Ugo Dal Lago (eds.) Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hugo Bazille, Eric Fabre, Blaise Genest Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernardo Toninho, Nobuko Yoshida Depending on Session-Typed Processes. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg Quotient Inductive-Inductive Types. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ornela Dardha, Simon J. Gay A New Linear Logic for Deadlock-Free Session-Typed Processes. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Étienne Lozes, Alessio Mansutti The Effects of Adding Reachability Predicates in Propositional Separation Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto From Symmetric Pattern-Matching to Quantum Control. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luigi Santocanale The Equational Theory of the Natural Join and Inner Union is Decidable. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Genet, Timothée Haudebourg, Thomas P. Jensen Verifying Higher-Order Functions with Tree Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Docherty, David J. Pym Modular Tableaux Calculi for Separation Theories. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Rabusseau Minimization of Graph Weighted Models over Circular Strings. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stéphane Le Roux 0001, Guillermo A. Pérez The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guilhem Jaber, Nikos Tzevelekos A Trace Semantics for System F Parametric Polymorphism. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer Games on Graphs with a Public Signal Monitoring. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1G. A. Kavvos On the Semantics of Intensionality. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand A Lambda-Free Higher-Order Recursive Path Order. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Konstantinos Mamouras Equational Theories of Abnormal Termination Based on Kleene Algebra. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Flavien Breuvart, Ugo Dal Lago, Agathe Herrou On Higher-Order Probabilistic Subrecursion. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Laird From Qualitative to Quantitative Semantics - By Change of Base. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Julien Lange, Nobuko Yoshida On the Undecidability of Asynchronous Session Subtyping. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Abriola, Diego Figueira, Santiago Figueira Logics of Repeating Values on Data Trees and Branching Counter Systems. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson The Free Exponential Modality of Probabilistic Coherence Spaces. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Berardi, Makoto Tatsuta Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Damien Pous, Jurriaan Rot Companions, Codensity and Causality. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Tommaso Padoan Local Model Checking in a Logic for True Concurrency. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michele Boreale Algebra, Coalgebra, and Minimization in Polynomial Differential Equations. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann 0002 Bounding Average-Energy Games. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ken Sakayori, Takeshi Tsukada A Truly Concurrent Game Model of the Asynchronous \pi -Calculus. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alex Simpson Cyclic Arithmetic Is Equivalent to Peano Arithmetic. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Frédéric Gilbert 0002 Automated Constructivization of Proofs. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier Pointless Learning. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergey Goncharov 0001, Lutz Schröder, Christoph Rauch, Maciej Piróg Unifying Guarded and Unguarded Iteration. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gaoang Bian, Alessandro Abate On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi The Paths to Choreography Extraction. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi 0001, Takeshi Tsukada Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier Optimal Reachability in Divergent Weighted Timed Games. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois Degree of Sequentiality of Weighted Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kei Matsumoto Coherence Spaces and Uniform Continuity. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann Nominal Automata with Name Binding. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Stéphane Le Roux 0001, Arno Pauly, Jean-François Raskin On the Existence of Weak Subgame Perfect Equilibria. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Andrzej S. Murawski (eds.) Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Vincent Jugé Dynamic Complexity of the Dyck Reachability. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paula Severi A Light Modality for Recursion. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke Coverability Trees for Petri Nets with Unordered Data. Search on Bibsonomy FoSSaCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Torben Amtoft, Anindya Banerjee 0001 A Theory of Slicing for Probabilistic Control Flow Graphs. Search on Bibsonomy FoSSaCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Meseguer Order-Sorted Rewriting and Congruence Closure. Search on Bibsonomy FoSSaCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Danel Ahman, Neil Ghani, Gordon D. Plotkin Dependent Types and Fibred Computational Effects. Search on Bibsonomy FoSSaCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 657 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
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