Skip to contents Cercone, James A. [Author]; Cohen, Jillian Clare [Author]; Macaya, Roman [Author] Improving Transparency in Pharmaceutical Systems : Strengthening Critical Decision Points Against Corruption Books View online Schließen > Access http://hdl.handle.net/10986/20426 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. World Bank, Washington, DC, 2002 Cuttaree, V. [Author]; Humphreys, M. [Author]; Muzira, S. [Author]; Strand, J-P [Author] Private Participation in the Transport Sector : Lessons from Recent Experience in Europe and Central Asia Books View online Schließen > Access http://hdl.handle.net/10986/17462 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. World Bank, Washington, DC, 2009 Published in: Transport paper series ; no. TP-24 Kasper, G. The Visual Display of Quantitative Information Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1987 Published in: Journal of Aerosol Science Steinfurth, Ben; Cura, C.; Gehring, J.; Weiss, J. Tuft deflection velocimetry: a simple method to extract quantitative flow field information Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2020 Published in: Experiments in Fluids Kortright, Eduardo; Rayarao, Geetha; Li, Longchuan; Anayiotos, Andreas S.; Biederman, Robert W.W.; Doyle, Mark A spheroidal control volume for the quantitative measurement of regurgitant flow by cardiac MRI Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2008 Published in: Technology and Health Care Nakamura, Masanori; Wada, Shigeo; Yamaguchi, Takami Quantitative evaluation of intra-aortic flow disturbance by the fluid momentum index: Effect of the left ventricular systolic function on the hemodynamics in the aorta Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2007 Published in: Technology and Health Care Kubota, Susumu; Hori, Osamu Uncertainty model of the gradient constraint and quantitative reliability measures of optical flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 1999 Published in: Systems and Computers in Japan Malashenko, Yu. E.; Nazarova, I. A. Quantitative Analysis of Flow Distributions in a Multiuser Telecommunication Network Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Pleiades Publishing Ltd, 2023 Published in: Journal of Computer and Systems Sciences International Phan, Quoc-Sang; Malacaria, Pasquale; Tkachuk, Oksana; Păsăreanu, Corina S. Symbolic quantitative information flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2012 Published in: ACM SIGSOFT Software Engineering Notes McCamant, Stephen; Ernst, Michael D. Quantitative information flow as network flow capacity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2008 Published in: ACM SIGPLAN Notices Yusuke Kawamoto; Konstantinos Chatzikokolakis; Catuscia Palamidessi On the Compositionality of Quantitative Information Flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2017 Published in: Logical Methods in Computer Science MALACARIA, PASQUALE Algebraic foundations for quantitative information flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2015 Published in: Mathematical Structures in Computer Science Kawamoto, Yusuke; Given-Wilson, Thomas Quantitative Information Flow for Scheduler-Dependent Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2015 Published in: Electronic Proceedings in Theoretical Computer Science Alvim, Mário S.; Andrés, Miguel E.; Palamidessi, Catuscia Quantitative information flow in interactive systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2012 Published in: Journal of Computer Security Yasuoka, Hirotoshi; Terauchi, Tachio On bounding problems of quantitative information flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2011 Published in: Journal of Computer Security Clark, D. Quantitative Information Flow, Relations and Polymorphic Types Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 2005 Published in: Journal of Logic and Computation Kawamoto, Yusuke; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia Quantitative Evaluation of Systems: Compositionality Results for Quantitative Information Flow Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2014 Published in: Quantitative Evaluation of Systems Malacaria, Pasquale; Heusser, Jonathan Formal Methods for Quantitative Aspects of Programming Languages: Information Theory and Security: Quantitative Information Flow Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2010 Published in: Formal Methods for Quantitative Aspects of Programming Languages Fernandes, Natasha Quantitative Information Flow Techniques for Studying Optimality in Differential Privacy Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2023 Published in: ACM SIGLOG News ANDRÉS, MIGUEL E.; PALAMIDESSI, CATUSCIA; SMITH, GEOFFREY Preface to the special issue on quantitative information flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2015 Published in: Mathematical Structures in Computer Science
Cercone, James A. [Author]; Cohen, Jillian Clare [Author]; Macaya, Roman [Author] Improving Transparency in Pharmaceutical Systems : Strengthening Critical Decision Points Against Corruption Books View online Schließen > Access http://hdl.handle.net/10986/20426 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. World Bank, Washington, DC, 2002
Cuttaree, V. [Author]; Humphreys, M. [Author]; Muzira, S. [Author]; Strand, J-P [Author] Private Participation in the Transport Sector : Lessons from Recent Experience in Europe and Central Asia Books View online Schließen > Access http://hdl.handle.net/10986/17462 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. World Bank, Washington, DC, 2009 Published in: Transport paper series ; no. TP-24
Kasper, G. The Visual Display of Quantitative Information Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1987 Published in: Journal of Aerosol Science
Steinfurth, Ben; Cura, C.; Gehring, J.; Weiss, J. Tuft deflection velocimetry: a simple method to extract quantitative flow field information Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2020 Published in: Experiments in Fluids
Kortright, Eduardo; Rayarao, Geetha; Li, Longchuan; Anayiotos, Andreas S.; Biederman, Robert W.W.; Doyle, Mark A spheroidal control volume for the quantitative measurement of regurgitant flow by cardiac MRI Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2008 Published in: Technology and Health Care
Nakamura, Masanori; Wada, Shigeo; Yamaguchi, Takami Quantitative evaluation of intra-aortic flow disturbance by the fluid momentum index: Effect of the left ventricular systolic function on the hemodynamics in the aorta Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2007 Published in: Technology and Health Care
Kubota, Susumu; Hori, Osamu Uncertainty model of the gradient constraint and quantitative reliability measures of optical flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 1999 Published in: Systems and Computers in Japan
Malashenko, Yu. E.; Nazarova, I. A. Quantitative Analysis of Flow Distributions in a Multiuser Telecommunication Network Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Pleiades Publishing Ltd, 2023 Published in: Journal of Computer and Systems Sciences International
Phan, Quoc-Sang; Malacaria, Pasquale; Tkachuk, Oksana; Păsăreanu, Corina S. Symbolic quantitative information flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2012 Published in: ACM SIGSOFT Software Engineering Notes
McCamant, Stephen; Ernst, Michael D. Quantitative information flow as network flow capacity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2008 Published in: ACM SIGPLAN Notices
Yusuke Kawamoto; Konstantinos Chatzikokolakis; Catuscia Palamidessi On the Compositionality of Quantitative Information Flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2017 Published in: Logical Methods in Computer Science
MALACARIA, PASQUALE Algebraic foundations for quantitative information flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2015 Published in: Mathematical Structures in Computer Science
Kawamoto, Yusuke; Given-Wilson, Thomas Quantitative Information Flow for Scheduler-Dependent Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2015 Published in: Electronic Proceedings in Theoretical Computer Science
Alvim, Mário S.; Andrés, Miguel E.; Palamidessi, Catuscia Quantitative information flow in interactive systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2012 Published in: Journal of Computer Security
Yasuoka, Hirotoshi; Terauchi, Tachio On bounding problems of quantitative information flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2011 Published in: Journal of Computer Security
Clark, D. Quantitative Information Flow, Relations and Polymorphic Types Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 2005 Published in: Journal of Logic and Computation
Kawamoto, Yusuke; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia Quantitative Evaluation of Systems: Compositionality Results for Quantitative Information Flow Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2014 Published in: Quantitative Evaluation of Systems
Malacaria, Pasquale; Heusser, Jonathan Formal Methods for Quantitative Aspects of Programming Languages: Information Theory and Security: Quantitative Information Flow Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2010 Published in: Formal Methods for Quantitative Aspects of Programming Languages
Fernandes, Natasha Quantitative Information Flow Techniques for Studying Optimality in Differential Privacy Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2023 Published in: ACM SIGLOG News
ANDRÉS, MIGUEL E.; PALAMIDESSI, CATUSCIA; SMITH, GEOFFREY Preface to the special issue on quantitative information flow Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2015 Published in: Mathematical Structures in Computer Science
> Media type Skip to next facet Articles (63) Wert ausschließen Books (13) Wert ausschließen Standards (1) Wert ausschließen Thesis (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (35) Wert ausschließen Restricted Access (2) Wert ausschließen Without Specification (41) Wert ausschließen Show more show less
> Language Skip to next facet English (40) Wert ausschließen Not determined (38) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (21) Wert ausschließen Technology (9) Wert ausschließen Biology (5) Wert ausschließen Mathmatics (4) Wert ausschließen Physics (4) Wert ausschließen General (3) Wert ausschließen Chemistry and pharmacology (3) Wert ausschließen Medicine (3) Wert ausschließen Economics (2) Wert ausschließen Geography (1) Wert ausschließen Show more show less
> Creator Skip to next facet Chatzikokolakis, Konstantinos (5) Wert ausschließen Malacaria, Pasquale (5) Wert ausschließen Alvim, Mário S. (4) Wert ausschließen Palamidessi, Catuscia (4) Wert ausschließen Terauchi, Tachio (4) Wert ausschließen Yasuoka, Hirotoshi (4) Wert ausschließen Andrés, Miguel E. (3) Wert ausschließen Fernandes, Natasha (3) Wert ausschließen Pampaloni, Francesca (3) Wert ausschließen Biondi, Fabrizio (2) Wert ausschließen Boreale, Michele (2) Wert ausschließen Chadha, Rohit (2) Wert ausschließen Heusser, Jonathan (2) Wert ausschließen Kawamoto, Yusuke (2) Wert ausschließen Klebanov, Vladimir (2) Wert ausschließen Legay, Axel (2) Wert ausschließen McIver, Annabelle (2) Wert ausschließen Smith, Geoffrey (2) Wert ausschließen ANDRÉS, MIGUEL E. (1) Wert ausschließen Albeck, John G. (1) Wert ausschließen Alstone, Peter (1) Wert ausschließen Amir-Mohammadian, Sepehr (1) Wert ausschließen Anayiotos, Andreas S. (1) Wert ausschließen Annabelle McIver (1) Wert ausschließen Aparna, P. (1) Wert ausschließen Assaf, Mounir (1) Wert ausschließen Barnhart, Cynthia (1) Wert ausschließen Beckert, Bernhard (1) Wert ausschließen Besson, Frédéric (1) Wert ausschließen Biederman, Robert W.W. (1) Wert ausschließen Bielova, Nataliia (1) Wert ausschließen Boreale, M. (1) Wert ausschließen Brown, A.M. (1) Wert ausschließen Bultan, Tevfik (1) Wert ausschließen CEI Commission Electrotechnique Internationale (1) Wert ausschließen Carlson, A.P. (1) Wert ausschließen Carroll Morgan (1) Wert ausschließen Catuscia Palamidessi (1) Wert ausschließen Cercone, James A. (1) Wert ausschließen Chant, John F. (1) Wert ausschließen Chen, Xue (1) Wert ausschließen Cho, Jae-Myoung (1) Wert ausschließen Clark, D. (1) Wert ausschließen Cohen, Jillian Clare (1) Wert ausschließen Cordella, Tito (1) Wert ausschließen Cura, C. (1) Wert ausschließen Cuttaree, V. (1) Wert ausschließen Dai, Huaiyu (1) Wert ausschließen Doyle, Mark (1) Wert ausschließen Drissia, T.K. (1) Wert ausschließen Eftimie, Adriana (1) Wert ausschließen El Beblawi, Hazem (1) Wert ausschließen Enescu, Michael A. (1) Wert ausschließen Engelhardt, Kai (1) Wert ausschließen Ernst, Michael D. (1) Wert ausschließen Fabrizio Biondi and Axel Legay and Bo Friis Nielsen and Pasquale Malacaria and Andrzej Wasowski (1) Wert ausschließen Federico, Pablo (1) Wert ausschließen Fletcher, Paul D. I. (1) Wert ausschließen Gauthier, Bernard (1) Wert ausschließen Gehring, J. (1) Wert ausschließen Given-Wilson, Thomas (1) Wert ausschließen Hasan, Osman (1) Wert ausschließen Haswell, Stephen J. (1) Wert ausschließen He, Xiaofan (1) Wert ausschließen Heuser, Annelie (1) Wert ausschließen Hori, Osamu (1) Wert ausschließen Hu, Wei (1) Wert ausschließen Humphreys, M. (1) Wert ausschließen IEC International Electrotechnical Commission (1) Wert ausschließen IEC Internationale Elektrotechnische Kommission (1) Wert ausschließen IGI Global (1) Wert ausschließen ISO International Organization for Standardization (1) Wert ausschließen ISO Internationale Organisation für Normung (1) Wert ausschließen ISO Organisation Internationale de Normalisation (1) Wert ausschließen ISO/CEI JTC 1 Technologies de l'information (1) Wert ausschließen ISO/IEC JTC 1 ISO/IEC Joint Technical Commitee for Information Technology (1) Wert ausschließen ISO/IEC JTC 1 ISO/IEC-Gemeinschaftskomitee für Informationstechnik (1) Wert ausschließen Ishiguro, Hiroshi (1) Wert ausschließen Janes, Kevin A. (1) Wert ausschließen Jensen, Thomas (1) Wert ausschließen Jiang, Jinrong (1) Wert ausschließen Jin, Richeng (1) Wert ausschließen Kaminski, Benjamin Lucien (1) Wert ausschließen Kanazawa, Kiyoshi (1) Wert ausschließen Kasper, G. (1) Wert ausschließen Kastner, Ryan (1) Wert ausschließen Keshmiri, Soheil (1) Wert ausschließen Kim, Guk-Bae (1) Wert ausschließen Kini, Dileep (1) Wert ausschließen Konstantinos Chatzikokolakis (1) Wert ausschließen Kortright, Eduardo (1) Wert ausschließen Kubota, Susumu (1) Wert ausschließen Köpf, Boris (1) Wert ausschließen Lau, Wee-Yeap (1) Wert ausschließen Lauffenburger, Douglas A. (1) Wert ausschließen Lee, Mi-Ran (1) Wert ausschließen Lee, Sang-Joon (1) Wert ausschließen Li, Longchuan (1) Wert ausschließen Lv (1) Wert ausschließen MALACARIA, PASQUALE (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (14) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (13) Wert ausschließen Lizenzfreie Online-Ressourcen (12) Wert ausschließen Springer International Publishing (CrossRef) (9) Wert ausschließen BASE - Bielefeld Academic Search Engine (7) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (5) Wert ausschließen Elsevier BV (CrossRef) (5) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (4) Wert ausschließen IOS Press (CrossRef) (4) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (2) Wert ausschließen DOAJ Directory of Open Access Journals (2) Wert ausschließen Open Publishing Association (CrossRef) (2) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (2) Wert ausschließen AIP Publishing (CrossRef) (1) Wert ausschließen American Physical Society (APS) (CrossRef) (1) Wert ausschließen American Society of Neuroradiology (ASNR) (CrossRef) (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen MYU K.K. (CrossRef) (1) Wert ausschließen Nautos (ISO-Normen) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (1) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (1) Wert ausschließen Tsinghua University Press (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less