Search dblp for Publications

export results for "toc:db/journals/jetc/jetc9.bht:"

 download as .bib file

@article{DBLP:journals/jetc/AbateAFM13,
  author       = {Francesco Abate and
                  Andrea Acquaviva and
                  Elisa Ficarra and
                  Enrico Macii},
  title        = {Integration of Literature with Heterogeneous Information for Genes
                  Correlation Scoring},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {28:1--28:22},
  year         = {2013},
  url          = {https://doi.org/10.1145/2504728},
  doi          = {10.1145/2504728},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/AbateAFM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/ApalkovKWNTLMLCODK13,
  author       = {Dmytro Apalkov and
                  Alexey Khvalkovskiy and
                  Steven Watts and
                  Vladimir Nikitin and
                  Xueti Tang and
                  Daniel Lottis and
                  Kiseok Moon and
                  Xiao Luo and
                  Eugene Chen and
                  Adrian Ong and
                  Alexander Driskill{-}Smith and
                  Mohamad Krounbi},
  title        = {Spin-transfer torque magnetic random access memory {(STT-MRAM)}},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {13:1--13:35},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463585.2463589},
  doi          = {10.1145/2463585.2463589},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/ApalkovKWNTLMLCODK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/BobbaCTBM13,
  author       = {Shashikanth Bobba and
                  Ashutosh Chakraborty and
                  Olivier Thomas and
                  Perrine Batude and
                  Giovanni De Micheli},
  title        = {Cell transformations and physical design techniques for 3D monolithic
                  integrated circuits},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {19:1--19:28},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491675},
  doi          = {10.1145/2491675},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/BobbaCTBM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/ChatterjeeSKM13,
  author       = {Subho Chatterjee and
                  Sayeef S. Salahuddin and
                  Satish Kumar and
                  Saibal Mukhopadhyay},
  title        = {Electrothermal analysis of spin-transfer-torque random access memory
                  arrays},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {15:1--15:17},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463585.2463591},
  doi          = {10.1145/2463585.2463591},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/ChatterjeeSKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/ChenEWDXN13,
  author       = {Yung{-}Chih Chen and
                  Soumya Eachempati and
                  Chun{-}Yao Wang and
                  Suman Datta and
                  Yuan Xie and
                  Vijaykrishnan Narayanan},
  title        = {A Synthesis Algorithm for Reconfigurable Single-Electron Transistor
                  Arrays},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {5:1--5:20},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422094.2422099},
  doi          = {10.1145/2422094.2422099},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/ChenEWDXN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/ChenWLKZW13,
  author       = {Yiran Chen and
                  Weng{-}Fai Wong and
                  Hai Li and
                  Cheng{-}Kok Koh and
                  Yaojun Zhang and
                  Wujie Wen},
  title        = {On-chip caches built on multilevel spin-transfer torque {RAM} cells
                  and its optimizations},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {16:1--16:22},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463585.2463592},
  doi          = {10.1145/2463585.2463592},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/ChenWLKZW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/GhavamiRPT13,
  author       = {Behnam Ghavami and
                  Mohsen Raji and
                  Hossein Pedram and
                  Mehdi Baradaran Tahoori},
  title        = {Design and Analysis of a Robust Carbon Nanotube-Based Asynchronous
                  Primitive Circuit},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {4:1--4:27},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422094.2422098},
  doi          = {10.1145/2422094.2422098},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/GhavamiRPT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/GrazianoFZ13,
  author       = {Mariagrazia Graziano and
                  Stefano Frache and
                  Maurizio Zamboni},
  title        = {A Hardware Viewpoint on Biosequence Analysis: What's Next?},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {29:1--29:21},
  year         = {2013},
  url          = {https://doi.org/10.1145/2504774},
  doi          = {10.1145/2504774},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/GrazianoFZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/Guiducci13,
  author       = {Carlotta Guiducci},
  title        = {Introduction to Special Issue on Bioinformatics},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {26:1--26:2},
  year         = {2013},
  url          = {https://doi.org/10.1145/2536744.2536745},
  doi          = {10.1145/2536744.2536745},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/Guiducci13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/JacksonRCBBCGRRPSSKLM13,
  author       = {Bryan L. Jackson and
                  Bipin Rajendran and
                  Gregory S. Corrado and
                  Matthew J. Breitwisch and
                  Geoffrey W. Burr and
                  Roger Cheek and
                  Kailash Gopalakrishnan and
                  Simone Raoux and
                  Charles T. Rettner and
                  Alvaro Padilla and
                  Alejandro G. Schrott and
                  Rohit S. Shenoy and
                  B{\"{u}}lent N. Kurdi and
                  Chung Hon Lam and
                  Dharmendra S. Modha},
  title        = {Nanoscale electronic synapses using phase change devices},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {12:1--12:20},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463585.2463588},
  doi          = {10.1145/2463585.2463588},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/JacksonRCBBCGRRPSSKLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/LeeM13,
  author       = {Woo Hyung Lee and
                  Pinaki Mazumder},
  title        = {Color image processing with multi-peak resonant tunneling diodes},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {18:1--18:20},
  year         = {2013},
  url          = {https://doi.org/10.1145/2503128},
  doi          = {10.1145/2503128},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/LeeM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/LiangYWW13,
  author       = {Jiale Liang and
                  Chih{-}Wei Stanley Yeh and
                  S. Simon Wong and
                  H.{-}S. Philip Wong},
  title        = {Effect of Wordline/Bitline Scaling on the Performance, Energy Consumption,
                  and Reliability of Cross-Point Memory Array},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {9:1--9:14},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422094.2422103},
  doi          = {10.1145/2422094.2422103},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/LiangYWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/MafteiPM13,
  author       = {Elena Maftei and
                  Paul Pop and
                  Jan Madsen},
  title        = {Module-Based Synthesis of Digital Microfluidic Biochips with Droplet-Aware
                  Operation Execution},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {2:1--2:21},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422094.2422096},
  doi          = {10.1145/2422094.2422096},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/MafteiPM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/MojumderFAGCR13,
  author       = {Niladri Narayan Mojumder and
                  Xuanyao Fong and
                  Charles Augustine and
                  Sumeet Kumar Gupta and
                  Sri Harsha Choday and
                  Kaushik Roy},
  title        = {Dual pillar spin-transfer torque MRAMs for low power applications},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {14:1--14:17},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463585.2463590},
  doi          = {10.1145/2463585.2463590},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/MojumderFAGCR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/NarayananLKJPCM13,
  author       = {Pritish Narayanan and
                  Michael Leuchtenburg and
                  Jorge Kina and
                  Prachi Joshi and
                  Pavan Panchapakeshan and
                  Chi On Chui and
                  Csaba Andras Moritz},
  title        = {Variability in Nanoscale Fabrics: Bottom-up Integrated Analysis and
                  Mitigation},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {8:1--8:24},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422094.2422102},
  doi          = {10.1145/2422094.2422102},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/NarayananLKJPCM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/PaulR13,
  author       = {Bipul C. Paul and
                  Arijit Raychowdhury},
  title        = {Introduction to the special issue on memory technologies},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {10:1--10:2},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463585.2463586},
  doi          = {10.1145/2463585.2463586},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/PaulR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/PeperLCCM13,
  author       = {Ferdinand Peper and
                  Jia Lee and
                  Josep Carmona and
                  Jordi Cortadella and
                  Kenichi Morita},
  title        = {Brownian Circuits: Fundamentals},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {3:1--3:24},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422094.2422097},
  doi          = {10.1145/2422094.2422097},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jetc/PeperLCCM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/PiovesanPMFC13,
  author       = {Damiano Piovesan and
                  Giuseppe Profiti and
                  Pier Luigi Martelli and
                  Piero Fariselli and
                  Rita Casadio},
  title        = {Extended and Robust Protein Sequence Annotation over Conservative
                  Nonhierarchical Clusters: The Case Study of the {ABC} Transporters},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {27:1--27:8},
  year         = {2013},
  url          = {https://doi.org/10.1145/2504729},
  doi          = {10.1145/2504729},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/PiovesanPMFC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/SrinivasanKB13,
  author       = {Shri K. V. Srinivasan and
                  V. Kamakoti and
                  A. Bhattacharya},
  title        = {A Novel Algorithm for Fast Synthesis of {DNA} Probes on Microarrays},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {1:1--1:17},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422094.2422095},
  doi          = {10.1145/2422094.2422095},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/SrinivasanKB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/SunKRX13,
  author       = {Guangyu Sun and
                  Eren Kursun and
                  Jude A. Rivers and
                  Yuan Xie},
  title        = {Exploring the vulnerability of CMPs to soft errors with 3D stacked
                  nonvolatile memory},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {22:1--22:22},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491679},
  doi          = {10.1145/2491679},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/SunKRX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/TangJ13,
  author       = {Aoxiang Tang and
                  Niraj K. Jha},
  title        = {Thermal Characterization of Test Techniques for FinFET and 3D Integrated
                  Circuits},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {6:1--6:16},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422094.2422100},
  doi          = {10.1145/2422094.2422100},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/TangJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/TangJ13a,
  author       = {Aoxiang Tang and
                  Niraj K. Jha},
  title        = {Design space exploration of FinFET cache},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {20:1--20:16},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491678},
  doi          = {10.1145/2491678},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/TangJ13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/ThapliyalR13,
  author       = {Himanshu Thapliyal and
                  Nagarajan Ranganathan},
  title        = {Design of efficient reversible logic-based binary and {BCD} adder
                  circuits},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {17:1--17:31},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491682},
  doi          = {10.1145/2491682},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/ThapliyalR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/VenkenMV13,
  author       = {Lyn Venken and
                  Kathleen Marchal and
                  Jozef Vanderleyden},
  title        = {Synthetic Biology and Microdevices: {A} Powerful Combination},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {30:1--30:22},
  year         = {2013},
  url          = {https://doi.org/10.1145/2504775},
  doi          = {10.1145/2504775},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/VenkenMV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/WangDW13,
  author       = {Shuo Wang and
                  Jianwei Dai and
                  Lei Wang},
  title        = {Hybrid Redundancy for Defect Tolerance in Molecular Crossbar Memory},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {7:1--7:18},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422094.2422101},
  doi          = {10.1145/2422094.2422101},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/WangDW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/WettinVGP13,
  author       = {Paul Wettin and
                  Anuroop Vidapalapati and
                  Amlan Ganguly and
                  Partha Pratim Pande},
  title        = {Complex network-enabled robust wireless network-on-chip architectures},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {24:1--24:19},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491676},
  doi          = {10.1145/2491676},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/WettinVGP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/YangW13,
  author       = {J. Joshua Yang and
                  R. Stanley Williams},
  title        = {Memristive devices in computing system: Promises and challenges},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {11:1--11:20},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463585.2463587},
  doi          = {10.1145/2463585.2463587},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/YangW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/YangWH0GC13,
  author       = {Shengqi Yang and
                  Wenping Wang and
                  Mark Hagan and
                  Wei Zhang and
                  Pallav Gupta and
                  Yu Cao},
  title        = {NBTI-aware circuit node criticality computation},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {23:1--23:19},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491681},
  doi          = {10.1145/2491681},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/YangWH0GC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/ZamaniMT13,
  author       = {Masoud Zamani and
                  Hanieh Mirzaei and
                  Mehdi Baradaran Tahoori},
  title        = {{ILP} formulations for variation/defect-tolerant logic mapping on
                  crossbar nano-architectures},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {21:1--21:21},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491680},
  doi          = {10.1145/2491680},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/ZamaniMT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/ZhangFT13,
  author       = {Xuehui Zhang and
                  Andrew Ferraiuolo and
                  Mohammad Tehranipoor},
  title        = {Detection of trojans using a combined ring oscillator network and
                  off-chip transient power analysis},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {25:1--25:20},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491677},
  doi          = {10.1145/2491677},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/ZhangFT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics