BibTeX records: H. Venkateswaran

download as .bib file

@inproceedings{DBLP:conf/coco/Venkateswaran06,
  author       = {H. Venkateswaran},
  title        = {Derandomization of Probabilistic Auxiliary Pushdown Automata Classes},
  booktitle    = {21st Annual {IEEE} Conference on Computational Complexity {(CCC} 2006),
                  16-20 July 2006, Prague, Czech Republic},
  pages        = {355--370},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CCC.2006.16},
  doi          = {10.1109/CCC.2006.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/Venkateswaran06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LakshmananMAV04,
  author       = {Subramanian Lakshmanan and
                  Deepak J. Manohar and
                  Mustaque Ahamad and
                  H. Venkateswaran},
  title        = {Collective Endorsement and the Dissemination Problem in Malicious
                  Environments},
  booktitle    = {2004 International Conference on Dependable Systems and Networks {(DSN}
                  2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
  pages        = {527--536},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/DSN.2004.1311922},
  doi          = {10.1109/DSN.2004.1311922},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/LakshmananMAV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/CovingtonAEV04,
  author       = {Michael J. Covington and
                  Mustaque Ahamad and
                  Irfan A. Essa and
                  H. Venkateswaran},
  editor       = {Pierangela Samarati and
                  Peter Y. A. Ryan and
                  Dieter Gollmann and
                  Refik Molva},
  title        = {Parameterized Authentication},
  booktitle    = {Computer Security - {ESORICS} 2004, 9th European Symposium on Research
                  Computer Security, Sophia Antipolis, France, September 13-15, 2004,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3193},
  pages        = {276--292},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30108-0\_17},
  doi          = {10.1007/978-3-540-30108-0\_17},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/esorics/CovingtonAEV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PonnuswamiV04,
  author       = {Ashok Kumar Ponnuswami and
                  H. Venkateswaran},
  editor       = {Kamal Lodaya and
                  Meena Mahajan},
  title        = {Monotone Multilinear Boolean Circuits for Bipartite Perfect Matching
                  Require Exponential Size},
  booktitle    = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
                  Computer Science, 24th International Conference, Chennai, India, December
                  16-18, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3328},
  pages        = {460--468},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30538-5\_38},
  doi          = {10.1007/978-3-540-30538-5\_38},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/PonnuswamiV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/LakshmananAV03,
  author       = {Subramanian Lakshmanan and
                  Mustaque Ahamad and
                  H. Venkateswaran},
  title        = {Responsive Security for Stored Data},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {14},
  number       = {9},
  pages        = {818--828},
  year         = {2003},
  url          = {https://doi.org/10.1109/TPDS.2003.1233705},
  doi          = {10.1109/TPDS.2003.1233705},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/LakshmananAV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ManivelAV03,
  author       = {Vinay Manivel and
                  Mustaque Ahamad and
                  H. Venkateswaran},
  editor       = {Peng Liu and
                  Partha P. Pal},
  title        = {Attack resistant cache replacement for survivable services},
  booktitle    = {Proceedings of the 2003 {ACM} Workshop on Survivable and Self-Regenerative
                  Systems, in Association with 10th {ACM} Conference on Computer and
                  Communications Security, SSRS@CCS 2003, Fairfax, VA, USA, October
                  31, 2003},
  pages        = {64--71},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/1036921.1036928},
  doi          = {10.1145/1036921.1036928},
  timestamp    = {Fri, 20 Jan 2023 16:46:09 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/ManivelAV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/LakshmananAV03,
  author       = {Subramanian Lakshmanan and
                  Mustaque Ahamad and
                  H. Venkateswaran},
  title        = {Responsive Security for Stored Data},
  booktitle    = {23rd International Conference on Distributed Computing Systems {(ICDCS}
                  2003), 19-22 May 2003, Providence, RI, {USA}},
  pages        = {146--154},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICDCS.2003.1203461},
  doi          = {10.1109/ICDCS.2003.1203461},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/LakshmananAV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LakshmananAV01,
  author       = {Subramanian Lakshmanan and
                  Mustaque Ahamad and
                  H. Venkateswaran},
  title        = {A Secure and Highly Available Distributed Store for Meeting Diverse
                  Data Storage Needs},
  booktitle    = {2001 International Conference on Dependable Systems and Networks {(DSN}
                  2001) (formerly: FTCS), 1-4 July 2001, G{\"{o}}teborg, Sweden,
                  Proceedings},
  pages        = {251--260},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/DSN.2001.941410},
  doi          = {10.1109/DSN.2001.941410},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/LakshmananAV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SenguptaV00,
  author       = {Rimli Sengupta and
                  H. Venkateswaran},
  title        = {Non-cancellative Boolean circuits: {A} generalization of monotone
                  boolean circuits},
  journal      = {Theor. Comput. Sci.},
  volume       = {237},
  number       = {1-2},
  pages        = {197--212},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0304-3975(98)00170-4},
  doi          = {10.1016/S0304-3975(98)00170-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SenguptaV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/SivasubramaniamSRV99,
  author       = {Anand Sivasubramaniam and
                  Aman Singla and
                  Umakishore Ramachandran and
                  H. Venkateswaran},
  title        = {An Application-Driven Study of Parallel System Overheads and Network
                  Bandwidth Requirements},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {10},
  number       = {3},
  pages        = {193--210},
  year         = {1999},
  url          = {https://doi.org/10.1109/71.755819},
  doi          = {10.1109/71.755819},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/SivasubramaniamSRV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SenguptaV98,
  author       = {Rimli Sengupta and
                  H. Venkateswaran},
  title        = {A Lower Bound for Monotone Arithmetic Circuits Computing 0-1 Permanent},
  journal      = {Theor. Comput. Sci.},
  volume       = {209},
  number       = {1-2},
  pages        = {389--398},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(98)00130-3},
  doi          = {10.1016/S0304-3975(98)00130-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SenguptaV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SenguptaV96,
  author       = {Rimli Sengupta and
                  H. Venkateswaran},
  editor       = {Vijay Chandru and
                  V. Vinay},
  title        = {Non-cancellative Boolean Circuits: {A} Generalization of Monotone
                  Boolean Circuits},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1180},
  pages        = {298--309},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-62034-6\_58},
  doi          = {10.1007/3-540-62034-6\_58},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/SenguptaV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/SivasubramaniamSRV95,
  author       = {Anand Sivasubramaniam and
                  Aman Singla and
                  Umakishore Ramachandran and
                  H. Venkateswaran},
  title        = {Abstracting Network Characteristics and Locality Properties of Parallel
                  Systems},
  booktitle    = {Proceedings of the 1st {IEEE} Symposium on High-Performance Computer
                  Architecture {(HPCA} 1995), Raleigh, North Carolina, USA, January
                  22-25, 1995},
  pages        = {54--63},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/HPCA.1995.386555},
  doi          = {10.1109/HPCA.1995.386555},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpca/SivasubramaniamSRV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/SivasubramaniamSRV95,
  author       = {Anand Sivasubramaniam and
                  Aman Singla and
                  Umakishore Ramachandran and
                  H. Venkateswaran},
  editor       = {Blaine D. Gaither},
  title        = {On Characterizing Bandwidth Requirements of Parallel Applications},
  booktitle    = {Proceedings of the 1995 {ACM} {SIGMETRICS} joint international conference
                  on Measurement and modeling of computer systems, Ottawa, Canada, May
                  15-19, 1995},
  pages        = {198--207},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/223587.223609},
  doi          = {10.1145/223587.223609},
  timestamp    = {Fri, 30 Jul 2021 16:13:31 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmetrics/SivasubramaniamSRV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/SivasubramaniamSRV94,
  author       = {Anand Sivasubramaniam and
                  Aman Singla and
                  Umakishore Ramachandran and
                  H. Venkateswaran},
  title        = {A Simulation-Based Scalability Study of Parallel Systems},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {22},
  number       = {3},
  pages        = {411--426},
  year         = {1994},
  url          = {https://doi.org/10.1006/jpdc.1994.1101},
  doi          = {10.1006/JPDC.1994.1101},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/SivasubramaniamSRV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/SivasubramaniamSRV94,
  author       = {Anand Sivasubramaniam and
                  Aman Singla and
                  Umakishore Ramachandran and
                  H. Venkateswaran},
  editor       = {Larry W. Dowdy and
                  Rick Bunt and
                  Blaine D. Gaither},
  title        = {An Approach to Scalability Study of Shared Memory Parallel Systems},
  booktitle    = {Proceedings of the 1994 {ACM} {SIGMETRICS} conference on Measurement
                  and modeling of computer systems, Vanderbilt University, Nashville,
                  Tennessee, USA, May 16-20, 1994},
  pages        = {171--180},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/183018.183038},
  doi          = {10.1145/183018.183038},
  timestamp    = {Fri, 30 Jul 2021 16:13:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmetrics/SivasubramaniamSRV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KannanVVY93,
  author       = {Ravi Kannan and
                  H. Venkateswaran and
                  V. Vinay and
                  Andrew Chi{-}Chih Yao},
  title        = {A Circuit-Based Proof of Toda's Theorem},
  journal      = {Inf. Comput.},
  volume       = {104},
  number       = {2},
  pages        = {271--276},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1033},
  doi          = {10.1006/INCO.1993.1033},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KannanVVY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Venkateswaran92,
  author       = {H. Venkateswaran},
  title        = {Circuit Definitions of Nondeterministic Complexity Classes},
  journal      = {{SIAM} J. Comput.},
  volume       = {21},
  number       = {4},
  pages        = {655--670},
  year         = {1992},
  url          = {https://doi.org/10.1137/0221040},
  doi          = {10.1137/0221040},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/Venkateswaran92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SivasubramaniamRV92,
  author       = {Anand Sivasubramaniam and
                  Umakishore Ramachandran and
                  H. Venkateswaran},
  editor       = {Viktor K. Prasanna and
                  Larry H. Canter},
  title        = {A Computational Model for Message Passing},
  booktitle    = {Proceedings of the 6th International Parallel Processing Symposium,
                  Beverly Hills, CA, USA, March 1992},
  pages        = {358--361},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/IPPS.1992.223020},
  doi          = {10.1109/IPPS.1992.223020},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/SivasubramaniamRV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Venkateswaran91,
  author       = {H. Venkateswaran},
  title        = {Two Dynamic Programming Algorithms for Which Intepreted Pebbling Helps},
  journal      = {Inf. Comput.},
  volume       = {92},
  number       = {2},
  pages        = {237--252},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90010-Y},
  doi          = {10.1016/0890-5401(91)90010-Y},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Venkateswaran91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Venkateswaran91,
  author       = {H. Venkateswaran},
  title        = {Properties that Characterize {LOGCFL}},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {43},
  number       = {2},
  pages        = {380--404},
  year         = {1991},
  url          = {https://doi.org/10.1016/0022-0000(91)90020-6},
  doi          = {10.1016/0022-0000(91)90020-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Venkateswaran91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/VinayVM90,
  author       = {V. Vinay and
                  H. Venkateswaran and
                  C. E. Veni Madhavan},
  title        = {Circuits, Pebbling and Expressibility},
  booktitle    = {Proceedings: Fifth Annual Structure in Complexity Theory Conference,
                  Universitat Polit{\`{e}}cnica de Catalunya, Barcelona, Spain, July
                  8-11, 1990},
  pages        = {223--230},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/SCT.1990.113970},
  doi          = {10.1109/SCT.1990.113970},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/VinayVM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/VenkateswaranT89,
  author       = {H. Venkateswaran and
                  Martin Tompa},
  title        = {A New Pebble Game That Characterizes Parallel Complexity Classes},
  journal      = {{SIAM} J. Comput.},
  volume       = {18},
  number       = {3},
  pages        = {533--549},
  year         = {1989},
  url          = {https://doi.org/10.1137/0218036},
  doi          = {10.1137/0218036},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/VenkateswaranT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Venkateswaran88,
  author       = {H. Venkateswaran},
  editor       = {Kesav V. Nori and
                  Sanjeev Kumar},
  title        = {Circuit Definitions of Nondeterministic Complexity Classes},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {338},
  pages        = {175--192},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50517-2\_80},
  doi          = {10.1007/3-540-50517-2\_80},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Venkateswaran88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Venkateswaran87,
  author       = {H. Venkateswaran},
  editor       = {Alfred V. Aho},
  title        = {Properties that Characterize {LOGCFL}},
  booktitle    = {Proceedings of the 19th Annual {ACM} Symposium on Theory of Computing,
                  1987, New York, New York, {USA}},
  pages        = {141--150},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/28395.28411},
  doi          = {10.1145/28395.28411},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Venkateswaran87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/VenkateswaranT86,
  author       = {H. Venkateswaran and
                  Martin Tompa},
  title        = {A New Pebble Game that Characterizes Parallel Complexity Classes},
  booktitle    = {27th Annual Symposium on Foundations of Computer Science, Toronto,
                  Canada, 27-29 October 1986},
  pages        = {348--360},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  url          = {https://doi.org/10.1109/SFCS.1986.2},
  doi          = {10.1109/SFCS.1986.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/VenkateswaranT86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/PanchapakesanSV85,
  author       = {S. Panchapakesan and
                  S. Subramanian and
                  H. Venkateswaran},
  title        = {An Interactive Assembly Level Debugging System},
  journal      = {Softw. Pract. Exp.},
  volume       = {15},
  number       = {1},
  pages        = {59--64},
  year         = {1985},
  url          = {https://doi.org/10.1002/spe.4380150106},
  doi          = {10.1002/SPE.4380150106},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/PanchapakesanSV85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/PanchapakesanVS79,
  author       = {S. Panchapakesan and
                  H. Venkateswaran and
                  S. Subramanian},
  title        = {Assemblers for Microcomputers},
  journal      = {Softw. Pract. Exp.},
  volume       = {9},
  number       = {10},
  pages        = {843--852},
  year         = {1979},
  url          = {https://doi.org/10.1002/spe.4380091007},
  doi          = {10.1002/SPE.4380091007},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/PanchapakesanVS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/KriphnamurthyV78,
  author       = {E. V. Kriphnamurthy and
                  H. Venkateswaran},
  title        = {Multivariable polynomial processing - Applications to interpolation},
  booktitle    = {4th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1978, Santa Monica,
                  CA, USA, October 25-27, 1978},
  pages        = {81--87},
  publisher    = {{IEEE} Computer Society},
  year         = {1978},
  url          = {https://doi.org/10.1109/ARITH.1978.6155785},
  doi          = {10.1109/ARITH.1978.6155785},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/KriphnamurthyV78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics