Skip to contents Taha, Walid A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival 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), 1999 Published in: ACM SIGPLAN Notices, 34 (1999) 11, Seite 34-43 INOUE, JUN; TAHA, WALID Reasoning about multi-stage programs 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), 2016 Published in: Journal of Functional Programming, 26 (2016) Taha, Saleem; Mahmood, Walid New techniques for Daubechies wavelets and multiwavelets implementation using quantum computing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. National Library of Serbia, 2013 Published in: Facta universitatis - series: Electronics and Energetics, 26 (2013) 2, Seite 145-156 Taha, Walid; Cartwright, Robert Some Challenges for Model-Based Simulation Conference Proceedings View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Linköping University Electronic Press, 2013 Published in: Linköping Electronic Conference Proceedings (2013) Inoue, Jun; Taha, Walid Programming Languages and Systems: Reasoning about Multi-stage Programs 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, 2012 Published in: Programming Languages and Systems (2012), Seite 357-376 Siek, Jeremy; Taha, Walid ECOOP 2007 – Object-Oriented Programming: Gradual Typing for Objects 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, 2007 Published in: ECOOP 2007 – Object-Oriented Programming (2007), Seite 2-27 Siek, Jeremy; Taha, Walid ECOOP 2006 – Object-Oriented Programming: A Semantic Analysis of C++ Templates 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, 2006 Published in: ECOOP 2006 – Object-Oriented Programming (2006), Seite 304-327 Lengauer, Christian; Taha, Walid Preface 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, 2006 Published in: Science of Computer Programming, 62 (2006) 1, Seite 1-2 Kiselyov, Oleg; Taha, Walid Embedded Software and Systems: Relating FFTW and Split-Radix 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, 2005 Published in: Embedded Software and Systems (2005), Seite 488-493 Taha, Walid; Johann, Patricia Generative Programming and Component Engineering: Staged Notational Definitions 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, 2003 Published in: Generative Programming and Component Engineering (2003), Seite 97-116 Taha, Walid; Sheard, Tim MetaML and multi-stage programming with explicit annotations 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, 2000 Published in: Theoretical Computer Science, 248 (2000) 1-2, Seite 211-242 Taha, Walid; Wadler, Peter Special issue on Semantics, Applications, and Implementation of Program Generation 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), 2000 Published in: Journal of Functional Programming, 10 (2000) 6, Seite 627-627 Taha, Walid; Sheard, Tim Multi-stage programming (poster) 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), 1997 Published in: ACM SIGPLAN Notices, 32 (1997) 8, Seite 321 Taha, Walid; Sheard, Tim Multi-stage programming with explicit annotations 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), 1997 Published in: ACM SIGPLAN Notices, 32 (1997) 12, Seite 203-217 Taha, Walid; Nielsen, Michael Florentin Environment classifiers 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), 2003 Published in: ACM SIGPLAN Notices, 38 (2003) 1, Seite 26-37 Abdelaty, WalidR; Taha, WaelS Panniculectomy during cesarean delivery Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Medknow, 2021 Published in: Al-Azhar Assiut Medical Journal, 19 (2021) 1, Seite 107 Moggi, Eugenio; Taha, Walid; Thunberg, Johan Sound Over-Approximation of Probabilities Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. University of Szeged, 2020 Published in: Acta Cybernetica, 24 (2020) 3, Seite 269-285 Moggi, Eugenio; Farjudian, Amin; Taha, Walid Lecture Notes in Computer Science: System Analysis and Robustness Articles View online Schließen > Access 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 (2019), Seite 36-44 Zeng, Yingfu; Bartha, Ferenc; Taha, Walid Compile-Time Extensions to Hybrid ODEs 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, 2017 Published in: Electronic Proceedings in Theoretical Computer Science, 247 (2017), Seite 52-70 M.R.Taha, Saleem; A. Mahmood, Walid New Techniques for Daubechies Wavelets and Multiwavelets Implementation using Quantum Computing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2013 Published in: International Journal of Computer Applications, 77 (2013) 15, Seite 7-11
Taha, Walid A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival 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), 1999 Published in: ACM SIGPLAN Notices, 34 (1999) 11, Seite 34-43
INOUE, JUN; TAHA, WALID Reasoning about multi-stage programs 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), 2016 Published in: Journal of Functional Programming, 26 (2016)
Taha, Saleem; Mahmood, Walid New techniques for Daubechies wavelets and multiwavelets implementation using quantum computing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. National Library of Serbia, 2013 Published in: Facta universitatis - series: Electronics and Energetics, 26 (2013) 2, Seite 145-156
Taha, Walid; Cartwright, Robert Some Challenges for Model-Based Simulation Conference Proceedings View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Linköping University Electronic Press, 2013 Published in: Linköping Electronic Conference Proceedings (2013)
Inoue, Jun; Taha, Walid Programming Languages and Systems: Reasoning about Multi-stage Programs 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, 2012 Published in: Programming Languages and Systems (2012), Seite 357-376
Siek, Jeremy; Taha, Walid ECOOP 2007 – Object-Oriented Programming: Gradual Typing for Objects 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, 2007 Published in: ECOOP 2007 – Object-Oriented Programming (2007), Seite 2-27
Siek, Jeremy; Taha, Walid ECOOP 2006 – Object-Oriented Programming: A Semantic Analysis of C++ Templates 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, 2006 Published in: ECOOP 2006 – Object-Oriented Programming (2006), Seite 304-327
Lengauer, Christian; Taha, Walid Preface 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, 2006 Published in: Science of Computer Programming, 62 (2006) 1, Seite 1-2
Kiselyov, Oleg; Taha, Walid Embedded Software and Systems: Relating FFTW and Split-Radix 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, 2005 Published in: Embedded Software and Systems (2005), Seite 488-493
Taha, Walid; Johann, Patricia Generative Programming and Component Engineering: Staged Notational Definitions 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, 2003 Published in: Generative Programming and Component Engineering (2003), Seite 97-116
Taha, Walid; Sheard, Tim MetaML and multi-stage programming with explicit annotations 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, 2000 Published in: Theoretical Computer Science, 248 (2000) 1-2, Seite 211-242
Taha, Walid; Wadler, Peter Special issue on Semantics, Applications, and Implementation of Program Generation 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), 2000 Published in: Journal of Functional Programming, 10 (2000) 6, Seite 627-627
Taha, Walid; Sheard, Tim Multi-stage programming (poster) 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), 1997 Published in: ACM SIGPLAN Notices, 32 (1997) 8, Seite 321
Taha, Walid; Sheard, Tim Multi-stage programming with explicit annotations 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), 1997 Published in: ACM SIGPLAN Notices, 32 (1997) 12, Seite 203-217
Taha, Walid; Nielsen, Michael Florentin Environment classifiers 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), 2003 Published in: ACM SIGPLAN Notices, 38 (2003) 1, Seite 26-37
Abdelaty, WalidR; Taha, WaelS Panniculectomy during cesarean delivery Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Medknow, 2021 Published in: Al-Azhar Assiut Medical Journal, 19 (2021) 1, Seite 107
Moggi, Eugenio; Taha, Walid; Thunberg, Johan Sound Over-Approximation of Probabilities Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. University of Szeged, 2020 Published in: Acta Cybernetica, 24 (2020) 3, Seite 269-285
Moggi, Eugenio; Farjudian, Amin; Taha, Walid Lecture Notes in Computer Science: System Analysis and Robustness Articles View online Schließen > Access 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 (2019), Seite 36-44
Zeng, Yingfu; Bartha, Ferenc; Taha, Walid Compile-Time Extensions to Hybrid ODEs 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, 2017 Published in: Electronic Proceedings in Theoretical Computer Science, 247 (2017), Seite 52-70
M.R.Taha, Saleem; A. Mahmood, Walid New Techniques for Daubechies Wavelets and Multiwavelets Implementation using Quantum Computing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Foundation of Computer Science, 2013 Published in: International Journal of Computer Applications, 77 (2013) 15, Seite 7-11
> Media type Skip to next facet Articles (160) Wert ausschließen Books (14) Wert ausschließen Conference Proceedings (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (86) Wert ausschließen Without Specification (86) Wert ausschließen Show more show less
> Language Skip to next facet English (136) Wert ausschließen Not determined (39) Wert ausschließen Arabic (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (34) Wert ausschließen Medicine (13) Wert ausschließen Mathmatics (12) Wert ausschließen Technology (12) Wert ausschließen Biology (5) Wert ausschließen Physics (5) Wert ausschließen Chemistry and pharmacology (4) Wert ausschließen Geology and paleontology (2) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (2) Wert ausschließen Economics (2) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen General (1) Wert ausschließen Show more show less
> Creator Skip to next facet Taha, Walid (53) Wert ausschließen El-Shafai, Walid (24) Wert ausschließen Taha, Taha E. (17) Wert ausschließen Adeyeye, Ademola (10) Wert ausschließen El-Fishawy, Adel S. (9) Wert ausschließen Abd El-Samie, Fathi E. (8) Wert ausschließen Abdelkhalek, Mohamed (7) Wert ausschließen El-Rabaie, El-Sayed M. (7) Wert ausschließen Elfeki, Hossam (7) Wert ausschließen Elfiky, Mahmoud (7) Wert ausschließen Elhadi, Muhammed (7) Wert ausschließen Emara, Heba M. (7) Wert ausschließen Korkolis, Dimitrios (7) Wert ausschließen Moggi, Eugenio (7) Wert ausschließen Negoi, Ionut (7) Wert ausschließen Ademuyiwa, Adesoji (6) Wert ausschließen Aljiffry, Murad (6) Wert ausschließen Anyanwu, Lofty-John (6) Wert ausschließen Bhangu, Aneel (6) Wert ausschließen Ciubotaru, Cezar (6) Wert ausschließen Coccolini, Federico (6) Wert ausschließen Dulskas, Audrius (6) Wert ausschließen E. Abd El-Samie, Fathi (6) Wert ausschließen E. Taha, Taha (6) Wert ausschließen El-Samie, Fathi E. Abd (6) Wert ausschließen Elsiddig, Mohammed (6) Wert ausschließen Elwekeil, Mohamed (6) Wert ausschließen Gouvas, Nikolaos (6) Wert ausschließen Karandikar, Sharad (6) Wert ausschließen Litvin, Andrey (6) Wert ausschließen Mihanovic, Jakov (6) Wert ausschließen Mikalauskas, Saulius (6) Wert ausschließen Moore, Rachel (6) Wert ausschließen Negida, Ahmed (6) Wert ausschließen Nepogodiev, Dmitri (6) Wert ausschließen Osman, Mohammed (6) Wert ausschließen Pata, Francesco (6) Wert ausschließen Raptis, Dimitri Aristotle (6) Wert ausschließen Saad, Mahmoud (6) Wert ausschließen Sakr, Ahmed (6) Wert ausschließen Sasia, Diego (6) Wert ausschließen Shalaby, Mostafa (6) Wert ausschließen Sheard, Tim (6) Wert ausschließen Venskutonis, Donatas (6) Wert ausschließen Zanini, Nicola (6) Wert ausschließen A. Mahmoud, Amira (5) Wert ausschließen Abdullah, Nik Azim Nik (5) Wert ausschließen Adel, Ahmed (5) Wert ausschließen Ahmed, Ahmed (5) Wert ausschließen Ahmed, Emad Ali (5) Wert ausschließen Akeel, Nouf (5) Wert ausschließen Ali, Ahmed (5) Wert ausschließen Altaf, Abdulmalik (5) Wert ausschließen Altinel, Yuksel (5) Wert ausschließen Ansaloni, Luca (5) Wert ausschließen Anthoulakis, Christos (5) Wert ausschließen Ayandipo, Omobolaji (5) Wert ausschließen Baba, Suleiman (5) Wert ausschließen Bailey, Karen (5) Wert ausschließen Balalis, Dimitrios (5) Wert ausschließen Blencowe, Natalie (5) Wert ausschließen Bonavina, Luigi (5) Wert ausschließen Bondurri, Andrea (5) Wert ausschließen Borg, Elaine (5) Wert ausschließen Bradulskis, Saulius (5) Wert ausschließen Callan, Rory (5) Wert ausschließen Campagnaro, Tommaso (5) Wert ausschließen Danelli, Piergiorgio (5) Wert ausschließen Deputy, Mohammed (5) Wert ausschließen Dervenis, Christos (5) Wert ausschließen Diaconescu, Bogdan (5) Wert ausschließen Dindyal, Shiva (5) Wert ausschließen Ebdewi, Hamdi (5) Wert ausschließen Elebute, Olumide (5) Wert ausschließen Emile, Sameh (5) Wert ausschließen F. Zahran, Osama (5) Wert ausschließen Fermani, Claudio (5) Wert ausschließen García, Lorena Solar (5) Wert ausschließen Habeebullah, Alaa (5) Wert ausschließen Hallam, Sally (5) Wert ausschließen Ioannidis, Orestis (5) Wert ausschließen Jokubauskas, Mantas (5) Wert ausschließen Jotautas, Valdemaras (5) Wert ausschließen Jovine, Elio (5) Wert ausschließen Khatri, Chetan (5) Wert ausschließen Koh, Cherry (5) Wert ausschließen Kuliavas, Justas (5) Wert ausschließen Labib, Peter (5) Wert ausschließen Lawal, Taiwo (5) Wert ausschließen Lawal, Taiwo Akeem (5) Wert ausschließen Licari, Leo (5) Wert ausschließen Lohse, Helmut Alfredo Segovia (5) Wert ausschließen M. El-Rabaie, El-Sayed (5) Wert ausschließen Macchiavello, Roberto (5) Wert ausschließen Maffioli, Anna (5) Wert ausschließen Mahmoud, Mohamed (5) Wert ausschließen Mcaleer, Stephen (5) Wert ausschließen Merghoub, Taha (5) Wert ausschließen Mittal, Abhishek (5) Wert ausschließen Mitul, Ashrarur Rahman (5) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Science and Business Media LLC (CrossRef) (26) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (21) Wert ausschließen Verbunddaten SWB (15) Wert ausschließen Elsevier BV (CrossRef) (14) Wert ausschließen Oxford University Press (OUP) (CrossRef) (13) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (10) Wert ausschließen Wiley (CrossRef) (8) Wert ausschließen Computers, Materials and Continua (Tech Science Press) (CrossRef) (6) Wert ausschließen Egypts Presidential Specialized Council for Education and Scientific Research (CrossRef) (6) Wert ausschließen MDPI AG (CrossRef) (5) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (4) Wert ausschließen Lizenzfreie Online-Ressourcen (4) Wert ausschließen Medknow (CrossRef) (4) Wert ausschließen Springer International Publishing (CrossRef) (4) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (3) Wert ausschließen Informa UK Limited (CrossRef) (3) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (2) Wert ausschließen American Chemical Society (ACS) (CrossRef) (2) Wert ausschließen DOAJ Directory of Open Access Journals (2) Wert ausschließen Open Publishing Association (CrossRef) (2) Wert ausschließen African Journals Online (AJOL) (CrossRef) (1) Wert ausschließen Al-Mustansiriya University - College of Basic Education (CrossRef) (1) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (1) Wert ausschließen Canadian Center of Science and Education (CrossRef) (1) Wert ausschließen Canadian Urological Association Journal (CrossRef) (1) Wert ausschließen Emerald (CrossRef) (1) Wert ausschließen FapUNIFESP (SciELO) (CrossRef) (1) Wert ausschließen Foundation of Computer Science (CrossRef) (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen Hindawi Limited (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen International Journal Of Advanced Research (CrossRef) (1) Wert ausschließen Knowledge E DMCC (CrossRef) (1) Wert ausschließen Linköping University Electronic Press (CrossRef) (1) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (1) Wert ausschließen National Library of Serbia (CrossRef) (1) Wert ausschließen Office of Academic Resources, Chulalongkorn University - DIGITAL COMMONS JOURNALS (CrossRef) (1) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Science Publishing Group (CrossRef) (1) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (1) Wert ausschließen University of Szeged (CrossRef) (1) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (1) Wert ausschließen Show more show less