default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArjan J. C. van Gemund
Person information
- affiliation: Delft University of Technology, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2014
[j21]Alexander Feldman, Johan de Kleer
, Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David García, Lukas D. Kuhn, Arjan J. C. van Gemund:
The Diagnostic Competitions. AI Mag. 35(2): 49-54 (2014)- 2012
- [j20]Arjan J. C. van Gemund, Gerard L. Reijns:
Reliability Analysis of $k$-out-of- $n$ Systems With Single Cold Standby Using Pearson Distributions. IEEE Trans. Reliab. 61(2): 526-532 (2012) - [j19]Arjan J. C. van Gemund, Gerard L. Reijns:
Errata to "Reliability Analysis of k -out-of- n Systems With Single Cold Standby Using Pearson Distributions" [Jun 12 526-532]. IEEE Trans. Reliab. 61(3): 832 (2012) - 2011
- [j18]Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
Simultaneous debugging of software faults. J. Syst. Softw. 84(4): 573-586 (2011) - [j17]Alberto González-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund:
Prioritizing tests for software fault diagnosis. Softw. Pract. Exp. 41(10): 1105-1129 (2011) - 2010
- [j16]Rui Abreu, Arjan J. C. van Gemund:
Diagnosing multiple intermittent failures using maximum likelihood estimation. Artif. Intell. 174(18): 1481-1497 (2010) - [j15]Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. J. Artif. Intell. Res. 38: 371-413 (2010) - [j14]Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
A Model-Based Active Testing Approach to Sequential Diagnosis. J. Artif. Intell. Res. 39: 301-334 (2010) - 2009
- [j13]Rui Abreu, Peter Zoeteweij, Rob Golsteijn, Arjan J. C. van Gemund:
A practical evaluation of spectrum-based fault localization. J. Syst. Softw. 82(11): 1780-1792 (2009) - [j12]Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo:
Performance implications of synchronization structure in parallel programming. Parallel Comput. 35(8-9): 455-474 (2009) - 2007
- [j11]Hans-Gerhard Gross, Arjan J. C. van Gemund:
The delft MS curriculum on embedded systems. SIGBED Rev. 4(1): 1-10 (2007) - [j10]Gerard L. Reijns, Arjan J. C. van Gemund:
Reliability Analysis of Hierarchical Systems Using Statistical Moments. IEEE Trans. Reliab. 56(3): 525-533 (2007) - 2006
- [j9]Hasyim Gautama, Arjan J. C. van Gemund:
Low-Cost Static Performance Prediction of Parallel Stochastic Task Compositions. IEEE Trans. Parallel Distributed Syst. 17(1): 78-91 (2006) - 2005
- [j8]Gerard L. Reijns, Arjan J. C. van Gemund:
Predicting the execution times of parallel-independent programs using Pearson distributions. Parallel Comput. 31(8-9): 877-899 (2005) - 2003
- [j7]Hasyim Gautama, Arjan J. C. van Gemund:
Symbolic Performance Estimation Of Speculative Parallel Programs. Parallel Process. Lett. 13(4): 513-524 (2003) - [j6]Arjan J. C. van Gemund:
Symbolic Performance Modeling of Parallel Systems. IEEE Trans. Parallel Distributed Syst. 14(2): 154-165 (2003) - 2002
- [j5]Andrei Radulescu, Arjan J. C. van Gemund:
Low-Cost Task Scheduling for Distributed-Memory Machines. IEEE Trans. Parallel Distributed Syst. 13(6): 648-658 (2002) - 2001
- [j4]Gerard L. Reijns, Arjan J. C. van Gemund, Hasyim Gautama:
Performance Analysis of Multi-Stage Interconnection Networks with Deterministic Service Times. Parallel Process. Lett. 11(1): 109-123 (2001) - 2000
- [j3]Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Thilo Kielmann, Jason Maassen, Rob van Nieuwpoort, John Romain, Luc Renambot, Tim Rühl, Ronald Veldema, Kees Verstoep, Aline Baggio, Gerco Ballintijn, Ihor Kuz, Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum, Gerben Doornbos, Desmond Germans, Hans J. W. Spoelder, Evert Jan Baerends, Stan J. A. van Gisbergen, Hamid Afsermanseh, G. Dick van Albada, Adam Belloum, David Dubbeldam, Zeger W. Hendrikse, Louis O. Hertzberger, Alfons G. Hoekstra, Kamil Iskra, Drona Kandhai, Dennis C. Koelma, Frank van der Linden, Benno J. Overeinder, Peter M. A. Sloot, Piero Spinnato, Dick H. J. Epema, Arjan J. C. van Gemund, Pieter P. Jonker, Andrei Radulescu, Kees van Reeuwijk, Henk J. Sips, Peter M. W. Knijnenburg, Michael S. Lew, Floris Sluiter, Lex Wolters, Hans Blom, Cees de Laat:
The Distributed ASCI Supercomputer Project. ACM SIGOPS Oper. Syst. Rev. 34(4): 76-96 (2000) - 1999
- [j2]Gerard L. Reijns, Arjan J. C. van Gemund:
Analysis of a shared-memory multiprocessor via a novel queuing model. J. Syst. Archit. 45(14): 1189-1193 (1999) - 1997
- [j1]Kees van Reeuwijk, Arjan J. C. van Gemund, Henk J. Sips:
Spar: A Programming Language for Semi-Automatic Compilation of Parallel Programs. Concurr. Pract. Exp. 9(11): 1193-1205 (1997)
Conference and Workshop Papers
- 2014
- [c76]Claudio Landi, Arjan J. C. van Gemund, Marina Zanella:
Heuristics to Increase Observability in Spectrum-based Fault Localization. ECAI 2014: 1053-1054 - 2011
- [c75]Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund:
Spectrum-Based Sequential Diagnosis. AAAI 2011: 189-196 - [c74]Shekhar Gupta, Arjan J. C. van Gemund, Rui Abreu:
Probabilistic Error Propagation Modeling in Logic Circuits. ICST Workshops 2011: 617-623 - [c73]Alberto González-Sanchez, Hans-Gerhard Gross, Arjan J. C. van Gemund:
Modeling the Diagnostic Efficiency of Regression Test Suites. ICST Workshops 2011: 634-643 - [c72]Alberto González-Sanchez, Éric Piel, Hans-Gerhard Gross, Arjan J. C. van Gemund:
A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing. ICST Workshops 2011: 654-660 - [c71]Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund:
A Diagnostic Reasoning Approach to Defect Prediction. IEA/AIE (2) 2011: 416-425 - [c70]Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund:
Prioritizing tests for fault localization through ambiguity group reduction. ASE 2011: 83-92 - [c69]Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund:
An empirical study on the usage of testability information to fault localization in software. SAC 2011: 1398-1403 - [c68]Éric Piel, Alberto González-Sanchez, Hans-Gerhard Groß, Arjan J. C. van Gemund:
Spectrum-Based Health Monitoring for Self-Adaptive Systems. SASO 2011: 99-108 - 2010
- [c67]Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund:
Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics. COMPSAC 2010: 419-424 - [c66]Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund:
Exploiting count spectra for Bayesian fault localization. PROMISE 2010: 12 - [c65]Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund:
Prioritizing Tests for Software Fault Localization. QSIC 2010: 42-51 - [c64]Hasan Sözer, Rui Abreu, Mehmet Aksit, Arjan J. C. van Gemund:
Increasing System Availability with Local Recovery Based on Fault Localization. QSIC 2010: 276-281 - 2009
- [c63]Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. IJCAI 2009: 653-658 - [c62]Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
FRACTAL: Efficient Fault Isolation Using Active Testing. IJCAI 2009: 778-784 - [c61]Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Solving Strong-Fault Diagnostic Models by Model Relaxation. IJCAI 2009: 785-790 - [c60]Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
Spectrum-Based Multiple Fault Localization. ASE 2009: 88-99 - [c59]Tom Janssen, Rui Abreu, Arjan J. C. van Gemund:
Zoltar: A Toolset for Automatic Fault Localization. ASE 2009: 662-664 - [c58]Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
Localizing Software Faults Simultaneously. QSIC 2009: 367-376 - [c57]Rui Abreu, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund:
Refining spectrum-based fault localization rankings. SAC 2009: 409-414 - [c56]Rui Abreu, Arjan J. C. van Gemund:
A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. SARA 2009 - [c55]Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas D. Kuhn, Arjan J. C. van Gemund:
Automated Redesign with the General Redesign Engine. SARA 2009 - 2008
- [c54]Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Computing Minimal Diagnoses by Greedy Stochastic Search. AAAI 2008: 911-918 - [c53]Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. AAAI 2008: 919-924 - [c52]Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund:
Using Fault Screeners for Software Error Detection. ENASE (Selected Papers) 2008: 60-74 - [c51]Rui Abreu, Alberto González-Sanchez, Peter Zoeteweij, Arjan J. C. van Gemund:
On the Performance of Fault Screeners in Software Development and Deployment. ENASE 2008: 123-130 - [c50]Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
An observation-based model for fault localization. WODA 2008: 64-70 - [c49]Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund:
Automatic software fault localization using generic program invariants. SAC 2008: 712-717 - [c48]Peter Zoeteweij, Jurryt Pietersma, Rui Abreu, Alexander Feldman, Arjan J. C. van Gemund:
Automated Fault Diagnosis in Embedded Systems. SSIRI 2008: 103-110 - 2007
- [c47]Peter Zoeteweij, Rui Abreu, Rob Golsteijn, Arjan J. C. van Gemund:
Diagnosis of Embedded Software Using Program Spectra. ECBS 2007: 213-220 - [c46]Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. SARA 2007: 139-154 - 2006
- [c45]Alexander Feldman, Arjan J. C. van Gemund:
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. AAAI 2006: 827-833 - [c44]Ana Lucia Varbanescu, Henk J. Sips, Arjan J. C. van Gemund:
PAM-SoC: A Toolchain for Predicting MPSoC Performance. Euro-Par 2006: 111-123 - [c43]Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
An Evaluation of Similarity Coefficients for Software Fault Localization. PRDC 2006: 39-46 - [c42]Jurryt Pietersma, Arjan J. C. van Gemund:
Temporal versus Spatial Observability in Model-Based Diagnosis. SMC 2006: 5325-5331 - 2005
- [c41]Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo:
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages. Euro-Par 2005: 782-792 - 2004
- [c40]Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo, Raúl Portales-Fernández, Jose A. Caminero-Granja:
A Preliminary Nested-Parallel Framework to Efficiently Implement Scientific Applications. VECPAR 2004: 541-555 - 2003
- [c39]Hasyim Gautama, Arjan J. C. van Gemund:
Symbolic Performance Prediction of Speculative Parallel Programs. Euro-Par 2003: 88-97 - [c38]Yves Robert, Henri Casanova, Arjan J. C. van Gemund, Dieter Kranzlmüller:
Topic Introduction. Euro-Par 2003: 147 - [c37]Hasyim Gautama, Arjan J. C. van Gemund:
A Statistical Approach to Branch Modeling in Static Program Performance Prediction. IPDPS 2003: 280 - 2002
- [c36]Hasyim Gautama, Arjan J. C. van Gemund:
Symbolic Performance Prediction of Data-Dependent Parallel Programs. Computer Performance Evaluation / TOOLS 2002: 259-278 - [c35]Arjan J. C. van Gemund:
Symbolic Cost Estimation of Parallel Applications. Euro-Par 2002: 147-156 - [c34]Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo:
Mapping Unstructured Applications into Nested Parallelism. VECPAR 2002: 407-420 - 2001
- [c33]Hasyim Gautama, Arjan J. C. van Gemund:
Performance Prediction of Data-Dependent Task Parallel Programs. Euro-Par 2001: 106-116 - [c32]Andrei Radulescu, Arjan J. C. van Gemund:
A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling. ICPP 2001: 69-76 - [c31]Andrei Radulescu, Cristina Nicolescu, Arjan J. C. van Gemund, Pieter Jonker:
CPR: Mixed Task and Data Parallel Scheduling for Distributed Systems. IPDPS 2001: 39 - [c30]Hasyim Gautama, Arjan J. C. van Gemund:
Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs. MASCOTS 2001: 173-182 - 2000
- [c29]Andrei Radulescu, Arjan J. C. van Gemund:
Preemptive Task Scheduling for Distributed Systems (Research Note). Euro-Par 2000: 272-276 - [c28]Andrei Radulescu, Arjan J. C. van Gemund:
Fast and Effective Task Scheduling in Heterogeneous Systems. Heterogeneous Computing Workshop 2000: 229-238 - [c27]Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo, Judith Alonso-López, David Martín-García, Alberto Pedrosa-Calvo:
Measuring the Performance Impact of SP-Restricted Programming in Shared-Memory Machines. VECPAR 2000: 128-141 - [c26]Hasyim Gautama, Arjan J. C. van Gemund:
Static performance prediction of data-dependent programs. Workshop on Software and Performance 2000: 216-226 - 1999
- [c25]Gerard L. Reijns, Arjan J. C. van Gemund, Jan Schier, Peter J. F. Swart:
Real-Time Signal Processing in a Collision Avoidance Radar System using Parallel Computing. HPCN Europe 1999: 23-32 - [c24]Andrei Radulescu, Arjan J. C. van Gemund:
FLB: Fast Load Balancing for Distributed-Memory Machines. ICPP 1999: 534-541 - [c23]Andrei Radulescu, Arjan J. C. van Gemund:
On the complexity of list scheduling algorithms for distributed-memory systems. International Conference on Supercomputing 1999: 68-75 - [c22]Andrei Radulescu, Arjan J. C. van Gemund, Hai-Xiang Lin:
LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems. IPPS/SPDP 1999: 525-530 - [c21]Arturo González-Escribano, Valentín Cardeñoso-Payo, Angel Vaca-Diez, Arjan J. C. van Gemund, Hai-Xiang Lin:
Expressiveness versus optimizability in coordinating parallelism. PARCO 1999: 526-533 - 1998
- [c20]Arjan J. C. van Gemund:
Using High-Level Performance Prediction in Compiling for Distributed Systems. HICSS (7) 1998: 554-563 - [c19]Andrei Radulescu, Arjan J. C. van Gemund:
GLB: a low-cost scheduling algorithm for distributed-memory architectures. HiPC 1998: 294-301 - 1997
- [c18]Arturo González-Escribano, Valentín Cardeñoso-Payo, Arjan J. C. van Gemund:
On the Loss of Parallelism by imposing Synchronization Structure. Euro-PDS 1997: 251-256 - [c17]Arjan J. C. van Gemund:
Supporting unbounded process parallelism in the SPC programming model. HiPC 1997: 168-173 - [c16]Srinivasan Balakrishnan, S. K. Nandy, Arjan J. C. van Gemund:
Modeling multi-threaded architectures in PAMELA for real-time high performance applications. HiPC 1997: 407-414 - [c15]Arjan J. C. van Gemund:
The Importance of Synchronization Structure in Parallel Program Optimization. International Conference on Supercomputing 1997: 164-171 - 1996
- [c14]Arjan J. C. van Gemund:
SPC: A Model of Parallel Computation. Euro-Par, Vol. II 1996: 397-400 - [c13]Hai-Xiang Lin, Arjan J. C. van Gemund, Johan Meijdam:
Scalability analysis and parallel execution of unstructured problems. EUROSIM 1996: 151-160 - [c12]Hai-Xiang Lin, Arjan J. C. van Gemund, Johan Meijdam, Pier Nauta:
TGEX: a Tool for Portable Parallel and Distributed Execution of Unstructured Problems. HPCN Europe 1996: 467-474 - 1995
- [c11]Arjan J. C. van Gemund, Hai-Xiang Lin:
Scalability Analysis of Parallel Finite Element Methods Using Performance Simulation. EUROSIM 1995: 261-266 - [c10]Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns:
A probabilistic approach to parallel system performance modelling. HICSS (2) 1995: 412-421 - [c9]Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns:
Performance modeling of parallel systems with flexible precision. HICSS (2) 1995: 444-445 - [c8]Arjan J. C. van Gemund:
Compile-time Performance Prediction of Parallel Systems. MMB 1995: 299-313 - 1994
- [c7]Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns:
Efficient Performance Evaluation of Parallel Systems. EUROSIM 1994: 389-396 - [c6]Arjan J. C. van Gemund:
Compiling performance models from parallel programs. International Conference on Supercomputing 1994: 303-312 - 1993
- [c5]Arjan J. C. van Gemund:
Performance Prediction of Parallel Processing Systems: The PAMELA Methodology. International Conference on Supercomputing 1993: 318-327 - [c4]Arjan J. C. van Gemund:
The PAMELA Approach to Performance Modeling of Parallel and Distributed Systems. PARCO 1993: 421-428 - 1992
- [c3]Mark R. Roest, Arjan J. C. van Gemund, Henk J. Sips:
CPE: A Methodology to Construct Efficient and Structured Simulators of Concurrent Computer Systems. EUROSIM 1992: 35-40 - 1991
- [c2]Edwin M. R. M. Paalvast, Henk J. Sips, Arjan J. C. van Gemund:
Automatic Parallel Program Generation and Optimization from Data Decompositions. ICPP (2) 1991: 124-131 - 1990
- [c1]Edwin M. R. M. Paalvast, Arjan J. C. van Gemund, Henk J. Sips:
A method for parallel program generation with an application to the Booster language. ICS 1990: 457-469
Parts in Books or Collections
- 2013
- [p2]Éric Piel, Alberto González-Sanchez, Hans-Gerhard Gross, Arjan J. C. van Gemund:
Online Fault Localization and Health Monitoring for Software Systems. Situation Awareness with Systems of Systems 2013: 229-245 - [p1]Alberto González-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund:
Prioritizing Tests for Fault Localization. Situation Awareness with Systems of Systems 2013: 247-257
Informal and Other Publications
- 2014
- [i3]Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. CoRR abs/1401.3848 (2014) - [i2]Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
A Model-Based Active Testing Approach to Sequential Diagnosis. CoRR abs/1401.3850 (2014) - 2006
- [i1]Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
Program Spectra Analysis in Embedded Software: A Case Study. CoRR abs/cs/0607116 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
