Chen Xu

According to our database1, Chen Xu authored at least 187 papers between 1999 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 




Improving Current Transformer-Based Energy Extraction From AC Power Lines by Manipulating Magnetic Field.
IEEE Trans. Ind. Electron., 2020

Range-Adaptive Wireless Power Transfer Based on Differential Coupling Using Multiple Bidirectional Coils.
IEEE Trans. Ind. Electron., 2020

ChainSDI: A Software-Defined Infrastructure for Regulation-Compliant Home-Based Healthcare Services Secured by Blockchains.
IEEE Systems Journal, 2020

SieveDroid: Intercepting Undesirable Private-Data Transmissions in Android Applications.
IEEE Systems Journal, 2020

ScienceEarth: A Big Data Platform for Remote Sensing Data Processing.
Remote. Sens., 2020

Distributed Feature Screening via Componentwise Debiasing.
J. Mach. Learn. Res., 2020

Multiplicative Noise Removal: Nonlocal Low-Rank Model and Its Proximal Alternating Reweighted Minimization Algorithm.
CoRR, 2020

Taxonomy and Performance Evaluation of Hybrid Beamforming for 5G and Beyond Systems.
IEEE Access, 2020

Social Media Big Data-Based Research on the Influencing Factors of Insomnia and Spatiotemporal Evolution.
IEEE Access, 2020

Detection and Analysis of Behavior Trajectory for Sea Cucumbers Based on Deep Learning.
IEEE Access, 2020

Buffer-aware Wireless Scheduling based on Deep Reinforcement Learning.
Proceedings of the 2020 IEEE Wireless Communications and Networking Conference, 2020

Network Intrusion Detection System as a Service in OpenStack Cloud.
Proceedings of the International Conference on Computing, Networking and Communications, 2020

Robust Gradient-Based Markov Subsampling.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

New Incremental Learning Algorithm With Support Vector Machines.
IEEE Trans. Syst. Man Cybern. Syst., 2019

Semiparametric Clustering: A Robust Alternative to Parametric Clustering.
IEEE Trans. Neural Networks Learn. Syst., 2019

High Precision Timing with Parabolic Equation Fitting in Narrowband Systems.
Sensors, 2019

Single image super resolution via neighbor reconstruction.
Pattern Recognit. Lett., 2019

On Schatten-q quasi-norm induced matrix decomposition model for salient object detection.
Pattern Recognit., 2019

Kernelized Elastic Net Regularization based on Markov selective sampling.
Knowl. Based Syst., 2019

Optimizing model parameter for entity summarization across knowledge graphs.
J. Comb. Optim., 2019

The dominant factor of social tags for users' decision behavior on e-commerce websites: Color or text.
J. Assoc. Inf. Sci. Technol., 2019

Sensor fault detection and diagnosis in the presence of outliers.
Neurocomputing, 2019

Process monitoring based on distributed principal component analysis with angle-relevant variable selection.
Int. J. Distributed Sens. Networks, 2019

Integration of LTE 230 and LTE 1800 in Power Wireless Private Networks.
Future Internet, 2019

EnAli: entity alignment across multiple heterogeneous data sources.
Frontiers Comput. Sci., 2019

Multiscale Entropy Analysis of Page Views: A Case Study of Wikipedia.
Entropy, 2019

Buffer-aware Wireless Scheduling based on Deep Reinforcement Learning.
CoRR, 2019

Privileged Features Distillation for E-Commerce Recommendations.
CoRR, 2019

MR-DFM: A multi-path routing algorithm based on data fusion mechanism in sensor networks.
Comput. Sci. Inf. Syst., 2019

A Flip-Syndrome-List Polar Decoder Architecture for Ultra-Low-Latency Communications.
IEEE Access, 2019

An Energy-Efficient Cross-Layer-Sensing Clustering Method Based on Intelligent Fog Computing in WSNs.
IEEE Access, 2019

An Event-Driven Mechanism Coverage Algorithm Based on Sensing-Cloud-Computing in Sensor Networks.
IEEE Access, 2019

D2D Communication Underlaying UAV on Multiple Bands in Disaster Area: Stochastic Geometry Analysis.
IEEE Access, 2019

The NiuTrans Machine Translation Systems for WMT19.
Proceedings of the Fourth Conference on Machine Translation, 2019

Deep Reinforcement Learning for Scheduling in Cellular Networks.
Proceedings of the 11th International Conference on Wireless Communications and Signal Processing, 2019

Predicting the Mumble of Wireless Channel with Sequence-to-Sequence Models.
Proceedings of the 30th IEEE Annual International Symposium on Personal, 2019

Analysis of Back-Translation Methods for Low-Resource Neural Machine Translation.
Proceedings of the Natural Language Processing and Chinese Computing, 2019

Optimal Coordination Path Selecting Method for Conduction Transformation Based on Floyd Algorithm.
Proceedings of the 7th International Conference on Information Technology and Quantitative Management, 2019

A Stacked Global-Shutter CMOS Imager with SC-Type Hybrid-GS Pixel and Self-Knee Point Calibration Single Frame HDR and On-Chip Binarization Algorithm for Smart Vision Applications.
Proceedings of the IEEE International Solid- State Circuits Conference, 2019

AMIS: Programmable Privacy-Preserving Network Measurement for Analysis and Troubleshooting.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

Toward Secure, Privacy-Preserving, and Interoperable Medical Data Sharing via Blockchain.
Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019

Powering Hands-on Cybersecurity Practices with Cloud Computing.
Proceedings of the 27th IEEE International Conference on Network Protocols, 2019

Intelligent Service System Design of Food Therapy Experience into Chronic Disease.
Proceedings of the Design, User Experience, and Usability. Application Domains, 2019

Realistic Channel Models Pre-Training.
Proceedings of the 2019 IEEE Globecom Workshops, Waikoloa, HI, USA, December 9-13, 2019, 2019

High Precision Timing Based on Parabola Curve Fitting in Narrowband System.
Proceedings of the 2019 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2019

An Observational Study on Compatibility-Related API Usage.
Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019

Design of Current-Assisted Photonic Demodulator (CAPD) for Time-of-Flight CMOS Image Sensor.
Proceedings of the 13th IEEE International Conference on ASIC, 2019

Network Partition-Based Zonal Voltage Control for Distribution Networks With Distributed PV Systems.
IEEE Trans. Smart Grid, 2018

k-Times Markov Sampling for SVMC.
IEEE Trans. Neural Networks Learn. Syst., 2018

A Novel Pruning Algorithm for Smoothing Feedforward Neural Networks Based on Group Lasso Method.
IEEE Trans. Neural Networks Learn. Syst., 2018

Respiration and Heartbeat Rates Measurement Based on Autocorrelation Using IR-UWB Radar.
IEEE Trans. Circuits Syst. II Express Briefs, 2018

Frequency Offset Tolerant Synchronization Signal Design in NB-IoT.
Sensors, 2018

Application of Biphase Complete Complementary Code for Ionospheric Sounding.
Sensors, 2018

Robust Matrix Factorization by Majorization Minimization.
IEEE Trans. Pattern Anal. Mach. Intell., 2018

Distributed data association in smart camera network via dual decomposition.
Inf. Fusion, 2018

Fast Non-Negative Matrix Factorizations for Face Recognition.
Int. J. Pattern Recognit. Artif. Intell., 2018

An Adaptive IR-HARQ Scheme for Polar Codes by Polarizing Matrix Extension.
IEEE Communications Letters, 2018

A programmable policy engine to facilitate time-efficient science DMZ management.
Future Gener. Comput. Syst., 2018

Decentralized Competition Produces Nonlinear Dynamics Akin to Klinotaxis.
Complexity, 2018

A Note on the Expected Length of the Longest Common Subsequences of two i.i.d. Random Permutations.
Electron. J. Comb., 2018

A passive RFID tag-based locating and navigating approach for automated guided vehicle.
Comput. Ind. Eng., 2018

NDDVD: an integrated and manually curated Neurodegenerative Diseases Variation Database.
Database J. Biol. Databases Curation, 2018

Sparse Gradient Based Structured Matrix Decomposition for Salient Object Detection.
IEEE Access, 2018

Investigation of Polarization Weight -an Efficient Construction for Polar Codes.
Proceedings of the 87th IEEE Vehicular Technology Conference, 2018

EQuery: Enable event-driven declarative queries in programmable network measurement.
Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

Alternating Multi-bit Quantization for Recurrent Neural Networks.
Proceedings of the 6th International Conference on Learning Representations, 2018

Calculation and Experimental Analyze of the Oceanic Expendable Instruments' Communication Channel Distributed Parameters.
Proceedings of the Communications, Signal Processing, and Systems, 2018

Out-of-Sample Extensions for Non-Parametric Kernel Methods.
IEEE Trans. Neural Networks Learn. Syst., 2017

Cell tracking via Structured Prediction and Learning.
Mach. Vis. Appl., 2017

Characteristic of the equivalent impedance for an m×n RLC network with an arbitrary boundary.
Frontiers Inf. Technol. Electron. Eng., 2017

Editorial learning for multimodal data.
Neurocomputing, 2017

A probabilistic mix-critical task scheduling algorithm for wireless networked control system.
Int. J. High Perform. Comput. Netw., 2017

Tracing the Spatial-Temporal Evolution of Events Based on Social Media Data.
ISPRS Int. J. Geo-Information, 2017

Homomorphically Encrypted Arithmetic Operations over the Integer Ring.
IACR Cryptol. ePrint Arch., 2017

Information Entropy in Predicting Location of Observation Points for Long Tunnel.
Entropy, 2017

A privacy-preserving video subscription scheme with the limitation of expire date.
Sci. China Inf. Sci., 2017

SilkPathDB: a comprehensive resource for the study of silkworm pathogens.
Database J. Biol. Databases Curation, 2017

Achieving Communication Effectiveness of Web Authentication Protocol with Key Update.
Proceedings of the Mobile Ad-hoc and Sensor Networks - 13th International Conference, 2017

A design method of hybrid modular multilevel converter with negative output generated by FBSM.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Phased Beam Steering and Mode Switching in Coupled Vertical Cavity Surface Emitting Laser Arrays.
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

High Frequency Stability External Cavity Diode Laser with Narrow Linewidth for Cs Atomic Clock.
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

CareNet: Building a Secure Software-defined Infrastructure for Home-based Healthcare.
Proceedings of the ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization, 2017

CareNet: Building Regulation-Compliant Home-Based Healthcare Services with Software-Defined Infrastructure.
Proceedings of the Second IEEE/ACM International Conference on Connected Health: Applications, 2017

A Unified Convex Surrogate for the Schatten-<i>p</i> Norm.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

A Novel Framework for Learning Geometry-Aware Kernels.
IEEE Trans. Neural Networks Learn. Syst., 2016

On the Feasibility of Distributed Kernel Regression for Big Data.
IEEE Trans. Knowl. Data Eng., 2016

An Active RFID Tag-Enabled Locating Approach With Multipath Effect Elimination in AGV.
IEEE Trans Autom. Sci. Eng., 2016

New framework for unsupervised universal steganalysis via SRISP-aided outlier detection.
Signal Process. Image Commun., 2016

New Blind Steganalysis Framework Combining Image Retrieval and Outlier Detection.
KSII Trans. Internet Inf. Syst., 2016

Efficient learning of supervised kernels with a graph-based loss function.
Inf. Sci., 2016

Learning for medical imaging.
Neurocomputing, 2016

A Unified Convex Surrogate for the Schatten-$p$ Norm.
CoRR, 2016

Pepple: Programmable network measurement for troubleshooting soft failures.
Proceedings of the 37th IEEE Sarnoff Symposium 2016, Newark, NJ, USA, 2016

Block kernel Nonnegative Matrix Factorization and its application to Face Recognition.
Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

Entity Matching Across Multiple Heterogeneous Data Sources.
Proceedings of the Database Systems for Advanced Applications, 2016

vTC: Machine Learning Based Traffic Classification as a Virtual Network Function.
Proceedings of the 2016 ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization, 2016

Relaxed Majorization-Minimization for Non-Smooth and Non-Convex Optimization.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Migrating GIS Big Data Computing from Hadoop to Spark: An Exemplary Study Using Twitter.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

Quality-aware Scheduling for Key-value Data Stores
Springer Briefs in Computer Science, Springer, ISBN: 978-3-662-47306-1, 2015

Detecting tourism destinations using scalable geospatial analysis based on cloud computing platform.
Comput. Environ. Urban Syst., 2015

Energy-Efficient Resource Allocation for Device-to-Device Underlay Communication.
IEEE Trans. Wireless Communications, 2015

Mechanism of Electrochemical Delamination of Two-Dimensional Materials from Their Native Substrates by Bubbling.
Sensors, 2015

Monitoring the Corrosion Process of Reinforced Concrete Using BOTDA and FBG Sensors.
Sensors, 2015

The SVE Method for Regular Graph Isomorphism Identification.
Circuits Syst. Signal Process., 2015

A Thresholding Algorithm for Order Selection in Finite Mixture Models.
Commun. Stat. Simul. Comput., 2015

Anomalous Contagion and Renormalization in Dynamical Networks with Nodal Mobility.
CoRR, 2015

Complex projective synchronization in drive-response stochastic coupled networks with complex-variable systems and coupling time delays.
Commun. Nonlinear Sci. Numer. Simul., 2015

Identification of cell types from single-cell transcriptomes using a novel clustering method.
Bioinform., 2015

A two-level advanced production planning and scheduling model for RFID-enabled ubiquitous manufacturing.
Adv. Eng. Informatics, 2015

A new steganalysis paradigm based on image retrieval of similar image-inherent statistical properties and outlier detection.
Proceedings of the International Conference on Wireless Communications & Signal Processing, 2015

A Job-Shop Scheduling Model with Real-Time Feedback for Physical Internet-Based Manufacturing Shopfloor.
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015

MU-MIMO Resource Optimization for Device-to-Device Underlay Downlink Cellular Networks.
Proceedings of the 2015 IEEE Global Communications Conference, 2015

Out-of-Core Surface Reconstruction from Large Point Sets for Infrastructure Inspection.
Proceedings of the 12th Conference on Computer and Robot Vision, 2015

Nonlinear Nonnegative Matrix Factorization Based on Discriminant Analysis with Application to Face Recognition.
Proceedings of the 11th International Conference on Computational Intelligence and Security, 2015

Investigation of the thermal drift of open-loop Hall effect current sensor and its improvement.
Proceedings of the IEEE International Workshop on Applied Measurements for Power Systems, 2015

Investigation of the thermal drift of open-loop Hall effect current sensor and its improvement.
Proceedings of the IEEE International Workshop on Applied Measurements for Power Systems, 2015

Dart: A Geographic Information System on Hadoop.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

Resource Management for Device-to-Device Underlay Communication.
Springer Briefs in Computer Science, Springer, ISBN: 978-1-4614-8193-5, 2014

A technology opportunities analysis model: applied to dye-sensitised solar cells for China.
Techn. Analysis & Strat. Manag., 2014

The SUN Attribute Database: Beyond Categories for Deeper Scene Understanding.
Int. J. Comput. Vis., 2014

Using Semantic Search and Knowledge Reasoning to Improve the Discovery of Earth Science Records: An Example with the ESIP Semantic Testbed.
IJAGR, 2014

Double shielded Public Key Cryptosystems.
IACR Cryptol. ePrint Arch., 2014

Groups With Two Generators Having Unsolvable Word Problem And Presentations of Mihailova Subgroups.
IACR Cryptol. ePrint Arch., 2014

Quality-aware schedulers for weak consistency key-value data stores.
Distributed Parallel Databases, 2014

Research on user pairing algorithm for LTE femtocell uplink.
Sci. China Inf. Sci., 2014

Introduction to big geospatial data research.
Annals of GIS, 2014

A data-driven framework for archiving and exploring social media data.
Annals of GIS, 2014

Common Neighbor Query-Friendly Triangulation-Based Large-Scale Graph Compression.
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

L1-norm global geometric consistency for partial-duplicate image retrieval.
Proceedings of the 2014 IEEE International Conference on Image Processing, 2014

AQUAS: A quality-aware scheduler for NoSQL data stores.
Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

Subcarrier and power optimization for device-to-device underlay communication using auction games.
Proceedings of the IEEE International Conference on Communications, 2014

Network recorder and player: FPGA-based network traffic capture and replay.
Proceedings of the 2014 International Conference on Field-Programmable Technology, 2014

The application characteristics of traditional Chinese medical science treatment on headache based on data-mining Apriori algorithm.
Proceedings of the 2014 IEEE International Conference on Bioinformatics and Biomedicine, 2014

A New Corrosion Sensor to Determine the Start and Development of Embedded Rebar Corrosion Process at Coastal Concrete.
Sensors, 2013

Efficiency Resource Allocation for Device-to-Device Underlay Communication Systems: A Reverse Iterative Combinatorial Auction Based Approach.
IEEE J. Sel. Areas Commun., 2013

A Classification Algorithm for Network Traffic based on Improved Support Vector Machine.
JCP, 2013

Social tagging in the scholarly world.
J. Assoc. Inf. Sci. Technol., 2013

A performance, semantic and service quality-enhanced distributed search engine for improving geospatial resource discovery.
Int. J. Geogr. Inf. Sci., 2013

Evaluating open-source cloud computing solutions for geosciences.
Comput. Geosci., 2013

Resource Management for Device-to-Device Underlay Communication.
CoRR, 2013

Does generalization performance of l<sup>q</sup> regularization learning depend on q? A negative example.
CoRR, 2013

Sparse kernel logistic regression based on L 1/2 regularization.
Sci. China Inf. Sci., 2013

A High Performance Web-Based System for Analyzing and Visualizing Spatiotemporal Data for Climate Studies.
Proceedings of the Web and Wireless Geographical Information Systems, 2013

Energy-aware resource allocation for device-to-device underlay communication.
Proceedings of IEEE International Conference on Communications, 2013

Detecting User Preference on Microblog.
Proceedings of the Database Systems for Advanced Applications, 2013

Adaptive Query Scheduling in Key-Value Data Stores.
Proceedings of the Database Systems for Advanced Applications, 2013

On-Screen-Display (OSD) and SPI Interface on CMOS Image Sensor for Automobile Application.
Proceedings of the Fifth International Conference on Computational Intelligence, 2013

Workload-Aware Cache for Social Media Data.
Proceedings of the Web Technologies and Applications - 15th Asia-Pacific Web Conference, 2013

Research on Intrusion Detection Model of Heterogeneous Attributes Clustering.
J. Softw., 2012

Distributed Firewall with Intrusion Detection System.
JCP, 2012

An Indoor Mobile Visual Localization Algorithm Based On Harris-Sift.
Intell. Autom. Soft Comput., 2012

A Web-Based Geovisual Analytical System for Climate Studies.
Future Internet, 2012

Energy-efficient radio resource and power allocation for device-to-device communication underlaying cellular networks.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2012

Interference-aware resource allocation for device-to-device communications as an underlay using sequential second price auction.
Proceedings of IEEE International Conference on Communications, 2012

Resource allocation using a reverse iterative combinatorial auction for device-to-device underlay cellular networks.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

Finding the silver lining for data freshness on the cloud: [extended abstract].
Proceedings of the Fourth International Workshop on Cloud Data Management, 2012

Generalization and Probabilistic Proof of a Combinatorial Identity.
Am. Math. Mon., 2011

Hybrid resonant energy harvester integrating ZnO NWs with MEMS for enabling zero-power wireless sensor nodes.
Nano Commun. Networks, 2011

Research on Mobile Agent System for Agile Supply Chain Management.
J. Softw., 2011

Research on 3G-based Mobile Self-rescue System for Medical Emergency.
J. Networks, 2011

Privacy Preservation in Role-based Access Control Model.
J. Networks, 2011

Automated Trust Negotiation with Time Behavior.
J. Networks, 2011

Multi-agent Middleware for the Integration of Mobile Supply Chain.
JCP, 2011

ICTNET at Session Track TREC 2011.
Proceedings of The Twentieth Text REtrieval Conference, 2011

Design of a Robot Cloud Center.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

A Waterfall Model to Achieve Energy Efficient Tasks Mapping for Large Scale GPU Clusters.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Optimized Data Placement for Column-Oriented Data Store in the Distributed Environment.
Proceedings of the Database Systems for Adanced Applications, 2011

A service visualization tool for spatial web portal.
Proceedings of the 2nd International Conference and Exhibition on Computing for Geospatial Research & Application, 2011

Global Synchronization of Hybrid Coupled Neural Networks with Time-varying Delay.
Proceedings of the Seventh International Conference on Computational Intelligence and Security, 2011

Using Abstract Model Representations to Complete Three Dimensional Scans of Architectural Space.
Proceedings of the 11th International Symposium on Virtual Reality, 2010

Materialized view maintenance in columnar storage for massive data analysis.
Proceedings of the 4th International Universal Communication Symposium, 2010

Web 2.0 and its dimensions in the scholarly world.
Scientometrics, 2009

Investigation of high extraction efficiency flip-chip GaN-based light-emitting diodes.
Sci. China Ser. F Inf. Sci., 2009

Expression of Design Implication for the Products in the Digital Environment.
Proceedings of the 2009 Second International Symposium on Computational Intelligence and Design, 2009

Strong Dependence of Infection Profiles on Grouping Dynamics during Epidemiological Spreading.
Proceedings of the Complex Sciences, 2009

Social tagging in China and the USA: A comparative study.
Proceedings of the People Transforming Information - Information Transforming People, 2008

Shape Capture Assisted by Traditional Tools.
Proceedings of the VAST 2007: The 8th International Symposium on Virtual Reality, 2007

A 1/2.5 inch 8.1Mpixel CMOS Image Sensor for Digital Cameras.
Proceedings of the 2007 IEEE International Solid-State Circuits Conference, 2007

A single chip micro-DNA-array system based on CMOS image sensor technology.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

A System for Reconstructing Integrated Texture Maps for Large Structures.
Proceedings of the 3rd International Symposium on 3D Data Processing, 2006

Synthesis of Material Drying History: Phenomenon Modeling, Transferring and Rendering.
Proceedings of the Eurographics Workshop on Natural Phenomena, 2005

Double Synaptic Weight Neuron Theory and Its Application.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

A New Approach for Regression: Visual Regression Approach.
Proceedings of the Computational Intelligence and Security, International Conference, 2005

Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

An Application of Continuous Wavelet Transform in Differential Equations.
Proceedings of the Wavelet Analysis and Its Applications, Second International Conference, 2001

Automatic Generation of Database Instances for White-box Testing.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

The finiteness of the reward function and the optimal value function in Markov decision processes.
Math. Methods Oper. Res., 1999