Search dblp for Publications

export results for "toc:db/conf/anss/anss1994.bht:"

 download as .bib file

@inproceedings{DBLP:conf/anss/AguilarD94,
  author       = {Mario Fiallos Aguilar and
                  Jean Duprat},
  title        = {Parallel simulation of heterogeneous arithmetic units networks and
                  high precision dot products},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {13--22},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283117},
  doi          = {10.1109/SIMSYM.1994.283117},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/AguilarD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/BagrodiaJW94,
  author       = {Rajive L. Bagrodia and
                  Vikas Jha and
                  Jerry Waldorf},
  title        = {The Maisie environment for parallel simulation},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {4--12},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283118},
  doi          = {10.1109/SIMSYM.1994.283118},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/BagrodiaJW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/BaiZ94,
  author       = {Ying{-}Wen Bai and
                  Charles A. Zukowski},
  title        = {Delay-time bounds and waveform bounds for {RLCG} ladder networks},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {23--30},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283116},
  doi          = {10.1109/SIMSYM.1994.283116},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/BaiZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/BaylorBB94,
  author       = {Sandra Johnson Baylor and
                  Caroline Benveniste and
                  Leo J. Boelhouwer},
  title        = {A methodology for evaluating parallel {I/O} performance for massively
                  parallel processors},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {31--40},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283115},
  doi          = {10.1109/SIMSYM.1994.283115},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/BaylorBB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/BergerL94,
  author       = {J. Berger and
                  D. Leong{-}Kon},
  title        = {The resolution of an open-loop resource allocation problem using a
                  neural network approach},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {51--58},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283113},
  doi          = {10.1109/SIMSYM.1994.283113},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/BergerL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/CalhounL94,
  author       = {Donna Calhoun and
                  Andrzej Lewandowski},
  title        = {Object oriented framework for dynamical systems modeling: implementation
                  in {C++}},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {70--77},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283111},
  doi          = {10.1109/SIMSYM.1994.283111},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/CalhounL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/DammBBB94,
  author       = {G. Damm and
                  G{\'{e}}rard Babonneau and
                  Andr{\'{e}}{-}Luc Beylot and
                  Monique Becker},
  title        = {Performance evaluation of a multimedia server for {ATM} networks},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {41--50},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283114},
  doi          = {10.1109/SIMSYM.1994.283114},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/DammBBB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/FerschaC94,
  author       = {Alois Ferscha and
                  Giovanni Chiola},
  title        = {Self-adaptive logical processes: the probabilistic distributed simulation
                  protocol},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {78--88},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283110},
  doi          = {10.1109/SIMSYM.1994.283110},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/FerschaC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/Hajare94,
  author       = {Ankur R. Hajare},
  title        = {Simulating a multiple segment {LAN}},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {89--98},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283109},
  doi          = {10.1109/SIMSYM.1994.283109},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/Hajare94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/HirechFGR94,
  author       = {Mokhtar Hirech and
                  Olivier Florent and
                  Alain Greiner and
                  El Housseine Rejouan},
  title        = {Application of a redefinable symbolic simulation technique in {VLSI}
                  testability design rules checking},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {255--261},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283090},
  doi          = {10.1109/SIMSYM.1994.283090},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/HirechFGR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/JenningsIL94,
  author       = {Glenn Jennings and
                  Joachim Isaksson and
                  Per Lindgren},
  title        = {Ordered ternary decision diagrams and the multivalued compiled simulation
                  of unmapped logic},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {99--105},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283108},
  doi          = {10.1109/SIMSYM.1994.283108},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/JenningsIL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/Olk94,
  author       = {Eddy Olk},
  title        = {{PARSE:} simulation of message passing communication networks},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {115--124},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283106},
  doi          = {10.1109/SIMSYM.1994.283106},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/Olk94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/RanganathanU94,
  author       = {Aravindan Ranganathan and
                  Shambhu J. Upadhyaya},
  title        = {Simulation analysis of a dynamic checkpointing strategy for real-time
                  systems},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {181--187},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283098},
  doi          = {10.1109/SIMSYM.1994.283098},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/RanganathanU94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/ReiherHS94,
  author       = {Eric Reiher and
                  Herbert H. J. Hum and
                  Ajit Singh},
  title        = {Simulating networks of superscalar processors},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {125--133},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283105},
  doi          = {10.1109/SIMSYM.1994.283105},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/ReiherHS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/RoslundA94,
  author       = {Bertil Roslund and
                  Per Andersson},
  title        = {A flexible technique for OS-support in instruction level simulators},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {134--141},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283104},
  doi          = {10.1109/SIMSYM.1994.283104},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/RoslundA94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/Sharma94,
  author       = {N. K. Sharma},
  title        = {Fault-tolerance of a {MIN} using hybrid redundancy},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {142--149},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283103},
  doi          = {10.1109/SIMSYM.1994.283103},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/Sharma94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/Som94,
  author       = {Sukhamoy Som},
  title        = {Cyclo-static multiprocessing model and simulation results},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {106--114},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283107},
  doi          = {10.1109/SIMSYM.1994.283107},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/Som94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/Su94,
  author       = {Ching{-}Chuan Su},
  title        = {Comparison of time-step sizes for stability and convergence in transient
                  analysis of {MOSFET} circuits},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {150--155},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283102},
  doi          = {10.1109/SIMSYM.1994.283102},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/Su94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/Vertal94,
  author       = {Michael D. Vertal},
  title        = {Foresight: system simulation for system developers},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {156--165},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283101},
  doi          = {10.1109/SIMSYM.1994.283101},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/Vertal94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/WangD94,
  author       = {Zhihua Wang and
                  Stephen W. Director},
  title        = {A novel approximation procedure for efficient yield simulation and
                  optimization of integrated circuits},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {166--173},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283100},
  doi          = {10.1109/SIMSYM.1994.283100},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/WangD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/WielandHSH94,
  author       = {Frederick Wieland and
                  Harry M. Heckathorn and
                  Alex Szabo and
                  John Haynes},
  title        = {Object-oriented design of a scene generation simulation},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {174--180},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283099},
  doi          = {10.1109/SIMSYM.1994.283099},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/WielandHSH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/YangZ94,
  author       = {Muh{-}rong Yang and
                  Taieb Znati},
  title        = {Simulation based performance evaluation of end-to-end control mechanisms
                  in {ATM} networks},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {245--254},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283091},
  doi          = {10.1109/SIMSYM.1994.283091},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/YangZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/YazbeckCEB94,
  author       = {Marwan E. Yazbeck and
                  Edwin Z. Crues and
                  H. C. Edwards and
                  Randall D. Barnette},
  title        = {SimTool, an object oriented simulation environment},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {188--197},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283097},
  doi          = {10.1109/SIMSYM.1994.283097},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/YazbeckCEB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/YehBBP94,
  author       = {Gerard K. Yeh and
                  Kallol Kumar Bagchi and
                  James B. Burr and
                  Allen M. Peterson},
  title        = {OPERAS-an object-oriented signal processing system architecture simulator},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {198--207},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283096},
  doi          = {10.1109/SIMSYM.1994.283096},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/YehBBP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/YuA94,
  author       = {Meng{-}Lin Yu and
                  Bryan D. Ackland},
  title        = {{VLSI} timing simulation with selective dynamic regionization},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {208--216},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283095},
  doi          = {10.1109/SIMSYM.1994.283095},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/YuA94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/ZhuG94,
  author       = {Weiping Zhu and
                  Andrzej M. Goscinski},
  title        = {Low cost load balancing algorithms},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {226--235},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283093},
  doi          = {10.1109/SIMSYM.1994.283093},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/ZhuG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/ZhuZL94,
  author       = {Jiang Zhu and
                  Lihua Zhao and
                  Ted G. Lewis},
  title        = {Design and simulation of hard real-time applications},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {217--225},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283094},
  doi          = {10.1109/SIMSYM.1994.283094},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/ZhuZL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/ZnatiP94,
  author       = {Taieb Znati and
                  Martha E. Pollack},
  title        = {DIPART, an interactive simulation platform for studying plan development
                  and monitoring in dynamic environments},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {236--244},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283092},
  doi          = {10.1109/SIMSYM.1994.283092},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/ZnatiP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/ZukowskiGGB94,
  author       = {Deborra J. Zukowski and
                  Manish Gupta and
                  Madan Gopal and
                  Navin Budhiraja},
  title        = {{XPOSE:} a simulator for network development},
  booktitle    = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  pages        = {59--69},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/SIMSYM.1994.283112},
  doi          = {10.1109/SIMSYM.1994.283112},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/ZukowskiGGB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/anss/1994,
  title        = {Proceedings 27th Annual Simulation Symposium, {ANSS} 1994, La Jolla,
                  California, USA, April 11-15, 1994},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/960/proceeding},
  isbn         = {0-8186-5620-4},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/anss/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics