|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 246 occurrences of 185 keywords
|
|
|
Results
Found 704 publication records. Showing 681 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 681 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|