MacSphere: Browsing MacSphere

Browsing by Author Janicki, Ryszard

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 20 of 20

Publication Date	Title	Author(s)
May-2006	An Analysis of Program by Symbolic Computation	Zhai, Yun
May-2010	A context aware framework for product based software certification	Babiy, Volodymyr
Apr-2011	Formal Semantics for Tabular Expressions and Software Cost Reduction Method	Bourguiba, Imene
Jun-2016	An Integrated Approach to Improve Data Quality	Al-janabi, Samir
2016	An Investigation of Coloured Petri Nets:Automated Part Cutting Case Study	Adams, Stephen W.
Nov-2015	A Mixed Model for Pairwise Comparisons and Its Applications	Mirdad, Abeer
2021	Modeling Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools	Assiri, Mohammed
2015	Modeling Elevator System With Coloured Petri Nets	Assiri, Mohammed
17-Jun-2016	Modelling Concurrent Systems with Interval Processes	Alqarni, Mohammad
2003	Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets	Wu, Angela
Dec-2010	Non-Numerical Ranking Based on Pairwise Comparisons	Zhai, Yun
-	On Closure Operator for Interval Order Structures	Zubkova, Nadezhda
2000	Organizing, and documenting component-oriented toolkits	Radaideh, Mohammad A.
2024	Overlapping Classes in Imbalanced Datasets	Almutairi, Waleed
Jun-2024	PREVENTING DATA POISONING ATTACKS IN FEDERATED MACHINE LEARNING BY AN ENCRYPTED VERIFICATION KEY	Mahdee, Jodayree
Nov-2017	Rough Sets, Similarity, and Optimal Approximations	Lenarcic, Adam
Aug-2008	Studies in Comtrace Monoids	Le, Dai
Feb-2005	TRANSFORMING UML DIAGRAMS TO COLOURED PETRI NETS	Yao, Wenxiang
Jun-2010	Verification of programs with Z3	Romanowicz, Ewa
Oct-2013	Weighted Feature Classification	Soudkhah, Mohammad Hadi

Showing results 1 to 20 of 20