@inproceedings{conf/dac/PuriJBGLM08, title = {Custom is from Venus and synthesis from Mars.}, author = {Ruchir Puri and William H. Joyner and Shekhar Borkar and Ty Garibay and Jonathan Lotz and Robert K. Montoye}, booktitle = {DAC}, crossref = {conf/dac/2008}, editor = {Limor Fix}, pages = {992}, publisher = {ACM}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2008.html#PuriJBGLM08}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2bc31c12bb38768487ca382e2c2a2d9c8/dblp}, description = {dblp}, date = {2008-07-30}, ee = {http://doi.acm.org/10.1145/1391469.1391719}, isbn = {978-1-60558-115-6}, keywords = {dblp } } @article{journals/entcs/CompagnaLM08, title = {Preface.}, author = {Luca Compagna and Volkmar Lotz and Fabio Massacci}, journal = {Electr. Notes Theor. Comput. Sci.}, number = {2}, pages = {1-2}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs197.html#CompagnaLM08}, volume = {197}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2f2724726728a74a98d516d641f01cc88/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.entcs.2008.01.001}, date = {2008-06-11}, keywords = {dblp } } @inproceedings{conf/btw/WimmerAKRL07, title = {Efficient Access Control for Composite Applications.}, author = {Martin Wimmer and Martina-Cezara Albutiu and Alfons Kemper and Maarten Rits and Volkmar Lotz}, booktitle = {BTW}, crossref = {conf/btw/2007}, editor = {Alfons Kemper and Harald Schöning and Thomas Rose and Matthias Jarke and Thomas Seidl and Christoph Quix and Christoph Brochhaus}, pages = {613-616}, publisher = {GI}, series = {LNI}, url = {http://dblp.uni-trier.de/db/conf/btw/btw2007.html#WimmerAKRL07}, volume = {103}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2e3ea469358a6f67cd254a4b09b532ded/dblp}, description = {dblp}, date = {2008-05-30}, ee = {http://www.btw2007.de/paper/p613.pdf}, isbn = {978-3-88579-197-3}, keywords = {dblp } } @article{journals/cmpb/LotzCMSWLLHM08, title = {Monte Carlo analysis of a new model-based method for insulin sensitivity testing.}, author = {Thomas Lotz and J. Geoffrey Chase and Kirsten A. McAuley and Geoffrey M. Shaw and Xing-Wei Wong and Jessica Lin and Aaron Le Compte and Christopher E. Hann and Jim I. Mann}, journal = {Computer Methods and Programs in Biomedicine}, number = {3}, pages = {215-225}, url = {http://dblp.uni-trier.de/db/journals/cmpb/cmpb89.html#LotzCMSWLLHM08}, volume = {89}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/257501be34e20d3403191d04bcf394905/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.cmpb.2007.03.007}, date = {2008-03-07}, keywords = {dblp } } @article{journals/cmpb/LinLCSCLWLH08, title = {Stochastic modelling of insulin sensitivity and adaptive glycemic control for critical care.}, author = {Jessica Lin and Dominic S. Lee and J. Geoffrey Chase and Geoffrey M. Shaw and Aaron Le Compte and Thomas Lotz and Jason Wong and Timothy Lonergan and Christopher E. Hann}, journal = {Computer Methods and Programs in Biomedicine}, number = {2}, pages = {141-152}, url = {http://dblp.uni-trier.de/db/journals/cmpb/cmpb89.html#LinLCSCLWLH08}, volume = {89}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/25f23de3b7628810629c52853fd225d09/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.cmpb.2007.04.006}, date = {2008-03-07}, keywords = {dblp } } @article{journals/ijista/ChaseSLDBWBHL05, title = {Impact of insulin-stimulated glucose removal saturation on dynamic modelling and control of hyperglycaemia.}, author = {J. Geoffrey Chase and Geoffrey M. Shaw and Jessica Lin and Carmen V. Doran and Maxim Bloomfield and Graeme C. Wake and Bob Broughton and Christopher E. Hann and Thomas Lotz}, journal = {IJISTA}, number = {1/2}, pages = {79-94}, url = {http://dblp.uni-trier.de/db/journals/ijista/ijista1.html#ChaseSLDBWBHL05}, volume = {1}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/2e8e51f7d90647dbad5bc701adc2bb7ad/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1504/IJISTA.2005.007308}, date = {2008-01-04}, keywords = {dblp } } @article{journals/corr/abs-cs-0502044, title = {The complexity of computing the Hilbert polynomial of smooth equidimensional complex projective varieties}, author = {Peter Bürgisser and Martin Lotz}, journal = {CoRR}, note = {informal publication}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0502.html#abs-cs-0502044}, volume = {abs/cs/0502044}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/23709ffb76ed48248b62805185cf2758d/dblp}, description = {dblp}, ee = {http://arxiv.org/abs/cs/0502044}, date = {2008-01-02}, keywords = {dblp } } @article{journals/corr/cs-CC-0301016, title = {Lower Bounds on the Bounded Coefficient Complexity of Bilinear Maps}, author = {Peter Bürgisser and Martin Lotz}, journal = {CoRR}, note = {informal publication}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0301.html#cs-CC-0301016}, volume = {cs.CC/0301016}, year = {2003}, biburl = {http://www.bibsonomy.org/bibtex/2d7302acf16c31223e9ce158da6223643/dblp}, description = {dblp}, ee = {http://arxiv.org/abs/cs.CC/0301016}, date = {2008-01-02}, keywords = {dblp } } @article{journals/focm/BurgisserL07, title = {The Complexity of Computing the Hilbert Polynomial of Smooth Equidimensional Complex Projective Varieties.}, author = {Peter Bürgisser and Martin Lotz}, journal = {Foundations of Computational Mathematics}, number = {1}, pages = {59-86}, url = {http://dblp.uni-trier.de/db/journals/focm/focm7.html#BurgisserL07}, volume = {7}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2dcaa62103beebc05aa051b1781f74aba/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s10208-005-0175-0}, date = {2007-09-18}, keywords = {dblp } } @inproceedings{conf/esorics/Lotz96, title = {Threat Scenarios as a Means to Formally Develop Secure Systems.}, author = {Volkmar Lotz}, booktitle = {ESORICS}, crossref = {conf/esorics/1996}, editor = {Elisa Bertino and Helmut Kurth and Giancarlo Martella and Emilio Montolivo}, pages = {242-265}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics1996.html#Lotz96}, volume = {1146}, year = {1996}, biburl = {http://www.bibsonomy.org/bibtex/24a8177547ea0164623c538b9e4812565/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1007/3-540-61770-1_40}, isbn = {3-540-61770-1}, date = {2007-09-10}, keywords = {dblp } }