The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase true-concurrency (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1991 (25) 1992-1994 (18) 1995-1998 (15) 1999-2002 (19) 2003-2005 (21) 2006-2007 (18) 2008-2013 (15) 2014-2018 (17) 2019-2022 (13)
Publication types (Num. hits)
article(43) incollection(1) inproceedings(115) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 115 occurrences of 80 keywords

Results
Found 161 publication records. Showing 161 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
75Signe J. Silver, Janusz A. Brzozowski True Concurrency in Models of Asynchronous Circuit Behavior. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multiple-winner, single-winner, semi-modular, asynchronous, circuit, interleaving, true concurrency, delay-insensitive
57Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Chemical Abstract Machines, Concurrent, Broadcasting, Linear Logic, Rewriting, True Concurrency
40Jorge A. Baier, Javier Pinto Integrating True Concurrency into the Robot Programming Language. Search on Bibsonomy SCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Golog, Congolog, TCongolog, Concurrency, Knowledge Representation
40J. W. de Bakker, J. H. A. Warmerdam Metric Pomset Semantics for a Concurrnt Language with Recursion. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule
36Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Paul-André Melliès Asynchronous Games 2: The True Concurrency of Innocence. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Bard Bloom, Marta Z. Kwiatkowska Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. Search on Bibsonomy MFPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36David W. Mizell Verification and Design Aspects of "True" Concurrency. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
35Christie Marr Capturing Conflict and Confusion in CSP. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
35Harald Fecher, Mila E. Majster-Cederbaum Action Refinement Applied to Late Decisions. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency
35Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad Open protocol design for complex interactions in multi-agent systems. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed observation, protocol diagrams, formal specification, validation, colored petri nets, true concurrency, AUML
35Linda A. Ness L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages
35Jos C. M. Baeten, Jan A. Bergstra Real Space Process Algebra. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF real space-time, Galilei transformation, Lorentz transformation, real time, interleaving, true concurrency, & Phrases process algebra
33Luca Aceto, David Murphy On the Ill-Timed but Well-Caused. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
32Leila Ribeiro Korff, Martin Korff True Concurrency = Interleaving Concurrency + Weak Conflict. Search on Bibsonomy US-Brazil Joint Workshops on the Formal Foundations of Software Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo Analysis of the SET e-commerce protocol using a true concurrency process algebra. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SET protocol, heterogeneous shared resources, performance evaluation, formal specification, process algebra
31Sibylle B. Fröschle Composition and Decomposition in True-Concurrency. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià A Bounded True Concurrency Process Algebra for Performance Evaluation. Search on Bibsonomy FORTE Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Mila E. Majster-Cederbaum, Jinzhao Wu Adding Action Refinement to Stochastic True Concurrency Models. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Lalita Jategaonkar, Albert R. Meyer Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report). Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Doris Nolte, Lutz Priese Fairness in Models with True Concurrency. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
31David Murphy Testing, Betting and Timed True Concurrency. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
31John-Jules Ch. Meyer, Erik P. de Vink Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
29Haim Gaifman Modeling concurrency by partial orders and nonlinear transition systems. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF pomset, causal precedence, concurrent, computation, process, event, deadlock, partial order, action, state, transition system, automaton, shared resource, dining philosophers, simultaneous
26Samy Abbes, Albert Benveniste Concurrency, sigma-Algebras, and Probabilistic Fairness. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Probabilistic Petri nets, probabilistic event structures, probabilistic fairness, true-concurrency
26Zining Cao A True Concurrent Process Calculus and Its Conflict Bisimulation. Search on Bibsonomy SNPD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bisimulation, Process Calculus, True Concurrency
26Eric Fabre Trellis Processes : A Compact Representation for Runs of Concurrent Systems. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF True concurrency semantics, Petri net, Diagnosis, Product, Factorization, Concurrent system, Unfolding, Category theory, Branching process, Trellis
26Mila E. Majster-Cederbaum, Jinzhao Wu Action Refinement for True Concurrent Real Time. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF timed event structure, timed process algebra, action refinement, true concurrency
26David H. Pitt, M. W. Shields Overtaking in Asynchronous Periodic Systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Vector languages, Periodicity, Asynchrony, True concurrency
26Jos C. M. Baeten, Jan A. Bergstra Non Interleaving Process Algebra. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF non-interleaving, Petri net, interleaving, true concurrency, ACP, & Phrases process algebra
26Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini A Categorial View of Process Refinement. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF concurrent programs, categories, event structures, true concurrency, Hierarchical specifications
26Jean Fanchon Dynamic Concurrent Processes. Search on Bibsonomy PARLE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF dynamic placement, graphs, operational semantics, communicating processes, true concurrency
26Jean Fanchon, D. Millot Models for Dynamically Placed Concurrent Processes. Search on Bibsonomy PARLE (2) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Key-words true concurrency, dynamic placement, networks, operational semantics, bisimulation, partial orders
26Ludmila Cherkasova, Vadim E. Kotov Descriptive and analytical process algebras. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF concurrent nondeterministic processes, non-actions, occurrence nets, A-nets, M-density, Petri nets, denotational semantics, partially ordered sets, true concurrency
23José Meseguer 0001, Carolyn L. Talcott A Partial Order Event Model for Concurrent Objects. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23Rocco De Nicola, Gian-Luigi Ferrari 0002 Observational Logics and Concurrency Models. Search on Bibsonomy FSTTCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
22 True Concurrency Can Be Easy. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Imane Haur, Jean-Luc Béchennec, Olivier H. Roux High-level Colored Time Petri Nets for true concurrency modeling in real-time software. Search on Bibsonomy CoDIT The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Irina B. Virbitskaite, Andrey Yu Zubarev 'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Adriano Augusto, Marlon Dumas, Marcello La Rosa Automated Discovery of Process Models with True Concurrency and Inclusive Choices. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
22Yong Wang Probabilistic Process Algebra for True Concurrency. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
22Nadia Chabbat, Djamel-Eddine Saïdouni, Radja Boukharrou, Salim Ghanemi Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. Search on Bibsonomy Comput. Informatics The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Paolo Baldan, Tommaso Padoan Model Checking a Logic for True Concurrency. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Yong Wang On the Parallel Composition for True Concurrency. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
22Roberto Gorrieri Interleaving vs True Concurrency: Some Instructive Security Examples. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Juliana Küster Filipe Bowles, Marco B. Caminati A Formally Verified SMT Approach to True Concurrency. Search on Bibsonomy CILC The full citation details ... 2020 DBLP  BibTeX  RDF
22Lavindra de Silva An Operational Semantics for True Concurrency in BDI Agent Systems. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Adriano Augusto, Marlon Dumas, Marcello La Rosa Automated Discovery of Process Models with True Concurrency and Inclusive Choices. Search on Bibsonomy ICPM Workshops The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Wojciech Penczek All True Concurrency Models Start with Petri Nets: A Personal Tribute to Carl Adam Petri. Search on Bibsonomy Carl Adam Petri: Ideas, Personality, Impact The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Damiano Mazza The true concurrency of differential interaction nets. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Yong Wang Structured Parallel Programming Language Based on True Concurrency. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
22Liangze Yin, Wei Dong 0006, Fei He, Ji Wang 0001 A True-Concurrency Encoding for BMC of Compositional Systems. Search on Bibsonomy Comput. J. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Paolo Baldan, Tommaso Padoan Automata for True Concurrency Properties. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Tommaso Padoan Relating some Logics for True Concurrency. Search on Bibsonomy ICTCS The full citation details ... 2018 DBLP  BibTeX  RDF
22Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel The True Concurrency of Herbrand's Theorem. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Yong Wang An Algebra of Actors Based on True Concurrency. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
22Paolo 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
22Jérémy Dubut Directed homotopy and homology theories for geometric models of true concurrency. (Théories homotopiques et homologiques dirigées pour des modèles géométriques de la vraie concurrence). Search on Bibsonomy 2017   RDF
22Yong Wang Algebraic Laws for True Concurrency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
22Yong Wang Weakly True Concurrency and Its Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
22Farid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni Solving preemptive job-shop scheduling problems using a true concurrency model. Search on Bibsonomy Int. J. Simul. Process. Model. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Ozan Kahramanogullari True Concurrency of Deep Inference Proofs. Search on Bibsonomy WoLLIC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Sotiris Moschoyiannis, Paul J. Krause True Concurrency in Long-running Transactions for Digital Ecosystems. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Brijesh Dongol, John Derrick Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni True Concurrency Semantics: Towards a Verification of Timed Systems. Search on Bibsonomy Int. J. Embed. Real Time Commun. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Paolo Baldan, Silvia Crafa A Logic for True Concurrency. Search on Bibsonomy J. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Nabil Belala, Djamel-Eddine Saïdouni, Radja Boukharrou, Ahmed-Chawki Chaouche, A. Seraoui, A. Chachoua Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. Search on Bibsonomy Int. J. Embed. Real Time Commun. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Brijesh Dongol, John Derrick Data refinement for true concurrency Search on Bibsonomy Refine@IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Paolo Baldan, Silvia Crafa A Logic for True Concurrency Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
22Julian Gutierrez 0001 Logics and Games for True Concurrency Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
22Javier Esparza A False History of True Concurrency: From Petri to Tools. Search on Bibsonomy SPIN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Paolo Baldan, Silvia Crafa A Logic for True Concurrency. Search on Bibsonomy CONCUR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Javier Esparza A False History of True Concurrency: From Petri to Tools. Search on Bibsonomy ICGT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Monika Kapus-Kolar An action refinement operator for E-LOTOS with true concurrency. Search on Bibsonomy Comput. Stand. Interfaces The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Samy Abbes, Albert Benveniste True-concurrency probabilistic models: Markov nets and a law of large numbers. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Sibylle B. Fröschle, Slawomir Lasota 0001 Causality versus true-concurrency. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Monika Kapus-Kolar Enhanced event structures: Towards a true concurrency semantics for E-LOTOS. Search on Bibsonomy Comput. Stand. Interfaces The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Paul-André Melliès Asynchronous games 2: The true concurrency of innocence. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Samy Abbes, Albert Benveniste True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, Jean-Pierre Talpin Polychronous Methodology For System Design: A True Concurrency Approach. Search on Bibsonomy HLDVT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Sibylle B. Fröschle, Slawomir Lasota 0001 Causality Versus True-Concurrency. Search on Bibsonomy EXPRESS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Marc L. Smith Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency. Search on Bibsonomy FCS The full citation details ... 2005 DBLP  BibTeX  RDF
22Marc L. Smith A Unifying Theory of True Concurrency Based on CSP and Lazy Observation. Search on Bibsonomy CPA The full citation details ... 2005 DBLP  BibTeX  RDF
22Adrian E. Lawrence CSP extended: imperative state and true concurrency. Search on Bibsonomy IEE Proc. Softw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Claude Jard Synthesis of distributed testers from true-concurrency models of reactive systems. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Slawomir Lasota 0001 A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu Refinement of actions in a real-time process algebra with a true concurrency model. Search on Bibsonomy Refine The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Julian C. Bradfield, Sibylle B. Fröschle Independence-Friendly Modal Logic and True Concurrency. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2002 DBLP  BibTeX  RDF
22Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu Action Refinement for Probabilistic Processes with True Concurrency Models. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Claude Jard Principles of Distributed Test Synthesis based on True-concurrency Models. Search on Bibsonomy TestCom The full citation details ... 2002 DBLP  BibTeX  RDF
22Lutz Priese, Harro Wimmel A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Howard Bowman, Joost-Pieter Katoen A True Concurrency Semantics for ET-LOTOS. Search on Bibsonomy ACSD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Chiara Bodei, Corrado Priami True Concurrency via Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Howard Bowman, John Derrick Extending LOTOS with Time: A True Concurrency Perspective. Search on Bibsonomy ARTS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Abdelkader Dekdouk Modèles algébriques pour le parallélisme vrai et le raffinement d'actions. (Algebraic models for true-concurrency and action refinement). Search on Bibsonomy 1997   RDF
22Lalita Jategaonkar, Albert R. Meyer Deciding True Concurrency Equivalences on Safe, Finite Nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22 Debate '90: An electronic discussion on true concurrency. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22Lalita Jategaonkar Jagadeesan, Radha Jagadeesan Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). Search on Bibsonomy AMAST The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Howard Bowman, John Derrick A True Concurrency Semantics for Quality of Service Specification and Validation. Search on Bibsonomy MMNET The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 161 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license