Search results for "stocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Rosa Meo, Pier Luca Lanzi, Maristella Matera, Danilo Careggio, Roberto Esposito	Employing Inductive Databases in Concrete Applications.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
82	Christoph Csallner, Marcus Handte, Othmar Lehmann, John T. Stasko	FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps.	INFOVIS	2003	DBLP DOI BibTeX RDF	FundExplorer, information visualization, context, query, distortion, treemap, stock market, financial data
71	Huiyi Tan, Hengjin Cai, Yong Li	Frequent Patterns of Investment Behaviors in Shanghai Stock Market.	CSSE (4)	2008	DBLP DOI BibTeX RDF
71	Robert J. Yan, Charles X. Ling	Machine learning for stock selection.	KDD	2007	DBLP DOI BibTeX RDF	stock selection
68	Etsushi Ohkawa, Yan Chen 0008, Shingo Mabu, Kaoru Shimada, Kotaro Hirasawa	Varying portfolio construction of stocks using genetic network programming with control nodes.	GECCO	2008	DBLP DOI BibTeX RDF	buying and selling stocks, candlestick chart, evolutionary computation, genetic network programming
65	Samuel C. Kou, Steven S. G. Kou	Asset price modeling: modeling growth stocks (part II).	WSC	2002	DBLP DOI BibTeX RDF
59	Chengxiong Zhou, Lean Yu, Tao Huang, Shouyang Wang, Kin Keung Lai	Selecting Valuable Stock Using Genetic Algorithm.	SEAL	2006	DBLP DOI BibTeX RDF
59	Saulius Masteika, Rimvydas Simutis	Stock Trading System Based on Formalized Technical Analysis and Ranking Technique.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
59	Sung Dong Kim, Jae Won Lee, Jongwoo Lee, Jinseok Chae	A Two-Phase Stock Trading System Using Distributional Differences.	DEXA	2002	DBLP DOI BibTeX RDF
56	Norio Baba, Kou Nin	Effective Utilization of Neural Networks for Constructing an Intelligent Decision Support System for Dealing Stocks.	KES (2)	2009	DBLP DOI BibTeX RDF	traditional technical analysis, golden cross, dead cross, TOPIX, improved DSS for dealing stocks, neural networks
53	C. K. Tse, Jing Liu 0033, Francis Chung-Ming Lau, Keqing He	Observing Stock Market Fluctuation in Networks of Stocks.	Complex (2)	2009	DBLP DOI BibTeX RDF
53	Jovita Nenortaite, Rimvydas Simutis	Stocks' Trading System Based on the Particle Swarm Optimization Algorithm.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
50	Norio Baba, Kou Nin	Prediction of Golden Cross and Dead Cross by Neural Networks and Its Utilization.	KES (2)	2007	DBLP DOI BibTeX RDF	traditional technical analysis, golden cross, dead cross, improved DSS for dealing stocks, neural networks
47	Virgilijus Sakalauskas, Dalia Kriksciuniene	Research of the Calendar Effects in Stock Returns.	BIS (Workshops)	2009	DBLP DOI BibTeX RDF	calendar effect, F-test, mean return, Kolmogorov-Smirnov test, stock market
47	George H. John, Peter Miller, Randy Kerber	Stock Selection Using Rule Induction.	IEEE Expert	1996	DBLP DOI BibTeX RDF
44	Jameela Al-Jaroodi, Nader Mohamed	A Flexible Notification System for Stocks Investors.	ITNG	2009	DBLP DOI BibTeX RDF	stocks investment, web information, information retrieval, alerts, notification services
41	Hai Lin, Zhenlong Zheng	Impact of Short Sale Constraints on Pricing of Restricted Stocks.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
41	George Xanthos, Dikaios Tserkezos	Temporal aggregation effects on the construction of portfolios of stocks or mutual funds through optimization techniques. Some empirical and Monte Carlo results.	Oper. Res.	2007	DBLP DOI BibTeX RDF	JEL classification C32, C43, G14, C51
41	Seza Orçun, Sila Çetinkaya, Reha Uzsoy	Determining safety stocks in the presence of workload-dependent lead times.	WSC	2007	DBLP DOI BibTeX RDF
35	Garnett Carl Wilson, Wolfgang Banzhaf	Prediction of Interday Stock Prices Using Developmental and Linear Genetic Programming.	EvoWorkshops	2009	DBLP DOI BibTeX RDF	Computational Finance, Linear Genetic Programming, Developmental Genetic Programming
35	Kuang Yu Huang, Chuen-Jiuan Jane	An Automatic Stock Market Forecasting and Portfolio Selection Mechanism Based on VPRS, ARX and Grey System.	APSCC	2008	DBLP DOI BibTeX RDF
35	Ruairí de Fréin, Konstantinos Drakakis, Scott T. Rickard	Portfolio diversification using subspace factorizations.	CISS	2008	DBLP DOI BibTeX RDF
35	Hansheng Lei, Venu Govindaraju	Generalized regression model for sequence matching and clustering.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Generalized regression model, Eigenvalue and eigenvector, Similarity measure, Sequence clustering, Sequence matching
35	Mario Inostroza-Ponta, Regina Berretta, Alexandre Mendes, Pablo Moscato	An automatic graph layout procedure to visualize correlated data.	IFIP AI	2006	DBLP DOI BibTeX RDF
35	Mehdi R. Zargham, Namdar Mogharreban	PORSEL: an expert system for assisting in investment analysis and valuation.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Fuzzy stock selector, Portfolio constructor, Fuzzy logic, Portfolio management
35	Teruyuki Watanabe, Junzo Watada	Effective Solution of a Portofolio Selection Based on a Block of Shares by a Meta-controlled Boltzmann Machine.	KES	2004	DBLP DOI BibTeX RDF
35	Sio Iong Ao	Hybrid Intelligent System for Pricing the Indices of Dual-Listing Stock Markets.	IAT	2003	DBLP DOI BibTeX RDF
35	Mehdi R. Zargham, Mohammad R. Sayeh	A Web-Based Information System for Stock Selection and Evaluation.	WECWIS	1999	DBLP DOI BibTeX RDF
35	I-Cheng Yeh 0002, Tzu-Kuang Hsu	Exploring the dynamic model of the returns from value stocks and growth stocks using time series mining.	Expert Syst. Appl.	2014	DBLP DOI BibTeX RDF
35	Daniel Paraschiv, Srinivas Raghavendra, Laurentiu Vasiliu	Stocks scanner evaluator for stocks or options.	CIFEr	2009	DBLP DOI BibTeX RDF
35	Charles J. Corbett	Stochastic Inventory Systems in a Supply Chain with Asymmetric Information: Cycle Stocks, Safety Stocks, and Consignment Stock.	Oper. Res.	2001	DBLP DOI BibTeX RDF
30	Alexei Taylor, Fengqing (Zoe) Zhang, Xin Niu, Ashley Heywood, Jane Stocks, Gangyi Feng, Karteek Popuri, Mirza Faisal Beg, Lei Wang 0032	Investigating the temporal pattern of neuroimaging-based brain age estimation as a biomarker for Alzheimer's Disease related neurodegeneration.	NeuroImage	2022	DBLP DOI BibTeX RDF
30	David Valentine, Ilya Zaslavsky, Stephen M. Richard, Ouida Meier, Gary Hudman, Bernhard Peucker-Ehrenbrink, Karen I. Stocks	EarthCube Data Discovery Studio: A gateway into geoscience data discovery and exploration with Jupyter notebooks.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
30	Chunjong Park, Hung Ngo, Libby Rose Lavitt, Vincent Karuri, Shiven Bhatt, Peter Lubell-Doughtie, Anuraj H. Shankar, Leonard Ndwiga, Victor Osoti, Juliana K. Wambua, Philip Bejon, Lynette Isabella Ochola-Oyier, Monique Chilver, Nigel P. Stocks, Victoria Lyon, Barry R. Lutz, Matthew Thompson, Alex Mariakakis, Shwetak N. Patel	The Design and Evaluation of a Mobile System for Rapid Diagnostic Test Interpretation.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2021	DBLP DOI BibTeX RDF
30	Cheng Cheng, Andrew Blakers, Matthew Stocks, Bin Lu	100% renewable electricity in Japan.	CoRR	2021	DBLP BibTeX RDF
30	Giuseppe M. J. Barca, Jorge L. Galvez Vallejo, David L. Poole, Melisa Alkan, Ryan Stocks, Alistair P. Rendell, Mark S. Gordon	Enabling large-scale correlated electronic structure calculations: scaling the RI-MP2 method on summit.	SC	2021	DBLP DOI BibTeX RDF
30	Merve Öner, Stuart M. Stocks, Gürkan Sin	Comprehensive sensitivity analysis and process risk assessment of large scale pharmaceutical crystallization processes.	Comput. Chem. Eng.	2020	DBLP DOI BibTeX RDF
30	Abhinav Jauhri, Brad Stocks, Jian-Hui Li, Koichi Yamada, John Paul Shen	Generating Realistic Ride-Hailing Datasets Using GANs.	ACM Trans. Spatial Algorithms Syst.	2020	DBLP DOI BibTeX RDF
30	Alexander P. Nikitin, Nigel G. Stocks	Injection locking in self-oscillating magnetometers.	IEEE Instrum. Meas. Mag.	2020	DBLP DOI BibTeX RDF
30	Joshua W. Steer, Oliver Stocks, Jack Parsons, Peter R. Worsley, Alexander S. Dickinson	ampscan: A lightweight Python package for shape analysis of prosthetics and orthotics.	J. Open Source Softw.	2020	DBLP DOI BibTeX RDF
30	Bin Lu, Andrew Blakers, Matthew Stocks, Cheng Cheng, Anna Nadolny	A zero-carbon, reliable and affordable energy future in Australia.	CoRR	2020	DBLP BibTeX RDF
30	Zongrui Pei, Markus Eisenbach 0002, Sai Mu, G. Malcolm Stocks	Error controlling of the combined Cluster-Expansion and Wang-Landau Monte-Carlo method and its application to FeCo.	Comput. Phys. Commun.	2019	DBLP DOI BibTeX RDF
30	Karen I. Stocks, Sam Schramski, Arika Virapongse, Lisa Kempler	Geoscientists' Perspectives on Cyberinfrastructure Needs: A Collection of User Scenarios.	Data Sci. J.	2019	DBLP DOI BibTeX RDF
30	Xianglin Liu, Yang Wang 0008, Markus Eisenbach 0002, G. Malcolm Stocks	Fully-relativistic full-potential multiple scattering theory: A pathology-free scheme.	Comput. Phys. Commun.	2018	DBLP DOI BibTeX RDF
30	Matthew B. Stocks, Irina Mohorianu, Matthew Beckers, Claudia Paicu, Simon Moxon, Joshua Thody, Tamas Dalmay, Vincent Moulton	The UEA sRNA Workbench (version 4.4): a comprehensive suite of tools for analyzing miRNAs and sRNAs.	Bioinform.	2018	DBLP DOI BibTeX RDF
30	Omid Chatrabgoun, Amin Hosseinian Far, Victor Chang 0001, Nigel G. Stocks, Alireza Daneshkhah	Approximating non-Gaussian Bayesian networks using minimum information vine model with applications in financial modelling.	J. Comput. Sci.	2018	DBLP DOI BibTeX RDF
30	Robert Cope, Joshua V. Ross, Monique Chilver, Nigel P. Stocks, Lewis Mitchell	Characterising seasonal influenza epidemiology using primary care surveillance data.	PLoS Comput. Biol.	2018	DBLP DOI BibTeX RDF
30	Alireza Daneshkhah, Nigel G. Stocks, Paul Jeffrey	Probabilistic sensitivity analysis of optimised preventive maintenance strategies for deteriorating infrastructure assets.	Reliab. Eng. Syst. Saf.	2017	DBLP DOI BibTeX RDF
30	Claudia Paicu, Irina Mohorianu, Matthew B. Stocks, Ping Xu, Aurore Coince, Martina Billmeier, Tamas Dalmay, Vincent Moulton, Simon Moxon	miRCat2: accurate prediction of plant and animal microRNAs from next-generation sequencing datasets.	Bioinform.	2017	DBLP DOI BibTeX RDF
30	Alexander P. Nikitin, Robert P. Morse, Nigel G. Stocks	Recoverability of band-passed signals from non-zero threshold crossings.	EBCCSP	2017	DBLP DOI BibTeX RDF
30	Freeha Azmat, Yunfei Chen 0001, Nigel Stocks	Analysis of Spectrum Occupancy Using Machine Learning Algorithms.	IEEE Trans. Veh. Technol.	2016	DBLP DOI BibTeX RDF
30	Anthony Stocks, Manuela Ruiz Reyes, Carlos Andrés Rios-Franco	GIS and the A'i of Colombia: Reserves, Resguardos and the Future.	Int. J. Appl. Geospat. Res.	2016	DBLP DOI BibTeX RDF
30	Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks	A low-overhead, value-tracking approach to information flow security.	Inf. Softw. Technol.	2016	DBLP DOI BibTeX RDF
30	Freeha Azmat, Yunfei Chen 0001, Nigel Stocks	Predictive Modelling of RF Energy for Wireless Powered Communications.	IEEE Commun. Lett.	2016	DBLP DOI BibTeX RDF
30	Holly Miller, Catherine Hoang, Nathan Stocks, Timothy Williams, Mary Ferramosca, Paloma L. Hawry	The Importance of Well-Defined Mapping Heuristics for Mapping Quality.	AMIA	2016	DBLP BibTeX RDF
30	Freeha Azmat, Yunfei Chen 0001, Nigel Stocks	Analysis of Spectrum Occupancy Using Machine Learning Algorithms.	CoRR	2015	DBLP BibTeX RDF
30	Freeha Azmat, Yunfei Chen 0001, Nigel Stocks	Bio-inspired collaborative spectrum sensing and allocation for cognitive radios.	IET Commun.	2015	DBLP DOI BibTeX RDF
30	Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks	A concise specification language for trace monitoring.	SAC	2015	DBLP DOI BibTeX RDF
30	Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks	A Dynamic Approach to Locating Memory Leaks.	ICTSS	2013	DBLP DOI BibTeX RDF
30	Jianhua Yang 0003, Harsimrat Singh, Evor L. Hines, Friederike Schlaghecken, Daciana Iliescu, Mark S. Leeson, Nigel G. Stocks	Channel selection and classification of electroencephalogram signals: An artificial neural network and genetic algorithm-based approach.	Artif. Intell. Medicine	2012	DBLP DOI BibTeX RDF
30	Matthew B. Stocks, Simon Moxon, Daniel Mapleson, Hugh C. Woolfenden, Irina Mohorianu, Leighton Folkes, Frank Schwach, Tamas Dalmay, Vincent Moulton	The UEA sRNA workbench: a suite of tools for analysing and visualizing next generation sequencing microRNA and small RNA datasets.	Bioinform.	2012	DBLP DOI BibTeX RDF
30	Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks	A Low-Overhead, Value-Tracking Approach to Information Flow Security.	SEFM	2012	DBLP DOI BibTeX RDF
30	Matthew B. Stocks, Stephen D. Laycock, Steven Hayward	Applying forces to elastic network models of large biomolecules using a haptic feedback device.	J. Comput. Aided Mol. Des.	2011	DBLP DOI BibTeX RDF
30	Shulei Sun, Jing Chen, Weizhong Li 0002, Ilkay Altintas, Abel W. Lin, Steven Peltier, Karen I. Stocks, Eric E. Allen, Mark H. Ellisman, Jeffrey S. Grethe, John C. Wooley	Community cyberinfrastructure for Advanced Microbial Ecology Research and Analysis: the CAMERA resource.	Nucleic Acids Res.	2011	DBLP DOI BibTeX RDF
30	Jan A. Freund, Alexander Nikitin, Nigel G. Stocks	Phase Locking Below Rate Threshold in Noisy Model Neurons.	Neural Comput.	2010	DBLP DOI BibTeX RDF
30	Mark D. McDonnell, Nigel G. Stocks, Pierre-Olivier Amblard	Communication of uncoded sensor measurements through nanoscale binary-node stochastic pooling networks.	Nano Commun. Networks	2010	DBLP DOI BibTeX RDF
30	Stephen D. Laycock, Matthew B. Stocks, Steven Hayward	Navigation and exploration of large data-sets using a haptic feedback device.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF	biomolecule, elastic network model, force-feedback, protein, haptic rendering
30	Wyman Stocks	When Anti-virus Doesn't Cut It: Catching Malware with SIEM.	LISA	2010	DBLP BibTeX RDF
30	Jason F. Ralph, Nigel G. Stocks	Fusion of low bit-depth images for battle damage indication.	FUSION	2010	DBLP BibTeX RDF
30	Mark D. McDonnell, Nigel G. Stocks	Suprathreshold stochastic resonance.	Scholarpedia	2009	DBLP DOI BibTeX RDF
30	Adrian Gepp, Phil Stocks	A review of procedures to evolve quantum algorithms.	Genet. Program. Evolvable Mach.	2009	DBLP DOI BibTeX RDF	Evolving quantum algorithms, Genetic algorithms, Evolutionary algorithms, Genetic programming, Quantum computing, Quantum algorithms
30	Matthew B. Stocks, Stephen D. Laycock	A Haptic Rendering Algorithm for Molecular Interaction.	VCBM	2008	DBLP DOI BibTeX RDF
30	Mikael Stocks, Alexander Medvedev	On-Line Estimation of All Electrical Parameters in Induction Machines subject to Stator Fault.	CCA	2007	DBLP DOI BibTeX RDF
30	Karen S. Baker, Karen I. Stocks	Building Environmental Information Systems: Myths and Interdisciplinary Lessons.	HICSS	2007	DBLP DOI BibTeX RDF
30	Aruneema Das, Ross Simon Folland, Nigel G. Stocks, Evor L. Hines	Stimulus reconstruction from neural spike trains: Are conventional filters suitable for both periodic and aperiodic stimuli?	Signal Process.	2006	DBLP DOI BibTeX RDF
30	Mikael Stocks, Fedor Rodyukov, Alexander Medvedev	Experimental validation of idealized two-axis models of faulty induction machines.	ACC	2006	DBLP DOI BibTeX RDF
30	Mikael Stocks, Alexander Medvedev	On observability and controllability of faulty induction machines.	ACC	2006	DBLP DOI BibTeX RDF
30	Mikael Stocks, Alexander Medvedev	Guaranteed Convergence Rate for Linear-Quadratic Optimal Time-varying Observers.	CDC	2006	DBLP DOI BibTeX RDF
30	Yang Wang 0008, G. Malcolm Stocks, Aurelian Rusanu, Donald M. C. Nicholson, Markus Eisenbach 0002, J. S. Faulkner	Teraflop Computing for Nanoscience.	CDES	2006	DBLP BibTeX RDF
30	Robin L. Wakefield, Morris H. Stocks, W. Mark Wilder	The Role of Web Site Characteristics in Initial Trust Formation.	J. Comput. Inf. Syst.	2004	DBLP BibTeX RDF
30	James Larkin, Phil Stocks	Self-Replicating Expressions in the Lambda Calculus.	ACSC	2004	DBLP BibTeX RDF
30	Andrew Canning, B. Ujfalussy, Thomas C. Schulthess, Xiaoguang Zhang 0005, William A. Shelton, Donald M. C. Nicholson, G. Malcolm Stocks, Yang Wang 0008, T. Dirks	Parallel Multi-Teraflops Studies of the Magnetic Structure of FeMn Alloys.	IPDPS	2003	DBLP DOI BibTeX RDF	parallel computing, message passing, materials science
30	Ann Locke Davidson, Janet Ward Schofield, Janet Stocks	Professional Cultures and Collaborative Efforts: A Case of Technologists and Educators Working for Change.	Inf. Soc.	2001	DBLP DOI BibTeX RDF
30	Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher	A schema for interprocedural modification side-effect analysis with pointer aliasing.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF
30	Mikael Stocks, Feodor Rodyukov, Alexander Medvedev	Validation of a model for an induction machine with faulty stator.	ECC	2001	DBLP DOI BibTeX RDF
30	Andrew Canning, B. Ujfalussy, Thomas C. Schulthess, Xiaoguang Zhang 0005, William A. Shelton, Donald M. C. Nicholson, G. Malcolm Stocks, Yang Wang 0008, T. Dirks	Multi-teraflops spin dynamics studies of the magnetic structure of FeMn/Co interfaces.	SC	2001	DBLP DOI BibTeX RDF	computation-intensive applications, parallel algorithms, material science
30	Richard Hall, Eric L. Stocks	Guided Surfing: A Multimethod Assessment of a Layered Hypermap WWW Interface.	WebNet	1998	DBLP BibTeX RDF
30	Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang	Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.	ISSTA	1998	DBLP DOI BibTeX RDF	interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity
30	Janet Ward Schofield, Janet Stocks, Ann Locke Davidson	Connecting Schools to the World via the Internet: Do the Walls Come Tumbling Down or Just Get Lower?	HICSS (2)	1997	DBLP DOI BibTeX RDF
30	Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks	Incremental Analysis of Side Effects for C Software System.	ICSE	1997	DBLP DOI BibTeX RDF	C, dataflow analysis, incremental analysis
30	George Al Geist II, James Arthur Kohl, Donald M. C. Nicholson, Philip M. Papadopoulos, Bart D. Semeraro, William A. Shelton, G. Malcolm Stocks, Yang Wang 0008	Early Experiences With Distributed Supercomputing On I-Way: First Principles Materials Science and Parallel Acoustic Wave Propagation.	Int. J. High Perform. Comput. Appl.	1996	DBLP DOI BibTeX RDF
30	Phil Stocks, David A. Carrington	A Framework for Specification-Based Testing.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Specification-based testing, testing strategies, test oracles, Z notation, test data
30	Noël M. Nachtigal, William A. Shelton, G. Malcolm Stocks, Donald M. C. Nicholson, Yang Wang 0008	Integrating the QMR Method with First Principles Material Science Application Code.	PPSC	1995	DBLP BibTeX RDF
30	David A. Carrington, Phil Stocks	A Tale of Two Paradigms: Formal Methods and Software Testing.	Z User Workshop	1994	DBLP DOI BibTeX RDF
30	John B. Drake, George Al Geist II, Heston R. Hicks, Kenneth L. Kliewer, G. Malcolm Stocks, L. E. Toran, Patrick H. Worley	The Center for Computational Sciences At Oak Ridge National Laboratory.	Int. J. High Perform. Comput. Appl.	1993	DBLP DOI BibTeX RDF
30	Phil Stocks, David A. Carrington	Test Template Framework: A Specification-Based Testing Case Study.	ISSTA	1993	DBLP DOI BibTeX RDF
30	Phil Stocks, David A. Carrington	Test Templates: A Specification-Based Testing Framework.	ICSE	1993	DBLP BibTeX RDF
30	Philip Alan Stocks	Applying formal methods to software testing		1993	RDF
30	George Al Geist II, B. Ginatempo, William A. Shelton, G. Malcolm Stocks	Parallel superconductor code on the iPSC/860.	J. Supercomput.	1992	DBLP DOI BibTeX RDF
30	Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister	Modelling open distributed systems in Z.	Comput. Commun.	1992	DBLP DOI BibTeX RDF