Science, Faculty of > Computer Science

Abdulihak, Mohammed (2021) Distributed collision avoidance and object sorting for robot swarms. Masters thesis, Memorial University of Newfoundland.

Adluri, Vasantha Lakshmi (2002) Consistency in cooperative executions. Masters thesis, Memorial University of Newfoundland.

Afshar, Majid (2021) Large-scale dimensionality reduction using perturbation theory and singular vectors. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Ahmed, Faysol (2015) Linearized domain decomposition approaches for boundary value problems. Masters thesis, Memorial University of Newfoundland.

Akhter, Rabeya (2020) Nature's palette - an open access repository of spectral data. Masters thesis, Memorial University of Newfoundland.

Al-Eidi, Shorouq and Darwish, Omar and Chen, Yuanzhu (2020) Covert Timing Channel Analysis Either as Cyber Attacks or Confidential Applications. Sensors, 20 (8). ISSN 1424-8220

Alam, Farhana Eva (2010) A core generic meta-model for aspect-oriented programming languages. Masters thesis, Memorial University of Newfoundland.

Alfosool, Ali M. S. (2021) ALF-Score: a predictive, personalized, transferable and network-based walkability scoring system. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Alhowaide, Alaa Zaid Mohammad (2021) Towards autonomous IoT IDSs using ensemble learning and feature selection methods. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Almasi, Seyed Mehrzad (2018) Investigation of vertex centralities in human gene-disease networks. Masters thesis, Memorial University of Newfoundland.

Alrawagfeh, Wagdi (2015) Using event calculus for normative reasoning of BDI agents in the context of norm identification. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Alsharay, Nahed Q. (2023) Machine learning techniques for sea-ice identification and classification. Masters thesis, Memorial University of Newfoundland.

Alsharay, Nahed M. and Chen, Yuanzhu and Dobre, Octavia A. and De Silva, Oscar (2022) Improved Sea-Ice Identification Using Semantic Segmentation With Raindrop Removal. IEEE Access, 10. ISSN 2169-3536

Ameli, Ali (2022) Investigating biomarkers in Parkinson's disease using machine learning. Masters thesis, Memorial University of Newfoundland.

Arafat, Arshad (2021) Metamarker: differential correlation network methodology and software for metabolomic data analysis. Masters thesis, Memorial University of Newfoundland.

Asaduzzaman, Md (2017) A traffic signal control algorithm for emergency vehicles. Masters thesis, Memorial University of Newfoundland.

Asfour, Mohammed (2022) Machine learning and processing techniques for the enhancement of hand gesture recognition of Forcemyography and Electromyography signals. Masters thesis, Memorial University of Newfoundland.

Asgharzadehsekhavat, Yoones (2014) A framework for information integration using ontological foundations. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Avi, Tamkin Khan (2014) Glider mission planning using generic solvers. Masters thesis, Memorial University of Newfoundland.

Avi, Tamkin Khan and Kolokolova, Antonina and Murphy, Adam and Bajona, Richard and Collingwood, Kenneth and Reid, Melissa (2014) GLIDER MISSION PLANNING USING GENERIC SOLVERS. Journal of Ocean Technology, 9 (2). pp. 49-67. ISSN 1718-3200

Aydin, Mustafa Yalin (2023) An examination of the use of virtual reality in neonatal resuscitation learning and continuing education. Masters thesis, Memorial University of Newfoundland.

Ayubian, Sara (2017) GPU-based Monte Carlo simulation for the design Sea Ice Load. Masters thesis, Memorial University of Newfoundland.

Azupwah, Kennedy (2017) An algorithm to compute the distance to uncontrollability of linear time-invariant control systems. Masters thesis, Memorial University of Newfoundland.

Baksh, Md. Al-Amin (2013) Predictive accident modeling through Bayesian network. Masters thesis, Memorial University of Newfoundland.

Barani Lonbani, Nima (2024) Prediction of host-pathogen gene expression from dual RNA-seq data during a bacterial infection. Masters thesis, Memorial University of Newfoundland.

Barrett, Neil (2007) User preference and embodied conversational agent groups. Masters thesis, Memorial University of Newfoundland.

Barter, Kent (2023) Novel segmentation algorithm for high-throughput analysis of spectral domain-optical coherence tomography imaging of teleost retina. Masters thesis, Memorial University of Newfoundland.

Barua, Arnab (2023) Investigating effects of window length on 1D-CNN-LSTM and effectiveness of Heuristic features in solving sensor orientation and placement problems in human activity recognition using a single smartphone accelerometer. Masters thesis, Memorial University of Newfoundland.

Barua, Arnab and Zakia, Umme and Menon, Carlo and Jiang, Xianta (2021) Deep Learning Techniques in Estimating Ankle Joint Power Using Wearable IMUs. IEEE Access, 9. pp. 83041-83054. ISSN 2169-3536

Bishop, Robert W (2022) Human achievable path generation in video games through modified heuristic search. Masters thesis, Memorial University of Newfoundland.

Biswas, Debmalya (2005) Hierarchical web services compositions: visibility, compensation and monitoring. Masters thesis, Memorial University of Newfoundland.

Boroujerdi, Ahoora Sadeghi (2016) Privacy-preserving statistical analysis methods and their applications on health research. Masters thesis, Memorial University of Newfoundland.

Bozorgi, Arastoo (2020) From online social network analysis to a user-centric private sharing system. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Brake, Robert Blaine Boyd (1985) Implementation of data abstractions via an event based program transformation technique. Masters thesis, Memorial University of Newfoundland.

Cai, Hao (2022) Blind image quality assessment: from heuristic-based to learning-based. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Campbell, Rory (2020) Machine learning state evaluation in prismata. Masters thesis, Memorial University of Newfoundland.

Chai, Wenmao (1994) A parallel algorithm of constructing a Voronoi diagram on hypercube connected computer networks. Masters thesis, Memorial University of Newfoundland.

Chaytor, Rhonda (2006) Utility-preserving κ-anonymity. Masters thesis, Memorial University of Newfoundland.

Chen, Xiang (2024) ColocZStats: a 3D Slicer extension for assessing colocalization in confocal microscopy. Masters thesis, Memorial University of Newfoundland.

Chen, Zhenjie (1995) Dependence analysis and evaluation of inherent parallelism of programs. Masters thesis, Memorial University of Newfoundland.

Chen, Tao (2009) Integrating unstructured data using property precedence. Masters thesis, Memorial University of Newfoundland.

Chen, Zizui (2017) A computer vision based ultrasound operator skill evaluation. Masters thesis, Memorial University of Newfoundland.

Chen, Hao (1994) An efficient mutual exclusion method in distributed systems. Masters thesis, Memorial University of Newfoundland.

Chevez-Guardado, Ruben (2020) Promotech: a universal tool for promoter detection in bacterial genomes. Masters thesis, Memorial University of Newfoundland.

Churchill, David (2009) Homing in scale space. Masters thesis, Memorial University of Newfoundland.

Cirovic, Branislav (2000) Equivalence relations of synchronous schemes. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Condran, Stephen (2009) Micromagnetic simulations of frustrated triangular antiferromagnets: application to magnetoelectric HoMnO₃. Masters thesis, Memorial University of Newfoundland.

Craig, Donald C. (2007) Compatibility of software components: modelling and verification. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Craig, Donald C. (1996) Extensible hierarchical object-oriented logic simulation with an adaptable graphical user interface. Masters thesis, Memorial University of Newfoundland.

Craig, Donald C. and Zuberek, W. M. (2006) Compatibility of Software Components - Modeling and Verification. In: 2006 International Conference on Dependability of Computer Systems, 25-27 May 2006, Szklarska Poreba, Poland.

Critch, Lucas (2021) Using influence maps with heuristic search to craft sneak-attacks in Starcraft. Masters thesis, Memorial University of Newfoundland.

Cui, Xue (2017) Lattice Boltzmann method and vortex methods for fluid animation. Masters thesis, Memorial University of Newfoundland.

Das, Shemonto (2024) An active learning framework with a class balancing strategy for time series classification. Masters thesis, Memorial University of Newfoundland.

Deacu, Daniel (2002) Finite element solution of the two-dimensional incompressible Navier-Stokes equations with Coriolis force. Masters thesis, Memorial University of Newfoundland.

Debnath, Mitu Kumar (2015) A PHR system with policy-based fine-grained access control and revocation mechanism. Masters thesis, Memorial University of Newfoundland.

Desai, Amit Prabhakar (2017) A window to your smartphone: exploring interaction and communication in immersive VR with augmented virtuality. Masters thesis, Memorial University of Newfoundland.

Dong, Xiaomin (1999) D-Buffer : a new hidden-line algorithm in image-space. Masters thesis, Memorial University of Newfoundland.

Dong, Zhihao and Tricco, Terrence S. (Terrence Stansilaus) and Li, Cheng and Hu, Ting and Chen, Yuanzhu (2021) Hunting for vital nodes in complex networks using local information. Scientific Reports, 11. ISSN 2045-2322

Dorani, Faramarz (2018) Ensemble learning for detecting gene-gene interactions in colorectal cancer. Masters thesis, Memorial University of Newfoundland.

Ekrami, Sadegh (2014) Bindings in colored petri nets. Masters thesis, Memorial University of Newfoundland.

Emami-Abarghouei, Babak (2016) Self-coach: an intelligent WBAN system for heart disease prediction using non-dominated sorting genetic algorithm. Masters thesis, Memorial University of Newfoundland.

Faruq, Abdullah Ali (2017) Planning an interesting path. Masters thesis, Memorial University of Newfoundland.

Follett, Matthew (2011) Visualizing the impact of changes in software code. Masters thesis, Memorial University of Newfoundland.

Fowler, Benjamin (2018) Modelling evolvability in genetic programming. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Galaiya, Viral Rasik (2024) Improving robotic manipulation: techniques for object pose estimation, accommodating positional uncertainty, and disassembly tasks from examples. Masters thesis, Memorial University of Newfoundland.

Geng, Shengkai (2021) Genome-wide association study of colorectal cancer using evolutionary computing. Masters thesis, Memorial University of Newfoundland.

González, Esteban Ricalde (2019) A genetic programming system with an epigenetic mechanism for traffic signal control. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Gu, Yunqing (1998) Graphical integration of robot programming and sequence planning for mechanical assembly. Masters thesis, Memorial University of Newfoundland.

Hakobyan, Madlena (2010) Ocean data mining with application to climate indices of the North Atlantic. Masters thesis, Memorial University of Newfoundland.

He, Lian (2021) An advanced graph-based placement representation for analog layout design. Masters thesis, Memorial University of Newfoundland.

Hossain, Mohammad Monowar (2006) Some graph algorithms for molecular switching devices. Masters thesis, Memorial University of Newfoundland.

Hu, Ting (2010) Evolvability and rate of evolution in evolutionary computation. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Hu, Wenting (2022) Machine learning methods for multiple sclerosis detection based on raw data from an instrumented walkway. Masters thesis, Memorial University of Newfoundland.

Hu, Wenting and Combden, Owen and Jiang, Xianta and Buragadda, Symala and Newell, Caitlan J. and Williams, Maria C. and Critch, Amber L. and Ploughman, Michelle (2022) Machine learning classification of multiple sclerosis patients based on raw data from an instrumented walkway. BioMedical Engineering OnLine, 21. ISSN 1475-925X

Huang, Xin (2022) Deep neural networks for conditional visual synthesis. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Huang, Xiao Bing (2006) Relevant gene subset selection: the maximum margin criterion in SVM and genetic algorithm. Masters thesis, Memorial University of Newfoundland.

Ibrahim, Dalia Shouman El Shahat (2024) Scalar field guidance in swarms of simple robots. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Ji, Songyuan (2019) Deep learning for genome-wide association studies and the impact of SNP locations. Masters thesis, Memorial University of Newfoundland.

Jiang, Xiaoxia (2008) Data hiding scheme with geometric distortion correction. Masters thesis, Memorial University of Newfoundland.

Jiang, Xingyan (2008) Dynamic cooperative co-evolutionary automated mobile sensor deployment via localized fitness evaluation. Masters thesis, Memorial University of Newfoundland.

Karaji, Rezvan (2023) Detecting operons from RNA-seq data using a convolutional and recurrent neural network architecture. Masters thesis, Memorial University of Newfoundland.

Karimi, Elham (2022) Task offloading and proactive resource allocation in vehicular edge computing via reinforcement learning. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Kazemi, Farhad Mohammad (2018) Automatic high content screening using deep learning. Masters thesis, Memorial University of Newfoundland.

Keating, Ron Andrew (2011) A specification language for agglutinative aboriginal languages for use with finite-state spelling correction. Masters thesis, Memorial University of Newfoundland.

Kelly, Richard (2021) Component-action deep Q-learning for real-time strategy game AI. Masters thesis, Memorial University of Newfoundland.

Khazaei, Taraneh (2012) Metadata visualization of scholarly search results. Masters thesis, Memorial University of Newfoundland.

Khiavi, Aida Ghayour (2021) Representing transcription factor dimers by using forked-position weight matrices. Masters thesis, Memorial University of Newfoundland.

Khor, Susan (2014) Inferring Domain-Domain Interactions from Protein-Protein Interactions with Formal Concept Analysis. PLoS ONE, 9 (2). ISSN 1932-6203

Khor, Susan (2014) Protein residue networks from a local search perspective. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland. (Submitted)

Khorasani, H. M. and Usefi, H. and Peña-Castillo, Lourdes (2020) Detecting ulcerative colitis from colon samples using efficient feature selection and machine learning. Scientific Reports, 10. ISSN 2045-2322

King, Peter and Anstey, Benjamin and Vardy, Andrew (2017) Sonar Image Registration for Localization of an Underwater Vehicle. Journal of Ocean Technology, 12 (3). pp. 68-90. ISSN 1718-3200

Koubi, Sharon (2008) An infrastructure to communicate with wireless devices. Masters thesis, Memorial University of Newfoundland.

Kuai, Yujing (2009) Gene prediction by combining outputs from ExonHunter and SGP2. Masters thesis, Memorial University of Newfoundland.

Kumar, Ranjeet (2016) Composability of transactions using closed nesting in software transactional memory. Masters thesis, Memorial University of Newfoundland.

Kuo, P. Dwight (2005) Topology and dynamics of an artificial genetic regulatory network model. Masters thesis, Memorial University of Newfoundland.

Lau, Matthew Beng (1987) A simple technique for surface modeling. Masters thesis, Memorial University of Newfoundland.

Lawrence, Karl P. (2004) Computation of unsteady viscous incompressible flow around an obliquely oscillating circular cylinder using a parallelized finite difference algorithm. Masters thesis, Memorial University of Newfoundland.

Lei, Yiming (2002) Architectural aspects and a prototype system for handling disputes in electronic commerce transactions. Masters thesis, Memorial University of Newfoundland.

Li, Xueming (2007) Using UML for conceptual modeling: towards an ontological core. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Liu, Xu (2014) Delay-tolerant networks with network coding: how well can we simulate real devices? Masters thesis, Memorial University of Newfoundland.

Liu, Hanze (2012) Improving web search personalization using Luhn-Inspired vector re-weighting. Masters thesis, Memorial University of Newfoundland.

Liu, Man (2011) Object contour extraction based on charged snake model. Masters thesis, Memorial University of Newfoundland.

Liu, Guizhen and Qian, Jianbo and Sun, Jonathan Z. and Xu, Rui (2009) Bipartite Toughness and k-Factors in Bipartite Graphs. International Journal of Mathematics and Mathematical Sciences, 2008. ISSN 1687-0425

Lu, Shan (2005) Enforcing ontological rules in conceptual modeling using UML: principles and implementation. Masters thesis, Memorial University of Newfoundland.

Lu, Xi (1995) A graphical user interface for CAD programs. Masters thesis, Memorial University of Newfoundland.

Luk, Lydia Lai-Chu (1982) A graph representation of a semi-join program and its optimization. Masters thesis, Memorial University of Newfoundland.

Luo, Xiao (1989) A VLSI design for an efficient multiprocessor cache memory. Masters thesis, Memorial University of Newfoundland.

Luo, Yan (2011) Wi-Fi-based indoor positioning using human-centric collaborative feedback. Masters thesis, Memorial University of Newfoundland.

Luo, Yan and Hoeber, Orland and Chen, Yuanzhu (2013) Enhancing Wi-Fi fingerprinting for indoor positioning using human-centric collaborative feedback. Human-centric Computing and Information Sciences, 3 (2). ISSN 2192-1962

Ma, Yue (2005) An anchor-based model for global multiple alignment of whole genome sequences. Masters thesis, Memorial University of Newfoundland.

Majidi, Narges (2018) A personalized course recommendation system based on career goals. Masters thesis, Memorial University of Newfoundland.

Mamun, Abdullah-Al- (2016) Anomaly detection from time-changing environmental sensor data streams. Masters thesis, Memorial University of Newfoundland.

Mao, Wendong (2019) Learning-based stereo matching for 3D reconstruction. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Marvikhorasani, Hanieh (2019) Scalable feature selection methods by augmenting sparse lease squares. Masters thesis, Memorial University of Newfoundland.

Mata-Montero, Manrique and Shalaby, Nabil and Sheppard, Bradley (2013) Efficient Serial and Parallel Algorithms for Selection of Unique Oligos in EST Databases. Advances in Bioinformatics, 2013. ISSN 1687-8035

Mehri, Hamideh (2024) Generating bank transaction sequences with tabular GAN models. Masters thesis, Memorial University of Newfoundland.

Mercer, Jason I. (2007) Computational magnetic thin film dynamics. Masters thesis, Memorial University of Newfoundland.

Mercer, John (2001) Generalized maximal independence parameters for trees. Masters thesis, Memorial University of Newfoundland.

Meruvia-Pastor, Oscar E. and Soh, Jung and Schmidt, Eric J. and Boughner, Julia C. and Xiao, Mei and Jamniczky, Heather A. and Halgrimsson, Benedikt and Sensen, Christoph W. (2011) Estimating Cell Count and Distribution in Labeled Histological Samples Using Incremental Cell Search. International Journal of Biomedical Imaging, 2011 (Articl). pp. 1-16. ISSN 1687-4196

Miao, Yi (2000) M-buffer: a practice of object-oriented computer graphics with UML. Masters thesis, Memorial University of Newfoundland.

Mirhendi, S. Sadra (2018) Discovering Type 1 diabetes patient subgroups through integrative analysis of heterogeneous data. Masters thesis, Memorial University of Newfoundland.

Mishra, Akhilesh Kumar (2015) Robot arm manipulation using depth-sensing camera and inverse kinematics. Masters thesis, Memorial University of Newfoundland.

Mohtasham, Majid Beheshti (2019) The computational hardness of feature selection in strict-pure synthetic genetic datasets. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Momin, Kaleem A. (1999) A transaction execution model for mobile computing environments. Masters thesis, Memorial University of Newfoundland.

Musa, Zaynab (2018) A fog computing framework for scalable RFID systems in global supply chain management. Masters thesis, Memorial University of Newfoundland.

Mustafa, Safwan (2015) Integrating structured data using property precedence. Masters thesis, Memorial University of Newfoundland.

Mustari, Mst Mausumi Sabnam (2017) Configuring spiking neural network training algorithms. Masters thesis, Memorial University of Newfoundland.

Muthu, Muthuraman (1997) High-level specification of graphical user interfaces. Masters thesis, Memorial University of Newfoundland.

Myhr, Eric Robert (1990) The design and implementation of a Fortran-77 to Modula-2 translator. Masters thesis, Memorial University of Newfoundland.

Naqvi, Syed (2007) A semi-autonomous on-line chemotherapy prescription system. Masters thesis, Memorial University of Newfoundland.

Nargis, Isheeta (2007) Modeling and thematic analysis of neighborhood structures in the web and hierarchical identification of web communities. Masters thesis, Memorial University of Newfoundland.

Narvekar, Priyank (2024) A data grid strategy for non-prehensile object transport by a multi-robot system. Masters thesis, Memorial University of Newfoundland.

Nash, Andrew (2024) Herd’s eye view: improving game AI agent learning with collaborative perception. Masters thesis, Memorial University of Newfoundland.

Nasir, Muhammad (2014) Supporting ontology alignment tasks by organizing ontology mappings using edge bundling. Masters thesis, Memorial University of Newfoundland.

Naskulwar, Kratika (2020) sRNARFTarget: a machine learning-based approach for sRNA target prediction. Masters thesis, Memorial University of Newfoundland.

Ngugi, Anne N. (Anne Njambi) (2008) Efficient rate adaptation in IEEE 802.11 wireless networks. Masters thesis, Memorial University of Newfoundland.

Nickerson, Kyle (2023) A deep generative model framework for creating high quality synthetic transaction sequences. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Nizamee, Md Renesa (2014) The intrinsic hardness of structure approximation. Masters thesis, Memorial University of Newfoundland.

Noel, J. T. P. (2023) A new approach to momentum: a novel framework to evaluate momentum in sports. Masters thesis, Memorial University of Newfoundland.

Pan, Wenbo (2000) Real-time human face tracking. Masters thesis, Memorial University of Newfoundland.

Parsons, Brett M. (2006) Empirical analysis and observations of routing protocols for wireless sensor networks. Masters thesis, Memorial University of Newfoundland.

Patra, Pranjal (2015) Regulation expression pathway analysis (REPA): a novel method to facilitate biological interpretation of high throughput expression profiling data. Masters thesis, Memorial University of Newfoundland.

Peña-Castillo, Lourdes and Mercer, Ryan G. and Gurinovich, Anastasia and Callister, Stephen J. and Wright, Aaron T. and Westbye, Alexander B. and Beatty, J. Thomas and Lang, Andrew S. (2014) Gene co-expression network analysis in Rhodobacter capsulatus and application to comparative expression analysis of Rhodobacter sphaeroides. BMC Genomics, 15. ISSN 1471-2164

Perera, T. Dilani P. (2006) The speedup of distributed iterative solution of systems of linear equations. Masters thesis, Memorial University of Newfoundland.

Poozesh, Mohammad Kazem (2016) A secure e-prescription system based on NFC. Masters thesis, Memorial University of Newfoundland.

Pourazar, Baharehsadat (2014) A comprehensive approach for evaluation of stereo correspondence solutions in outdoor augmented reality. Masters thesis, Memorial University of Newfoundland.

Prince, Md. Enamul Hoque (2011) Concept-based query expansion and interactive visualization for web image search. Masters thesis, Memorial University of Newfoundland.

Qi, Jianlong (2007) Gene ontology driven feature selection from microarray gene expression data. Masters thesis, Memorial University of Newfoundland.

Qian, Yiming (2014) Self-tuning one-class support vector machines for data classification. Masters thesis, Memorial University of Newfoundland.

Rabi, Gihad (1997) Visual speech recognition by recurrent neural networks. Masters thesis, Memorial University of Newfoundland.

Rada, Irina (2000) Distributed generation of state space for timed Petri nets. Masters thesis, Memorial University of Newfoundland.

Rafighi, Afsaneh (2015) Automatic and adaptable registration of live RGBD video streams sharing partially overlapping views. Masters thesis, Memorial University of Newfoundland.

Rahimipour Anaraki, Javad (2019) From fuzzy-rough to crisp feature selection. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Rahman, Shibly (2006) Development of an expert system to conduct automated HAZOP studies. Masters thesis, Memorial University of Newfoundland.

Rahman, Md. Asikur (2013) A geovisual analytics approach to spatial and visual feature organization and exploration. Masters thesis, Memorial University of Newfoundland.

Razeghin, Mehdi (2014) Preference-based web service composition. Masters thesis, Memorial University of Newfoundland.

Reid, Michael Edward (1997) Modeling and performance analysis of ATM LANs. Masters thesis, Memorial University of Newfoundland.

Reid, M. and Zuberek, W. M. (1999) Timed petri net models of ATM LANs. In: Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, 1605 . Springer, Berlin, pp. 150-175. ISBN 978354048911-5

Ren, Ying (1991) Hierarchichal attributed graph representation and recognition of handwritten Chinese characters. Masters thesis, Memorial University of Newfoundland.

Romani, Shadab (2016) Succinct representations of Boolean functions and the Circuit-SAT problem. Masters thesis, Memorial University of Newfoundland.

Rose, Doyle (2007) Molecular dynamics simulations of lung surfactant phospholipid monolayers. Masters thesis, Memorial University of Newfoundland.

Roth, Helmut K. (1994) A bivariate spline collocation solution of the Korteweg-de Vries equation. Masters thesis, Memorial University of Newfoundland.

Said, Dalia (2016) Priority-based human-swarm interaction applied to a foraging application. Masters thesis, Memorial University of Newfoundland.

Sajedinia, Zahra (2015) Glia-augmented artificial neural networks: foundations and applications. Masters thesis, Memorial University of Newfoundland.

Saputantri, Kushan (2008) Improving the two-electron integral computation in MUNgauss. Masters thesis, Memorial University of Newfoundland.

Sardari, Aria (2024) Machine learning-based meta-analysis of colorectal cancer and inflammatory bowel disease. Masters thesis, Memorial University of Newfoundland.

Sarker, Abu Naser (2023) Adaptive numerical simulations for a moving boundary problem related to pitting corrosion. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Schünemann, Ulf (2005) Composite objects: dynamic representation and encapsulation by static classification of object references. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Segovia, Andrea Mariana (1996) A simulation study of the performance of multicast protocols. Masters thesis, Memorial University of Newfoundland.

Seifi, Sahand (2014) DeReEs: real-time registration of RGBD images using image-based feature detection and robust 3D correspondence estimation and refinement. Masters thesis, Memorial University of Newfoundland.

Shekoufa, Navid (2017) Continuous authentication and its application in personal health record systems. Masters thesis, Memorial University of Newfoundland.

Sheykholeslam, Mohammad Hoseyn (2018) Privacy-preserving query processing on health data. Masters thesis, Memorial University of Newfoundland.

Shi, Zhimin (1994) Exploring linear speedup in parallel ATPG through special topology. Masters thesis, Memorial University of Newfoundland.

Shi, Hui (2007) Texture classification by pattern knowledge discovery. Masters thesis, Memorial University of Newfoundland.

Shiell, Nicholi (2017) Behaviour-based pattern formation in a swarm of anonymous robots. Masters thesis, Memorial University of Newfoundland.

Shuva, Amitesh Saha (2015) The graph reconstruction conjecture: some new results and observations. Masters thesis, Memorial University of Newfoundland.

Song, Ruixin (2024) Temporal analysis and gravity-informed marine traffic forecasting for non-indigenous species risk assessment through ballast water. Masters thesis, Memorial University of Newfoundland.

Songyuan, Ji and Gong, Minglun (2019) Vision Based Pay-as-you-throw system: motion detection for garbage and recycle - based on faster RCNN. Research Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Staveley, Mark Sinclair (2009) Data representation scheme and similarity measures for a comprehensive computational chemistry database. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Strickland, Caroline (2019) A reinforcement learning approach to multi-robot planar construction. Masters thesis, Memorial University of Newfoundland.

Strong, Grant (2013) Arranging arbitrary data into structured layouts. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Strong, Grant (2009) Similarity-based image organization and browsing. Masters thesis, Memorial University of Newfoundland.

Strzeciwilk, Dariusz and Zuberek, W. M. (2018) Modeling and Performance Analysis of Priority Queuing Systems. In: 7th Computer Science Online Conference (CSOC 2018), April 25-28, 2018, Vsetin, Czech Republic.

Su, Jianmin (2010) Extending the instance-based data model : semantics, performance and security considerations. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Su, Jianmin (2003) A database management system to support the instance-based data model : design, implementation, and evaluation. Masters thesis, Memorial University of Newfoundland.

Suciu, Floarea (1998) Performance analysis of timed Petri nets by decomposition of the state space. Masters thesis, Memorial University of Newfoundland.

Sun, Yongmei (1997) Coping with value dependency for failure recovery in multidatabase systems. Masters thesis, Memorial University of Newfoundland.

Surgihalli, Mahantesh (2006) Consistent access to replicated web service registries. Masters thesis, Memorial University of Newfoundland.

Szeto, Anthony Wing Kay (1991) Hierarchical neural network system for improving edge detection. Masters thesis, Memorial University of Newfoundland.

Taban, Momeneh (2014) A recommender system for breast cancer patients. Masters thesis, Memorial University of Newfoundland.

Tahavorgar, Atiyeh (2023) sRNA-protein interaction prediction in bacteria. Masters thesis, Memorial University of Newfoundland.

Taheri Ghahfarokhi, Seyed Mohammad Amin (2024) BacTermFinder: bacteria-agnostic comprehensive terminator finder using a CNN ensemble. Masters thesis, Memorial University of Newfoundland.

Tan, Ming (1995) Development of a fast ray-tracing algorithm. Masters thesis, Memorial University of Newfoundland.

Tavafi, Amir (2017) A hybrid genetic programming based decision making system for multi-agent systems of Robocup Soccer Simulation. Masters thesis, Memorial University of Newfoundland.

Timmar, Mesam (2018) The computational complexity of controller-environment co-design using library selection for distributed construction. Masters thesis, Memorial University of Newfoundland.

Tricco, Terrence S. (Terrence Stansilaus) (2010) Simulation and visualisation of astrophysical plasmas with smoothed particle magnetohydrodynamics. Masters thesis, Memorial University of Newfoundland.

Tuhin, Mohammed Ashraful Alam (2007) Compiling parallel applications to coarse-grained reconfigurable architectures. Masters thesis, Memorial University of Newfoundland.

Uddin, Mohammed (2009) A co-operative co-evolutionary genetic algorithm for haplotype pattern detection in case-control data. Masters thesis, Memorial University of Newfoundland.

Ul Hasan, Md Monjur (2015) A study of geovisual analytics for exploring event anomalies over multiple geospatial datasets. Masters thesis, Memorial University of Newfoundland.

Venguswamy, Kumar (1990) An analysis of the single row transformation (SRT) approach to VLSI channel routing. Masters thesis, Memorial University of Newfoundland.

Wanasundara, Surajith Nalantha (2003) Molecular dynamics simulation of the fully hydrated dipalmitoylphosphatidylcholine (DPPC) bilayer. Masters thesis, Memorial University of Newfoundland.

Wang, Shiyao (2017) Augmented reality as a telemedicine platform for remote procedural training. Masters thesis, Memorial University of Newfoundland.

Wang, Tzu-ch'ing (1999) Fuzzy neural network for edge detection and Hopfield network for edge enhancement. Masters thesis, Memorial University of Newfoundland.

Wang, Shuo (2022) Prosthetic hand control: phase-based grasping pattern recognition using sEMG and computer vision. Masters thesis, Memorial University of Newfoundland.

Waqar, Wasiq (2013) Motion assisted indoor smartphone positioning in sparse Wi-Fi environments. Masters thesis, Memorial University of Newfoundland.

Wareham, Harold Todd (1992) On the computational complexity of inferring evolutionary trees. Masters thesis, Memorial University of Newfoundland.

Way, Andrew R. (2019) Automated image-based quality control of molecularly imprinted polymer films. Masters thesis, Memorial University of Newfoundland.

Wee, Dennis Ju-Xieng (1993) Formal software development using Z and the refinement calculus. Masters thesis, Memorial University of Newfoundland.

Wu, Feng (2015) Emergent ontology discovered from folksonomies. Masters thesis, Memorial University of Newfoundland.

Wu, Junwei (2009) A bottom-up approach for XML document classification. Masters thesis, Memorial University of Newfoundland.

Wu, Xiaonan (2012) A route to the evolution of cooperation: investigations of multilevel selection in evolutionary computation. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Xing, Xuemin (1999) Ad-hoc recovery in workflow systems : formal model and a prototype system. Masters thesis, Memorial University of Newfoundland.

Xu, He (1993) Texture identification using artificial neural networks and 2D-Autoregressive Model. Masters thesis, Memorial University of Newfoundland.

Yang, Boting (2002) Studies of several tetrahedralization problems. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Yang, Qiao (2008) A multi-agent prototype system for helping medical diagnosis. Masters thesis, Memorial University of Newfoundland.

Ye, Sipan (2018) Evolution of social networks through smart phones and radio sensors. Masters thesis, Memorial University of Newfoundland.

Yi, Zili (2018) From rule-based to learning-based image-conditional image generation. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Yuan, Hao (2016) Labeling large scale social media data using budget-driven One-class SVM classification. Masters thesis, Memorial University of Newfoundland.

Zaazou, Youssef (2024) Mapping galaxy images across ultraviolet, visible and infrared bands using generative deep learning. Masters thesis, Memorial University of Newfoundland.

Zare, Bahare (2024) Sonic log depth series predictions using machine learning algorithms. Masters thesis, Memorial University of Newfoundland.

Zhan, Guangyao (2011) Domain specific service repository design. Masters thesis, Memorial University of Newfoundland.

Zhang, Liuhua (2014) Automatic mammogram analysis using wavelet-fourier transforms and entropy-based feature selection. Masters thesis, Memorial University of Newfoundland.

Zhang, Chen (2018) Opportunistic routing and network coding in multi-hop wireless mesh networks. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Zhang, Yu (2019) PANDA: prioritization of autism-genes using network-based deep-learning approach. Masters thesis, Memorial University of Newfoundland.

Zhang, Wenbin (2015) Using the Machine Learning Approach to Predict Patient Survival from High-Dimensional Survival Data. Masters thesis, Memorial University of Newfoundland.

Zheng, Tongsheng (1998) Concurrent solutions of large sparse linear systems. Masters thesis, Memorial University of Newfoundland.

Zheng, Jun (2010) Real-time image registration and its application in motion-visual hybrid controller. Masters thesis, Memorial University of Newfoundland.

Zhong, Ning (2004) Color segmentation based on adjustable fuzzy neural networks and high level understanding of maps. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Zhou, Jiayi (2015) A robust algorithm to compare chemical structures. Masters thesis, Memorial University of Newfoundland.

Zier-Vogel, Ryan (2021) TopAffy: predicting transcription factors DNA-binding specificities using a general topological method. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Zuberek, W. M. (1995) APPLICATION OF TIMED PETRI NETS TO MODELING AND ANALYSIS OF FLEXIBLE MANUFACTURING CELLS. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (2001) Analysis of performance limitations in multithreaded multiprocessor architectures. In: Second International Conference on Application of Concurrency to System Design, 25-29 June 2001, Newcastle upon Tyne, UK.

Zuberek, W. M. (1995) Application of timed Petri nets to modeling the schedules of manufacturing cells. In: 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, 10-13 Oct. 1995, Paris, France.

Zuberek, W. M. (2002) Approximate simulation of distributed-memory multithreaded multiprocessors. In: 35th Annual Simulation Symposium. SS 2002, 14-18 April 2002, San Deigo, CA, USA.

Zuberek, W. M. (2010) Checking compatibility and substitutability of software components. In: Fifth International Conference on Dependability of Computer Systems, June 29 - July 1, 2010, Brunow, Poland.

Zuberek, W. M. (1987) Circuit decompilation in the SPICE-PAC package of simulation subroutines. In: First International Conference on Computer Technology, Systems and Applications (COMPEURO'87), May 11-15, 1987, Hamburg, Germany.

Zuberek, W. M. (2004) Cluster tools with chamber revisiting-modeling and analysis using timed Petri nets. IEEE Transactions on Semiconductor Manufacturing, 17 (3). pp. 333-344. ISSN 1558-2345

Zuberek, W. M. (1996) Composite schedules of manufacturing cells and their timed Petri net models. In: 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems, 14-17 Oct. 1996, Beijing, China.

Zuberek, W. M. (1998) Dynamic Control Of Time-domain Analysis In The Spice-pac Simulation Package. In: Twenty-Second Asilomar Conference on Signals, Systems and Computers, 31 Oct.-2 Nov. 1988, Pacific Grove, CA, USA.

Zuberek, W. M. (2004) Enhanced interleaved multithreaded multiprocessors and their performance analysis. In: Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004, June 16-18, 2004, Hamilton, Ontario, Canada, Canada.

Zuberek, W. M. (2004) Estimation of the Speedup of Distributed Applications. In: INTERNATIOAL CONFERENCE ON ADVANCES IN THE INTERNET, SYSTEMS, AND INTERDISCIPLINARY RESEARCH (IPSI’04), June 4-5, 2004, Studenica Monastery, Serbia. (Submitted)

Zuberek, W. M. (2000) Event-driven simulation of timed Petri net models. In: 33rd Annual Simulation Symposium (SS 2000), 16-20 April 2000, Washington, DC, USA.

Zuberek, W. M. (1992) FIT-2, an extraction program based on the SPICE-PAC simulation software. In: 34th Midwest Symposium on Circuits and Systems, 14-17 May 1992, Monterey, CA, USA.

Zuberek, W. M. (1994) FIT-S, a simulation-based data-driven parameter extraction program. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1992) Flexible circuit simulation with mixed-domain and mixed-mode applications. In: 1992 IEEE International Symposium on Circuits and Systems, 10-13 May 1992, San Diego, CA, USA.

Zuberek, W. M. (1998) Hierarchical Derivation of Schedules for Manufacturing Cells. In: 9th IFAC Symposium on Information Control in Manufacturing 1998 (INCOM '98), June 24-26, 1998, Nancy, France.

Zuberek, W. M. (2000) Hierarchical analysis of manufacturing systems using Petri nets. In: 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions', 8-11 Oct. 2000, Nashville, TN, USA.

Zuberek, W. M. (1999) Hierarchical derivation of Petri net models of composite schedules for manufacturing cells. In: 1999 IEEE International Conference on Systems, Man, and Cybernetics, 12-15 Oct. 1999, Tokyo, Japan.

Zuberek, W. M. (1989) Higher-level modelling extensions to SPICE-like circuit simulators. In: 32nd Midwest Symposium on Circuits and Systems, 14-16 Aug. 1989, Champaign, IL, USA.

Zuberek, W. M. (2011) Incremental Composition of Software Components. In: Sixth International Conference on Dependability of Complex Systems,, June 27 – July 1, 2011, Brunow Palace, Poland.

Zuberek, W. M. (1984) Interfacing circuit simulation with optimization packages. In: IEEE Int. Conference on Computer-Aided Design (ICCAD’84), November 12–15, 1984, Santa Clara, California.

Zuberek, W. M. (1987) Interpolation methods in modelling semiconductor devices by enhanced controlled sources. In: 21-st Asilomar Conference on Signals, Systems and Computers,, 1987, Pacific Grove, CA, USA.

Zuberek, W. M. (2016) Invariant–based performance analysis of timed Petri net models. In: 11-th Int. Conf. on Dependability of Complex Systems, June 27 - July 1, 2016, Brunów, Poland.

Zuberek, W. M. (1989) Linearly unbounded timed Petri nets in modelling and performance evaluation. In: 32nd Midwest Symposium on Circuits and Systems (MSCAS-89),, 14-16 Aug. 1989, Champaign, IL, USA.

Zuberek, W. M. (1986) M-timed Petri nets and Markov chains in modelling of computer systems. In: 14-th ACM Annual Computer Science Conference (CSC’86), February 4–6, 1986, Cincinnati, OH.

Zuberek, W. M. (1986) M-timed Petri nets, priorities, preemptions, and performance evaluation of systems. In: Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science (222). Springer, Berlin, pp. 478-498. ISBN 9783540398226

Zuberek, W. M. (1989) Milxed-mode simulation with spice-like circuit simulators. In: Twenty-Third Asilomar Conference on Signals, Systems and Computers, 1989, 30 Oct.-1 Nov. 1989, Pacific Grove, CA,USA.

Zuberek, W. M. (2014) Model Fusion for the Compatibility Verification of Software Components. In: Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 30 – July 4, 2014, Brunów, Poland.

Zuberek, W. M. (2004) Modeling and Analysis of Dual Block Multithreading. In: FORTE 2004, September 27-30, 2004, Toledo, Spain. (Submitted)

Zuberek, W. M. (1996) Modeling using timed Petri nets - event-driven simulation. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1996) Modeling using timed Petri nets - model description and representation. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (2004) Modelling and Verification of Compatibility of Component Composition. In: Third Workshop on Modelling of Objects, Components, and Agents, 11-13 October 2004, Aarhus, Denmark. (Submitted)

Zuberek, W. M. (1986) Modified D-timed Petri nets, timeouts, and modelling of communication protocols. In: 6-th Int. Conference on Distributed Computer Systems (DCS’86), May 19–23, 1986, Cambridge, MA.

Zuberek, W. M. (1987) Modified M-timed Petri nets in modelling and performance evaluation of systems. In: 15-th ACM Annual Computer Science Conference (CSC’87), February 17–19, 1987,, St. Louis, MO.

Zuberek, W. M. (1984) NUMERICAL APPROXIMATION OF GRADIENTS FOR CIRCUIT OPTIMIZATION. In: 27-th Midwest Symposium on Circuits and Systems (MSCAS’84), June 11–12, 1984, Morgantown, WV.

Zuberek, W. M. (1988) On generation of state space for timed Petri nets. In: ACM Annual Computer Science Conference (CSC’88), 23–25 February 1988,, Atlanta, Georgia.

Zuberek, W. M. (1996) Optimal schedules of manufacturing cells-modeling and analysis using timed Petri nets. In: IEEE International Symposium on Industrial Electronics, 17 June 1996, Warsaw, Poland.

Zuberek, W. M. (2000) PETRI NETS AND TIMED PETRI NETS BASIC CONCEPTS AND PROPERTIES. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1987) Parameterized subcircuits in the SPICE-PAC package of simulation subroutines. In: 1987 Canadian Conference on Very Large Scale Intergration, October 25–27, 1987, Winnipeg, Manitoba, Canada.

Zuberek, W. M. (2000) Performance Modeling of Multithreaded Distributed Memory Architectures. In: Hardware Design and Petri Nets. Springer, Boston, MA., pp. 311-331. ISBN 9781475731439

Zuberek, W. M. (1998) Performance bounds for distributed memory multithreaded architectures. In: 1998 IEEE International Conference on Systems, Man, and Cybernetics, 14 Oct. 1998, San Diego, CA, USA.

Zuberek, W. M. (1985) Performance evaluation of concurrent systems using timed petri nets. In: ACM 13-th Annual Computer Science Conference, March 12-14, 1985, New Orleans, LA, USA.

Zuberek, W. M. (1985) Performance evaluation using extended timed Petri nets. In: International Workshop on Timed Petri Nets, July 1-3, 1985, Torino, Italy.

Zuberek, W. M. (1990) Performance evaluation using timed coloured Petri nets. In: 33rd Midwest Symposium on Circuits and Systems, 12-14 Aug. 1990, Calgary, AB, Canada.

Zuberek, W. M. (1989) Performance evaluation using unbounded timed Petri nets. In: Third International Workshop on Petri Nets and Performance Models, 11-13 Dec. 1989, Kyoto, Japan.

Zuberek, W. M. (2009) Performance limitations of block-multithreaded distributed-memory systems. In: 2009 Winter Simulation Conference (WSC), 13-16 December, 2009, Austin, TX, USA.

Zuberek, W. M. (2003) Petri Nets and Timed Petri Nets in Modeling and Analysis of Concurrent Systems – An Overview. Research Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (2001) Petri net modeling and performance analysis of cluster tools with chamber revisiting. In: ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation, 15-18 Oct. 2001, Antibes-Juan les Pins, France, France.

Zuberek, W. M. (1999) Petri net models of process synchronization mechanisms. In: 1999 IEEE International Conference on Systems, Man, and Cybernetics, 12-15 Oct. 1999, Tokyo, Japan.

Zuberek, W. M. (1987) Preemptive D-timed Petri nets, timeouts, modeling and analysis of communication protocols. In: IEEE 6-th Annual Conference on Global Networks (INFOCOM'87), March 30 - April 2, 1987, San Francisco, CA.

Zuberek, W. M. (1984) SPICE-PAC, a package of subroutines for interactive simulation and optimization of circuits. In: IEEE Int. Conference on Computer Design (ICCD'84), October 1984, Port Chester, NY.

Zuberek, W. M. (1989) SPICE–PAC version 2G6c: An Overview. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (2003) STRUCTURAL METHODS IN PERFORMANCE ANALYSIS OF DISCRETE-EVENT SYSTEMS. In: 9th IEEE International Conference on Methods and Models in Automation and Robotics, Special Session on Analysis and Control of Discrete/Hybrid Systems, 25–28 August 2003, Miedzyzdroje, Poland,.

Zuberek, W. M. (1995) Schedules of flexible manufacturing cells and their timed colored Petri net models. In: 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, 22-25 Oct. 1995, Vancouver, British Columbia, Canada.

Zuberek, W. M. (1995) Schedules of flexible manufacturing cells and their timed colored Petri net models. In: 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, 22-25 Oct. 1995, Vancouver, BC, Canada.

Zuberek, W. M. (2012) Service Renaming in Component Composition. In: Seventh International Conference on Dependability of Complex Systems, June, 25-29 2012, Brunow Palace, Poland.

Zuberek, W. M. (2013) Shuffle–based verification of component compatibility. In: Eighth International Conference on Dependability of Complex Systems, Sept. 8-13, 2013, Brunow Palace, Poland.

Zuberek, W. M. (2009) Siphon-Based Verification of Component Compatibility. In: Fourth International Conference on Dependability of Computer Systems, 30 June-2 July 2009, Brunow, Poland.

Zuberek, W. M. (1990) Software interfaces for integrated simulation applications. In: Ninth Annual International Phoenix Conference on Computers and Communications, 21-23 March 1990, Scottsdale, AZ, USA.

Zuberek, W. M. (1999) Stepwise refinements of net models and their place invariants. In: 8th International Workshop on Petri Nets and Performance Models, 8-10 Sept. 1999, Zaragoza, Spain, Spain.

Zuberek, W. M. (2015) Symbolic Analysis of Timed Petri Nets. In: DepCoS-RELCOMEX 2015, June 29 - July 3, 2015, Brunów, Poland.

Zuberek, W. M. (2002) Systematic Construction and Performance Analysis of Cluster Tools Using Timed Petri Net Models. In: Brazilian Petri Net Workshop, 2-5 September 2002, 14 Congresso Brasileiro de Automatica, Natal Brazil.

Zuberek, W. M. (1993) Throughput analysis in timed Petri nets. In: Proceedings of the 35th Midwest Symposium on Circuits and Systems, 9-12 August, 1992, Washington, DC, USA.

Zuberek, W. M. (1993) Throughput analysis in timed colored Petri nets. In: 1993 IEEE International Symposium on Circuits and Systems, 3-6 May 1993, Chicago, IL, USA.

Zuberek, W. M. (1994) Throughput analysis of manufacturing cells using timed Petri nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2-5 Oct. 1994, San Antonio, TX, USA.

Zuberek, W. M. (1993) Throughput analysis of simple closed timed Petri net models. In: 36th Midwest Symposium on Circuits and Systems, 16-18 Aug. 1993, Detroit, MI, USA.

Zuberek, W. M. (2000) Timed Petri Net Models of Cluster Tools. In: IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC’2000), 8-11 Oct. 2000, Nashville, TN, USA.

Zuberek, W. M. (1988) Timed Petri net models of queueing systems. In: Seventh Annual International Phoenix Conference on Computers an Communications, 16-18 March 1988, Scottsdale, AZ, USA.

Zuberek, W. M. (1998) Timed Petri nets and performance evaluation of systems. In: 1998 IEEE International Conference on Systems, Man, and Cybernetics, 14 Oct. 1998, San Diego, CA, USA.

Zuberek, W. M. (2001) Timed Petri nets in modeling and analysis of cluster tools. IEEE Transactions on Robotics and Automation, 17 (5). pp. 562-575. ISSN 2374-958X

Zuberek, W. M. (1987) Timed Petri nets in modelling and evaluation of multiprocessor systems. In: 1987 Int. Conference on Parallel Processing (ICPP’87), August, 1987, St.Charles, IL.

Zuberek, W. M. (1994) An approach to integrated numerical and symbolic circuit analysis. In: IEEE International Symposium on Circuits and Systems - ISCAS '94, 30 May-2 June 1994, London, UK.

Zuberek, W. M. and Allen, Phillip E. and Chan, Brian P. Lum Shue (1990) Comparison of mixed analog-digital simulators. In: 1990 IEEE International Symposium on Circuits and Systems (ISCAS), 1-3 May 1990, New Orleans, LA, USA.

Zuberek, W. M. and Bluemke, Ilona (1996) Hierarchies of place/transition refinements in Petri nets. In: IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96, 18-21 Nov. 1996, Kauai, HI, USA.

Zuberek, W. M. and Bluemke, Ilona (2008) Performance Analysis of Component-Based Systems. In: 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, 26-28 June 2008, Szklarska Poreba, Poland.

Zuberek, W. M. and Craig, Donald C. (2007) Multicomponent Compatibility and its Verification. In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia.

Zuberek, W. M. and Craig, Donald C. (2007) Verification of Component Behavioral Compatibility. In: 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 14-16 June 2007, Szklarska, Poland.

Zuberek, W. M. and Govindarajan, R. and Suciu, Floarea (1997) Timed Petri net models of multithreaded multiprocessor architectures. In: Seventh International Workshop on Petri Nets and Performance Models, 3-6 June 1997, Saint Malo, France.

Zuberek, W. M. and Konczykowska, A. (1991) FIT–2, A SIMULATION–BASED PARAMETER EXTRACTION PROGRAM. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. and Konczykowska, A. (1995) Improving performance of parameter extractors through symbolic simulation. In: Proceedings of the IEEE International Symposium on Industrial Electronics, 10-14 July 1995, Athens, Greece.

Zuberek, W. M. and Konczykowska, A. (1994) Symbolic analysis in parameter extraction, its implementation and performance. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. and Konczykowska, A. (1990) TEGESED, a tool for efficient technological and geometrical characterization of semiconductor devices. In: European Design Automation Conf. (EDAC'90), 12-15 March, 1990, Glasgow, Scotland.

Zuberek, W. M. and Konczykowska, A. and Wang, H. (1989) Distributed transmission lines and time-domain analysis in SPICE-like circuit simulators. In: 1989 IEEE International Symposium on Circuits and Systems (ISCAS), May 9–11, 1989, Portland, OR, USA.

Zuberek, W. M. and Kubiak, W. (1993) Timed Petri net models of flexible manufacturing cells. In: 36th Midwest Symposium on Circuits and Systems, 16-18 Aug. 1993, Detroit, MI, USA.

Zuberek, W. M. and Perpera, T. D. P. (2005) Performance Analysis of Distributed Iterative Linear Solvers. In: WSEAS 7-th Int. Conf. on Mathematical Methods and Computational Techniques in Electrical Engineering (MMACTEE’05), October 27-29, 2005, Sofia, Bulgaria. (Submitted)

Zuberek, W. M. and Rada, Irina (2001) Modeling and analysis of distributed state space generation for timed Petri nets. In: 34th Annual Simulation Symposium, 26 April 2001, Seattle, Washington, USA.

Zuberek, W. M. and Zubarek, M. S. (1989) Table-driven circuit elements in spice-like simulation programs. In: Twenty-Third Asilomar Conference on Signals, Systems and Computers, 1989, 30 Oct.-1 Nov. 1989, Pacific Grove, CA,USA.

Zuberek, W. M. and Zubarek, M. S. (1990) Transformations of timed Petri nets and performance analysis. In: 33-rd Midwest Symposium on Circuits and Systems (MSCAS’90), 12-14 August 1990, Calgary, AB, Canada.

Zuberek, W. M. and Zuberek, M. S. (1992) Table-driven analyses in the SPICE-PAC circuit simulation package. In: 34th Midwest Symposium on Circuits and Systems, 14-17 May 1992, Monterey, CA, USA.