Skip to contents D'Souza, Deepak [Editor] Modern applications of automata theory Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New Jersey [u.a.]: World Scientific [u.a.], 2012 Published in: Indian Institute of Science: IISc research monographs series ; 2,2012 Castle, David [Editor]; Murray, Robin [Editor]; D'Souza, Deepak Cyril [Editor] Marijuana and Madness - [2. edition, Paperback edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge University Press, 2019 D'Souza, Deepak [Other] ; Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Indian Association for Research in Computing Science IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) : December 15 - 17, 2012 Hyderabad, India Books View online Schließen > Access http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=12014 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wadern, 2012 Published in: Leibniz international proceedings in informatics ; 18 D'Souza, Deepak [Author] ; Lal, Akash [Editor]; Larsen, Kim Guldstrand [Editor] Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings Books 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. Berlin, Heidelberg: Springer, 2015 Published in: Lecture notes in computer science ; 8931 D'Souza, Deepak [Editor]; Narayan Kumar, K. [Editor] Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings Books 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. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10482 Holla, Raveendra [Author]; Deka, Nabarun [Author]; D'Souza, Deepak [Author] ; Raveendra Holla and Nabarun Deka and Deepak D'Souza [Contributor] On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021 Tulsyan, Rishi [Author]; Pai, Rekha [Author]; D'Souza, Deepak [Author] ; Rishi Tulsyan and Rekha Pai and Deepak D'Souza [Contributor] Static Race Detection for RTOS Applications Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 D'Souza, Deepak [Author]; Kavitha, Telikepalli [Author]; Radhakrishnan, Jaikumar [Author] ; Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan [Contributor] LIPIcs, Volume 18, FSTTCS'12, Complete Volume Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013 D'Souza, Deepak [Author]; Radhakrishnan, Jaikumar [Author]; Telikepalli, Kavitha [Author] ; Deepak D'Souza and Jaikumar Radhakrishnan and Kavitha Telikepalli [Contributor] Frontmatter, Table of Contents, Preface, Conference Organization Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012 D'Souza, Deepak Cyril Cannabis, cannabinoids and psychosis: a balanced view Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2023 Published in: World Psychiatry D’Souza, Deepak Lecture Notes in Computer Science: A Logical Characterisation of Event Recording Automata 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, 2000 Published in: Lecture Notes in Computer Science De, Arnab; D’Souza, Deepak ECOOP 2012 – Object-Oriented Programming: Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates 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, 2012 Published in: ECOOP 2012 – Object-Oriented Programming Demri, Stéphane; D’Souza, Deepak An automata-theoretic approach to constraint LTL 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, 2007 Published in: Information and Computation D’Souza, Deepak; Prabhakar, Pavithra On the expressiveness of MTL in the pointwise and continuous semantics 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, 2007 Published in: International Journal on Software Tools for Technology Transfer Prabhakar, Pavithra; D’Souza, Deepak Lecture Notes in Computer Science: On the Expressiveness of MTL with Past Operators 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, 2006 Published in: Lecture Notes in Computer Science D’Souza, Deepak; Tabareau, Nicolas Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: On Timed Automata with Input-Determined Guards 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, 2004 Published in: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems D’Souza, Deepak; Mukund, Madhavan Model Checking Software: Checking Consistency of SDL+MSC Specifications 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, 2003 Published in: Model Checking Software Demri, Stéphane; D’souza, Deepak FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: An Automata-Theoretic Approach to Constraint LTL 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, 2002 Published in: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science D’souza, Deepak; Madhusudan, P. STACS 2002: Timed Control Synthesis for External Specifications 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, 2002 Published in: STACS 2002 Singh, Abhishek; Pai, Rekha; D’Souza, Deepak; D’Souza, Meenakshi Lecture Notes in Computer Science: Static Analysis for Detecting High-Level Races in RTOS Kernels 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, 2019 Published in: Lecture Notes in Computer Science
D'Souza, Deepak [Editor] Modern applications of automata theory Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New Jersey [u.a.]: World Scientific [u.a.], 2012 Published in: Indian Institute of Science: IISc research monographs series ; 2,2012
Castle, David [Editor]; Murray, Robin [Editor]; D'Souza, Deepak Cyril [Editor] Marijuana and Madness - [2. edition, Paperback edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge University Press, 2019
D'Souza, Deepak [Other] ; Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Indian Association for Research in Computing Science IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) : December 15 - 17, 2012 Hyderabad, India Books View online Schließen > Access http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=12014 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wadern, 2012 Published in: Leibniz international proceedings in informatics ; 18
D'Souza, Deepak [Author] ; Lal, Akash [Editor]; Larsen, Kim Guldstrand [Editor] Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings Books 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. Berlin, Heidelberg: Springer, 2015 Published in: Lecture notes in computer science ; 8931
D'Souza, Deepak [Editor]; Narayan Kumar, K. [Editor] Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings Books 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. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10482
Holla, Raveendra [Author]; Deka, Nabarun [Author]; D'Souza, Deepak [Author] ; Raveendra Holla and Nabarun Deka and Deepak D'Souza [Contributor] On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Tulsyan, Rishi [Author]; Pai, Rekha [Author]; D'Souza, Deepak [Author] ; Rishi Tulsyan and Rekha Pai and Deepak D'Souza [Contributor] Static Race Detection for RTOS Applications Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
D'Souza, Deepak [Author]; Kavitha, Telikepalli [Author]; Radhakrishnan, Jaikumar [Author] ; Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan [Contributor] LIPIcs, Volume 18, FSTTCS'12, Complete Volume Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
D'Souza, Deepak [Author]; Radhakrishnan, Jaikumar [Author]; Telikepalli, Kavitha [Author] ; Deepak D'Souza and Jaikumar Radhakrishnan and Kavitha Telikepalli [Contributor] Frontmatter, Table of Contents, Preface, Conference Organization Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
D'Souza, Deepak Cyril Cannabis, cannabinoids and psychosis: a balanced view Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2023 Published in: World Psychiatry
D’Souza, Deepak Lecture Notes in Computer Science: A Logical Characterisation of Event Recording Automata 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, 2000 Published in: Lecture Notes in Computer Science
De, Arnab; D’Souza, Deepak ECOOP 2012 – Object-Oriented Programming: Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates 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, 2012 Published in: ECOOP 2012 – Object-Oriented Programming
Demri, Stéphane; D’Souza, Deepak An automata-theoretic approach to constraint LTL 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, 2007 Published in: Information and Computation
D’Souza, Deepak; Prabhakar, Pavithra On the expressiveness of MTL in the pointwise and continuous semantics 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, 2007 Published in: International Journal on Software Tools for Technology Transfer
Prabhakar, Pavithra; D’Souza, Deepak Lecture Notes in Computer Science: On the Expressiveness of MTL with Past Operators 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, 2006 Published in: Lecture Notes in Computer Science
D’Souza, Deepak; Tabareau, Nicolas Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: On Timed Automata with Input-Determined Guards 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, 2004 Published in: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
D’Souza, Deepak; Mukund, Madhavan Model Checking Software: Checking Consistency of SDL+MSC Specifications 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, 2003 Published in: Model Checking Software
Demri, Stéphane; D’souza, Deepak FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: An Automata-Theoretic Approach to Constraint LTL 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, 2002 Published in: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
D’souza, Deepak; Madhusudan, P. STACS 2002: Timed Control Synthesis for External Specifications 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, 2002 Published in: STACS 2002
Singh, Abhishek; Pai, Rekha; D’Souza, Deepak; D’Souza, Meenakshi Lecture Notes in Computer Science: Static Analysis for Detecting High-Level Races in RTOS Kernels 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, 2019 Published in: Lecture Notes in Computer Science
> Media type Skip to next facet Articles (242) Wert ausschließen Books (5) Wert ausschließen Show more show less
> Availability Skip to next facet Stack Collection (1) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Branch Library of Medicine (1) Wert ausschließen Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (122) Wert ausschließen Without Specification (123) Wert ausschließen Show more show less
> Language Skip to next facet English (208) Wert ausschließen Not determined (39) Wert ausschließen Show more show less
> Subject Skip to next facet Medicine (63) Wert ausschließen Psychology (47) Wert ausschließen Chemistry and pharmacology (41) Wert ausschließen Biology (19) Wert ausschließen Computer science (11) Wert ausschließen Technology (8) Wert ausschließen Mathmatics (3) Wert ausschließen General (2) Wert ausschließen Geography (2) Wert ausschließen Physics (2) Wert ausschließen Pedagogy (2) Wert ausschließen Jurisprudence (2) Wert ausschließen Economics (2) Wert ausschließen Geology and paleontology (1) Wert ausschließen Art and art history (1) Wert ausschließen Sociology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Ranganathan, Mohini (47) Wert ausschließen D’Souza, Deepak (45) Wert ausschließen D’Souza, Deepak Cyril (40) Wert ausschließen D'Souza, Deepak Cyril (26) Wert ausschließen Pittman, Brian (26) Wert ausschließen Alvey, Justin (22) Wert ausschließen Andrews, Ashley (22) Wert ausschließen Bademci, Guney (22) Wert ausschließen Baldridge, Dustin (22) Wert ausschließen Bale, Jim (22) Wert ausschließen Bamshad, Michael (22) Wert ausschließen Barbouth, Deborah (22) Wert ausschließen Bayrak-Toydemir, Pinar (22) Wert ausschließen Beck, Anita (22) Wert ausschließen Behrens, Edward (22) Wert ausschließen Bejerano, Gill (22) Wert ausschließen Bican, Anna (22) Wert ausschließen Bivona, Stephanie (22) Wert ausschließen Blue, Elizabeth (22) Wert ausschließen Bohnsack, John (22) Wert ausschließen Bonner, Devon (22) Wert ausschließen Botto, Lorenzo (22) Wert ausschließen Brown, Gabrielle (22) Wert ausschließen Byers, Peter (22) Wert ausschließen Carey, John (22) Wert ausschließen Carrasquillo, Olveen (22) Wert ausschließen Chanprasert, Sirisak (22) Wert ausschließen Chao, Hsiao-Tuan (22) Wert ausschließen Coggins, Matthew (22) Wert ausschließen Cope, Heidi (22) Wert ausschließen Dai, Hongzheng (22) Wert ausschließen Dasari, Surendra (22) Wert ausschließen Dipple, Katrina (22) Wert ausschließen Doherty, Daniel (22) Wert ausschließen Dorrani, Naghmeh (22) Wert ausschließen Earl, Dawn (22) Wert ausschließen Falk, Marni (22) Wert ausschließen Forghani, Irman (22) Wert ausschließen Grajewski, Alana (22) Wert ausschließen Hamid, Rizwan (22) Wert ausschließen Hassey, Kelly (22) Wert ausschließen Hayes, Nichole (22) Wert ausschließen High, Frances (22) Wert ausschließen Hing, Anne (22) Wert ausschließen Hom, Jason (22) Wert ausschließen Horike-Pyne, Martha (22) Wert ausschließen Huang, Alden (22) Wert ausschließen Isasi, Rosario (22) Wert ausschließen Jarvik, Jeffrey (22) Wert ausschließen Jayadev, Suman (22) Wert ausschließen Kiley, Dana (22) Wert ausschließen Korrick, Susan (22) Wert ausschließen Krakow, Deborah (22) Wert ausschließen Kravets, Elijah (22) Wert ausschließen Lam, Byron (22) Wert ausschließen Lam, Christina (22) Wert ausschließen LeBlanc, Kimberly (22) Wert ausschließen Levitt, Roy (22) Wert ausschließen Liu, Pengfei (22) Wert ausschließen Liu, Xue Zhong (22) Wert ausschließen Longo, Nicola (22) Wert ausschließen Loscalzo, Joseph (22) Wert ausschließen Mao, Rong (22) Wert ausschließen Marom, Ronit (22) Wert ausschließen Marth, Gabor (22) Wert ausschließen Marwaha, Shruti (22) Wert ausschließen McCauley, Jacob (22) Wert ausschließen McConkie-Rosell, Allyn (22) Wert ausschließen McGee, Elisabeth (22) Wert ausschließen Might, Matthew (22) Wert ausschließen Mirzaa, Ghayda (22) Wert ausschließen Morava, Eva (22) Wert ausschließen Nakano-Okuno, Mariko (22) Wert ausschließen Nieves-Rodriguez, Shirley (22) Wert ausschließen Novacic, Donna (22) Wert ausschließen Oglesbee, Devin (22) Wert ausschließen Pace, Laura (22) Wert ausschließen Potocki, Lorraine (22) Wert ausschließen Quinlan, Aaron (22) Wert ausschließen Raskind, Wendy (22) Wert ausschließen Renteria, Genecee (22) Wert ausschließen Rives, Lynette (22) Wert ausschließen Ruzhnikov, Maura (22) Wert ausschließen Sacco, Ralph (22) Wert ausschließen Saporta, Mario (22) Wert ausschließen Schaechter, Judy (22) Wert ausschließen Schedl, Timothy (22) Wert ausschließen Schoch, Kelly (22) Wert ausschließen Shashi, Vandana (22) Wert ausschließen Shin, Jimann (22) Wert ausschließen Sisco, Kathy (22) Wert ausschließen Sullivan, Kathleen (22) Wert ausschließen Sutton, Shirley (22) Wert ausschließen Sybert, Virginia (22) Wert ausschließen Telischi, Fred (22) Wert ausschließen Thorson, Willa (22) Wert ausschließen Toro, Camilo (22) Wert ausschließen Vanderver, Adeline (22) Wert ausschließen Velinder, Matt (22) Wert ausschließen Walker, Melissa (22) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Science and Business Media LLC (CrossRef) (69) Wert ausschließen Elsevier BV (CrossRef) (43) Wert ausschließen Oxford University Press (OUP) (CrossRef) (19) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (18) Wert ausschließen Wiley (CrossRef) (11) Wert ausschließen Springer International Publishing (CrossRef) (9) Wert ausschließen American Medical Association (AMA) (CrossRef) (7) Wert ausschließen SAGE Publications (CrossRef) (7) Wert ausschließen Medknow (CrossRef) (6) Wert ausschließen BASE - Bielefeld Academic Search Engine (5) Wert ausschließen Verbunddaten SWB (5) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (4) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (4) Wert ausschließen Frontiers Media SA (CrossRef) (4) Wert ausschließen Informa UK Limited (CrossRef) (4) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (3) Wert ausschließen American Psychiatric Association Publishing (CrossRef) (2) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (2) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen DOAJ Directory of Open Access Journals (2) Wert ausschließen IOS Press (CrossRef) (2) Wert ausschließen Society of Nuclear Medicine (CrossRef) (2) Wert ausschließen Springer Nature Switzerland (CrossRef) (2) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (1) Wert ausschließen Annual Reviews (CrossRef) (1) Wert ausschließen Diva Enterprises Private Limited (CrossRef) (1) Wert ausschließen EDITORA SCIENTIFIC (CrossRef) (1) Wert ausschließen EManuscript Technologies (CrossRef) (1) Wert ausschließen EconStor (German National Library of Economics, ZBW) (1) Wert ausschließen Emerald (CrossRef) (1) Wert ausschließen European Respiratory Society (ERS) (CrossRef) (1) Wert ausschließen Forum for Medical Ethics Society (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen Jaypee Brothers Medical Publishing (CrossRef) (1) Wert ausschließen Korean Society of Otorhinolaryngology-Head and Neck Surgery (CrossRef) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (1) Wert ausschließen Penerbit Universiti Sains Malaysia (CrossRef) (1) Wert ausschließen Physicians Postgraduate Press, Inc (CrossRef) (1) Wert ausschließen Proceedings of the National Academy of Sciences (CrossRef) (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen Royal College of Psychiatrists (CrossRef) (1) Wert ausschließen Society for Neuroscience (CrossRef) (1) Wert ausschließen Show more show less