Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/acsd/acsd2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/acsd/BreugelK05,
author = {Franck van Breugel and
Mariya Koshkina},
title = {Dead-Path-Elimination in {BPEL4WS}},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {192--201},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.11},
doi = {10.1109/ACSD.2005.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BreugelK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CarpinetiLM05,
author = {Samuele Carpineti and
Cosimo Laneve and
Paolo Milazzo},
title = {BoPi - {A} Distributed Machine for Experimenting Web Services Technologies},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {202--211},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.6},
doi = {10.1109/ACSD.2005.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CarpinetiLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ClarisoC05,
author = {Robert Claris{\'{o}} and
Jordi Cortadella},
title = {Verification of Concurrent Systems with Parametric Delays Using Octahedra},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {122--131},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.34},
doi = {10.1109/ACSD.2005.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/ClarisoC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CortadellaGXY05,
author = {Jordi Cortadella and
Kyller Costa Gorg{\^{o}}nio and
Fei Xia and
Alexandre Yakovlev},
title = {Automating Synthesis of Asynchronous Communication Mechanisms},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {166--175},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.5},
doi = {10.1109/ACSD.2005.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CortadellaGXY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Damm05,
author = {Werner Damm},
title = {Controlling Speculative Design Processes Using Rich Component Models},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {118--119},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.35},
doi = {10.1109/ACSD.2005.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Damm05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GeilenBTO05,
author = {Marc Geilen and
Twan Basten and
Bart D. Theelen and
Ralph Otten},
title = {An Algebra of Pareto Points},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {88--97},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.2},
doi = {10.1109/ACSD.2005.2},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/GeilenBTO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GenestM05,
author = {Blaise Genest and
Anca Muscholl},
title = {Message Sequence Charts: {A} Survey},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {2--4},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.25},
doi = {10.1109/ACSD.2005.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/GenestM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Goossens05,
author = {Kees Goossens},
title = {Formal Methods for Networks on Chips},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {188--189},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.36},
doi = {10.1109/ACSD.2005.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Goossens05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GrosuS05,
author = {Radu Grosu and
Scott A. Smolka},
title = {Safety-Liveness Semantics for {UML} 2.0 Sequence Diagrams},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {6--14},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.31},
doi = {10.1109/ACSD.2005.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/GrosuS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HadjidjB05,
author = {Rachid Hadjidj and
Hanifa Boucheneb},
title = {Much Compact Time Petri Net State Class Spaces Useful to Restore CTL*
Properties},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {224--233},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.28},
doi = {10.1109/ACSD.2005.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HadjidjB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HeljankoS05,
author = {Keijo Heljanko and
Alin Stefanescu},
title = {Complexity Results for Checking Distributed Implementability},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {78--87},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.7},
doi = {10.1109/ACSD.2005.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HeljankoS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HonkolaLT05,
author = {Jukka Honkola and
Sari Lepp{\"{a}}nen and
Teemu Tynj{\"{a}}l{\"{a}}},
title = {Modeling the SpaceWire Architecture with Lyra},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.26},
doi = {10.1109/ACSD.2005.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HonkolaLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KapoorJ05,
author = {Hemangee K. Kapoor and
Mark B. Josephs},
title = {Controllable Delay-Insensitive Processes and their Reflection, Interaction
and Factorisation},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {58--67},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.9},
doi = {10.1109/ACSD.2005.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KapoorJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KellomakiV05,
author = {Timo Kellom{\"{a}}ki and
Antti Valmari},
title = {A Method for Analysing the Performance of Certain Testing Techniques
for Concurrent Systems},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.1},
doi = {10.1109/ACSD.2005.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KellomakiV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LaraT05,
author = {Juan de Lara and
Gabriele Taentzer},
title = {Modelling and Analysis of Distributed Simulation Protocols with Distributed
Graph Transformation},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {144--153},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.27},
doi = {10.1109/ACSD.2005.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LaraT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LiKB05,
author = {Yinghua Li and
Alex Kondratyev and
Robert K. Brayton},
title = {Gaining Predictability and Noise Immunity in Global Interconnects},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {176--185},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.19},
doi = {10.1109/ACSD.2005.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LiKB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MoyMM05,
author = {Matthieu Moy and
Florence Maraninchi and
Laurent Maillet{-}Contoz},
title = {LusSy: {A} Toolbox for the Analysis of Systems-on-a-Chip at the Transactional
Level},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {26--35},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.23},
doi = {10.1109/ACSD.2005.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/MoyMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Potop-ButucaruC05,
author = {Dumitru Potop{-}Butucaru and
Beno{\^{\i}}t Caillaud},
title = {Correct-by-Construction Asynchronous Implementation of Modular Synchronous
Specifications},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {48--57},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.10},
doi = {10.1109/ACSD.2005.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Potop-ButucaruC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/RivierreHT05,
author = {Nicolas Rivierre and
Fran{\c{c}}ois Horn and
Fr{\'{e}}d{\'{e}}ric Dang Tran},
title = {On Monitoring Concurrent Systems with {TLA:} An Example},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {36--45},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.29},
doi = {10.1109/ACSD.2005.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/RivierreHT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SchneiderBST05,
author = {Klaus Schneider and
Jens Brandt and
Tobias Sch{\"{u}}le and
Thomas Tuerk},
title = {Maximal Causality Analysis},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {106--115},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.24},
doi = {10.1109/ACSD.2005.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SchneiderBST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SirjaniBMS05,
author = {Marjan Sirjani and
Frank S. de Boer and
Ali Movaghar and
Amin Shali},
title = {Extended Rebeca: {A} Component-Based Actor Language with Synchronous
Message Passing},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {212--221},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.12},
doi = {10.1109/ACSD.2005.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SirjaniBMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SmirnovTSK05,
author = {Alexander B. Smirnov and
Alexander Taubin and
Ming Su and
Mark G. Karpovsky},
title = {An Automated Fine-Grain Pipelining Using Domino Style Asynchronous
Library},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {68--76},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.3},
doi = {10.1109/ACSD.2005.3},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SmirnovTSK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/StahlRK05,
author = {Christian Stahl and
Wolfgang Reisig and
Milos Krstic},
title = {Hazard Detection in a {GALS} Wrapper: {A} Case Study},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {234--243},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.20},
doi = {10.1109/ACSD.2005.20},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/StahlRK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Tripakis05,
author = {Stavros Tripakis},
title = {Two-Phase Distributed Observation Problems},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.33},
doi = {10.1109/ACSD.2005.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Tripakis05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/VoglerK05,
author = {Walter Vogler and
Ben Kangsah},
title = {Improved Decomposition of STGs},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {244--253},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.21},
doi = {10.1109/ACSD.2005.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/VoglerK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/X05,
title = {Foreword},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.18},
doi = {10.1109/ACSD.2005.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/X05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/X05a,
title = {Conference Organizers},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.8},
doi = {10.1109/ACSD.2005.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/X05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/X05b,
title = {Steering Committee},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.32},
doi = {10.1109/ACSD.2005.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/X05b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/X05c,
title = {International Program Committee},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.22},
doi = {10.1109/ACSD.2005.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/X05c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/X05d,
title = {Reviewers},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.30},
doi = {10.1109/ACSD.2005.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/X05d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ZhengCPKS05,
author = {Wei Zheng and
Jike Chong and
Claudio Pinello and
Sri Kanajan and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Extensible and Scalable Time Triggered Scheduling},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.13},
doi = {10.1109/ACSD.2005.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/ZhengCPKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2005,
title = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/10077/proceeding},
isbn = {0-7695-2363-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-05 13:39 CEST from data curated 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:
