Skip to contents Ong, Luke [Editor] ; FOSSACS 13 2010 Paphos, ETAPS 13 2010 Paphos Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as Part of the Joint European Conferences on Theory and Practice of Softwrae, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6014 Ong, Luke [Editor] ; TLCA 10 2011 Novi Sad Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6690 Ong, Luke [Editor] ; European Association for Computer Science Logic, CSL 19 2005 Oxford Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22 - 25, 2005; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3634 Ong, Luke [Other] Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3634 Ong, Luke [Author] ; Queiroz, Ruy [Other] Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2012 Published in: Lecture notes in computer science ; 7456 Ong, Luke [Author] Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 6014 Ong, Luke [Author] Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6690 Duan, Zhenhua [Editor]; Ong, Luke [Editor] Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings Books View online Schließen > Access ... to E-book via DOI 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 ; 10610 Coecke, Bob [Author] ; Ong, Luke [Other]; Panangaden, Prakash [Other] Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2013 Published in: Lecture notes in computer science ; 7860 Ooi, Joseph T. L. [Author] ; Ong, Seow Eng [Other]; Li, Luke [Other] An Analysis of the Financing Decisions of REITs : The Role of Market Timing and Target Leverage Books View online Schließen > Access ... to E-book (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [S.l.]: SSRN, [2008] Zaiser, Fabian [Author]; Ong, Luke [Author] Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2021 Published in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 65 Wagner, Dominik [Author] ; Mak, Carol [Other]; Ong, Luke [Other]; Paquet, Hugo [Other] Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere Videos View online Schließen > Access ... to video recording via DOI (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021 Published in: 30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021) Kochems, Jonathan [Author]; Ong, C.H. Luke [Author] ; Jonathan Kochems and C.H. Luke Ong [Contributor] Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011 Alvarez-Picallo, Mario [Author]; Ong, C.-H. Luke [Author] ; Mario Alvarez-Picallo and C.-H. Luke Ong [Contributor] The Difference λ-Calculus: A Language for Difference Categories Articles View online Schließen > Links ... to article via DOI 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 Wies, Thomas [Author]; Zufferey, Damien [Author]; Henzinger, Thomas A [Author]; Ong, Luke [Author] Forward analysis of depth-bounded processes ; LNCS Conference Proceedings View online Schließen > Links ... to conference proceeding Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer, 2010 Published in: Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi: 10.1007/978-3-642-12032-9_8 Wies, Thomas [Author]; Zufferey, Damien [Author]; Henzinger, Thomas A [Author]; Ong, Luke [Author] Forward analysis of depth-bounded processes ; LNCS Conference Proceedings View online Schließen > Links ... to conference proceeding Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer, 2010 Published in: Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi: 10.1007/978-3-642-12032-9_8 Ong, Luke Language and Automata Theory and Applications: Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: Language and Automata Theory and Applications (2013), Seite 13-41 Ianovski, Egor; Ong, Luke The complexity of decision problems about equilibria in two-player Boolean games 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, 2018 Published in: Artificial Intelligence, 261 (2018), Seite 1-15 Ianovski, Egor; Ong, Luke Simulating cardinal preferences in Boolean games: A proof technique 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, 2018 Published in: Information and Computation, 261 (2018), Seite 488-518 Ong, C.-H. Luke Logic and Its Applications: Automata, Logic and Games for the $$\lambda $$ -Calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2017 Published in: Logic and Its Applications (2017), Seite 23-26
Ong, Luke [Editor] ; FOSSACS 13 2010 Paphos, ETAPS 13 2010 Paphos Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as Part of the Joint European Conferences on Theory and Practice of Softwrae, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6014
Ong, Luke [Editor] ; TLCA 10 2011 Novi Sad Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6690
Ong, Luke [Editor] ; European Association for Computer Science Logic, CSL 19 2005 Oxford Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22 - 25, 2005; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3634
Ong, Luke [Other] Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3634
Ong, Luke [Author] ; Queiroz, Ruy [Other] Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2012 Published in: Lecture notes in computer science ; 7456
Ong, Luke [Author] Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 6014
Ong, Luke [Author] Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6690
Duan, Zhenhua [Editor]; Ong, Luke [Editor] Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings Books View online Schließen > Access ... to E-book via DOI 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 ; 10610
Coecke, Bob [Author] ; Ong, Luke [Other]; Panangaden, Prakash [Other] Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2013 Published in: Lecture notes in computer science ; 7860
Ooi, Joseph T. L. [Author] ; Ong, Seow Eng [Other]; Li, Luke [Other] An Analysis of the Financing Decisions of REITs : The Role of Market Timing and Target Leverage Books View online Schließen > Access ... to E-book (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [S.l.]: SSRN, [2008]
Zaiser, Fabian [Author]; Ong, Luke [Author] Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2021 Published in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 65
Wagner, Dominik [Author] ; Mak, Carol [Other]; Ong, Luke [Other]; Paquet, Hugo [Other] Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere Videos View online Schließen > Access ... to video recording via DOI (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021 Published in: 30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)
Kochems, Jonathan [Author]; Ong, C.H. Luke [Author] ; Jonathan Kochems and C.H. Luke Ong [Contributor] Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Alvarez-Picallo, Mario [Author]; Ong, C.-H. Luke [Author] ; Mario Alvarez-Picallo and C.-H. Luke Ong [Contributor] The Difference λ-Calculus: A Language for Difference Categories Articles View online Schließen > Links ... to article via DOI 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
Wies, Thomas [Author]; Zufferey, Damien [Author]; Henzinger, Thomas A [Author]; Ong, Luke [Author] Forward analysis of depth-bounded processes ; LNCS Conference Proceedings View online Schließen > Links ... to conference proceeding Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer, 2010 Published in: Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi: 10.1007/978-3-642-12032-9_8
Wies, Thomas [Author]; Zufferey, Damien [Author]; Henzinger, Thomas A [Author]; Ong, Luke [Author] Forward analysis of depth-bounded processes ; LNCS Conference Proceedings View online Schließen > Links ... to conference proceeding Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer, 2010 Published in: Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi: 10.1007/978-3-642-12032-9_8
Ong, Luke Language and Automata Theory and Applications: Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: Language and Automata Theory and Applications (2013), Seite 13-41
Ianovski, Egor; Ong, Luke The complexity of decision problems about equilibria in two-player Boolean games 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, 2018 Published in: Artificial Intelligence, 261 (2018), Seite 1-15
Ianovski, Egor; Ong, Luke Simulating cardinal preferences in Boolean games: A proof technique 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, 2018 Published in: Information and Computation, 261 (2018), Seite 488-518
Ong, C.-H. Luke Logic and Its Applications: Automata, Logic and Games for the $$\lambda $$ -Calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2017 Published in: Logic and Its Applications (2017), Seite 23-26
> Media type Skip to next facet Articles (191) Wert ausschließen Books (10) Wert ausschließen Conference Proceedings (2) Wert ausschließen Videos (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - Non Commercial (CC BY-NC) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (96) Wert ausschließen Without Specification (105) Wert ausschließen Show more show less
> Language Skip to next facet English (164) Wert ausschließen Not determined (40) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (30) Wert ausschließen Medicine (16) Wert ausschließen Mathmatics (14) Wert ausschließen General (2) Wert ausschließen Biology (2) Wert ausschließen Chemistry and pharmacology (2) Wert ausschließen Technology (2) Wert ausschließen Philosophy (1) Wert ausschließen Physics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Brennan, Paul (52) Wert ausschließen Davies, Helen (49) Wert ausschließen Fan, Yu (49) Wert ausschließen Lynch, Andy G. (49) Wert ausschließen Yang, Fan (49) Wert ausschließen Yang, Yang (49) Wert ausschließen Zhang, Yan (49) Wert ausschließen Haber, James E. (48) Wert ausschließen Kumar, Yogesh (48) Wert ausschließen Liu, Jia (48) Wert ausschließen Paiella, Salvatore (48) Wert ausschließen Tan, Patrick (48) Wert ausschließen Teh, Bin Tean (48) Wert ausschließen Tucker, Olga (48) Wert ausschließen Yu, Jun (48) Wert ausschließen Aaltonen, Lauri A. (47) Wert ausschließen Abascal, Federico (47) Wert ausschließen Abeshouse, Adam (47) Wert ausschließen Aburatani, Hiroyuki (47) Wert ausschließen Adams, David J. (47) Wert ausschließen Agrawal, Nishant (47) Wert ausschließen Ahn, Keun Soo (47) Wert ausschließen Ahn, Sung-Min (47) Wert ausschließen Aikata, Hiroshi (47) Wert ausschließen Akbani, Rehan (47) Wert ausschließen Akdemir, Kadir C. (47) Wert ausschließen Al-Ahmadie, Hikmat (47) Wert ausschließen Al-Sedairy, Sultan T. (47) Wert ausschließen Al-Shahrour, Fatima (47) Wert ausschließen Alawi, Malik (47) Wert ausschließen Albert, Monique (47) Wert ausschließen Aldape, Kenneth (47) Wert ausschließen Alexandrov, Ludmil B. (47) Wert ausschließen Ally, Adrian (47) Wert ausschließen Alsop, Kathryn (47) Wert ausschließen Alvarez, Eva G. (47) Wert ausschließen Amary, Fernanda (47) Wert ausschließen Amin, Samirkumar B. (47) Wert ausschließen Aminou, Brice (47) Wert ausschließen Ammerpohl, Ole (47) Wert ausschließen Anderson, Matthew J. (47) Wert ausschließen Ang, Yeng (47) Wert ausschließen Antonello, Davide (47) Wert ausschließen Anur, Pavana (47) Wert ausschließen Aparicio, Samuel (47) Wert ausschließen Appelbaum, Elizabeth L. (47) Wert ausschließen Arai, Yasuhito (47) Wert ausschließen Aretz, Axel (47) Wert ausschließen Arihiro, Koji (47) Wert ausschließen Ariizumi, Shun-ichi (47) Wert ausschließen Armenia, Joshua (47) Wert ausschließen Arnau, Gisela Mir (47) Wert ausschließen Arnould, Laurent (47) Wert ausschließen Asa, Sylvia (47) Wert ausschließen Assenov, Yassen (47) Wert ausschließen Atwal, Gurnit (47) Wert ausschließen Aukema, Sietse (47) Wert ausschließen Auman, J. Todd (47) Wert ausschließen Awadalla, Philip (47) Wert ausschließen Aymerich, Marta (47) Wert ausschließen Bader, Gary D. (47) Wert ausschließen Baez-Ortega, Adrian (47) Wert ausschließen Bailey, Matthew H. (47) Wert ausschließen Bailey, Peter J. (47) Wert ausschließen Balasundaram, Miruna (47) Wert ausschließen Balu, Saianand (47) Wert ausschließen Bandopadhayay, Pratiti (47) Wert ausschließen Banks, Rosamonde E. (47) Wert ausschließen Barbi, Stefano (47) Wert ausschließen Barbour, Andrew P. (47) Wert ausschließen Barenboim, Jonathan (47) Wert ausschließen Barnholtz-Sloan, Jill (47) Wert ausschließen Barr, Hugh (47) Wert ausschließen Barrera, Elisabet (47) Wert ausschließen Bartlett, John (47) Wert ausschließen Bartolome, Javier (47) Wert ausschließen Bassi, Claudio (47) Wert ausschließen Bathe, Oliver F. (47) Wert ausschließen Baumhoer, Daniel (47) Wert ausschließen Bavi, Prashant (47) Wert ausschließen Baylin, Stephen B. (47) Wert ausschließen Bazant, Wojciech (47) Wert ausschließen Beardsmore, Duncan (47) Wert ausschließen Beck, Timothy A. (47) Wert ausschließen Behjati, Sam (47) Wert ausschließen Behren, Andreas (47) Wert ausschließen Bell, Cindy (47) Wert ausschließen Beltran, Sergi (47) Wert ausschließen Benz, Christopher (47) Wert ausschließen Berchuck, Andrew (47) Wert ausschließen Bergmann, Anke K. (47) Wert ausschließen Bergstrom, Erik N. (47) Wert ausschließen Berman, Benjamin P. (47) Wert ausschließen Berney, Daniel M. (47) Wert ausschließen Bernhart, Stephan H. (47) Wert ausschließen Beroukhim, Rameen (47) Wert ausschließen Berrios, Mario (47) Wert ausschließen Bersani, Samantha (47) Wert ausschließen Bertl, Johanna (47) Wert ausschließen Betancourt, Miguel (47) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Science and Business Media LLC (CrossRef) (70) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (23) Wert ausschließen Elsevier BV (CrossRef) (15) Wert ausschließen Oxford University Press (OUP) (CrossRef) (15) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (13) Wert ausschließen Verbunddaten SWB (12) Wert ausschließen Springer International Publishing (CrossRef) (6) Wert ausschließen BASE - Bielefeld Academic Search Engine (5) Wert ausschließen Wiley (CrossRef) (4) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (3) Wert ausschließen Canadian Urological Association Journal (CrossRef) (3) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (3) Wert ausschließen Lizenzfreie Online-Ressourcen (3) Wert ausschließen Open Publishing Association (CrossRef) (3) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (3) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (2) Wert ausschließen American Chemical Society (ACS) (CrossRef) (2) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen IST Austria Research Explorer (Institute of Science and Technology) (2) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen Journal of Neurosurgery Publishing Group (JNSPG) (CrossRef) (2) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (2) Wert ausschließen SAGE Publications (CrossRef) (2) Wert ausschließen Springer Nature Switzerland (CrossRef) (2) Wert ausschließen American Astronomical Society (CrossRef) (1) Wert ausschließen American Society of Hematology (CrossRef) (1) Wert ausschließen American Society of Tropical Medicine and Hygiene (CrossRef) (1) Wert ausschließen BMJ (CrossRef) (1) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences II Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen Massachusetts Medical Society (CrossRef) (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen The Endocrine Society (CrossRef) (1) Wert ausschließen The Royal Society (CrossRef) (1) Wert ausschließen Show more show less