Jian Guo

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
DN-DETR: Accelerate DETR Training by Introducing Query DeNoising.
IEEE Trans. Pattern Anal. Mach. Intell., April, 2024

Asymptotic Output Tracking Control of a Class of Linear Systems by Finite-and-Quantized Output Feedback.
Unmanned Syst., March, 2024

Risk analysis for hazardous chemical vehicle-bridge transportation system: A dynamic Bayesian network model incorporating vehicle dynamics.
Reliab. Eng. Syst. Saf., February, 2024

Lane-changing system based on deep Q-learning with a request-respond mechanism.
Expert Syst. Appl., January, 2024

Ensuring Safe and High-Quality Outputs: A Guideline Library Approach for Language Models.
CoRR, 2024

Unlocking the Power of Large Language Models for Entity Alignment.
CoRR, 2024

Alpha-GPT 2.0: Human-in-the-Loop AI for Quantitative Investment.
CoRR, 2024

A Survey on Large Language Model Hallucination via a Creativity Perspective.
CoRR, 2024

QuantAgent: Seeking Holy Grail in Trading by Self-Improving Large Language Model.
CoRR, 2024

2023
Resistance of Grassland under Different Drought Types in the Inner Mongolia Autonomous Region of China.
Remote. Sens., October, 2023

A Noise-Excitation Generative Adversarial Network for Actuator Fault Diagnosis of Multi-legged Robot.
Unmanned Syst., April, 2023

Real-Time Risk Detection Method and Protection Strategy for Intelligent Ship Network Security Based on Cloud Computing.
Symmetry, April, 2023

Virtual construction technology of tunnel engineering based on BIM platform and measuring robot.
Int. J. Syst. Assur. Eng. Manag., April, 2023

Sliding mode control for networked control systems under DoS attacks via an event-triggered scheme.
J. Frankl. Inst., March, 2023

Fusion of LiDAR and Multispectral Data for Aboveground Biomass Estimation in Mountain Grassland.
Remote. Sens., January, 2023

Harmonic Transfer-Function-Based αβ-Frame SISO Impedance Modeling of Droop Inverters-Based Islanded Microgrid With Unbalanced Loads.
IEEE Trans. Ind. Electron., 2023

Risk coupling analysis of road transportation accidents of hazardous materials in complicated maritime environment.
Reliab. Eng. Syst. Saf., 2023

Additive consistency of q-rung orthopair fuzzy preference relations with application to risk analysis.
J. Intell. Fuzzy Syst., 2023

PEO-Store: Practical and Economical Oblivious Store with Peer-to-Peer Delegation.
IACR Cryptol. ePrint Arch., 2023

ChartBench: A Benchmark for Complex Visual Reasoning in Charts.
CoRR, 2023

A Principled Framework for Knowledge-enhanced Large Language Model.
CoRR, 2023

On the Evolution of Knowledge Graphs: A Survey and Perspective.
CoRR, 2023

IMM: An Imitative Reinforcement Learning Approach with Predictive Representation Learning for Automatic Market Making.
CoRR, 2023

Alpha-GPT: Human-AI Interactive Alpha Mining for Quantitative Investment.
CoRR, 2023

Think-on-Graph: Deep and Responsible Reasoning of Large Language Model with Knowledge Graph.
CoRR, 2023

Unveiling the Potential of Sentiment: Can Large Language Models Predict Chinese Stock Price Movements?
CoRR, 2023

Dynamic Datasets and Market Environments for Financial Reinforcement Learning.
CoRR, 2023

Enhancing Chain-of-Thoughts Prompting with Iterative Bootstrapping in Large Language Models.
CoRR, 2023

Quant 4.0: Engineering Quantitative Investment with Automated, Explainable and Knowledge-driven Artificial Intelligence.
CoRR, 2023

A Miniaturized Harmonic Reject Waveguide Filter for Ku-Band VSAT Transmitter.
IEEE Access, 2023

The Abnormal Detection Method of Ship Trajectory with Adaptive Transformer Model Based on Migration Learning.
Proceedings of the Spatial Data and Intelligence - 4th International Conference, 2023

AR-Diffusion: Auto-Regressive Diffusion Model for Text Generation.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

A Multi-Level Supervised Network for Pansharpening to Reduce Color Distortion.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023

Optimal Deployment of Traffic Energy Router for Wireless Energy Trading.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Finite-Time Speed Control of Three-Level Inverter for Superconducting Machines in Electric Aircraft.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Noisy Pair Corrector for Dense Retrieval.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

On Iterative Parameter Identification of FIR Systems with Batched Possibly Incorrect Binary-Valued Observations.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

NOMA-enhanced Uplink Transmission in STIN: Joint Optimization with Long-term Energy-Efficient Fairness.
Proceedings of the 9th International Conference on Big Data Computing and Communications, 2023

2022
Semi-Synchronous Federated Learning Protocol With Dynamic Aggregation in Internet of Vehicles.
IEEE Trans. Veh. Technol., 2022

PostMan: Rapidly Mitigating Bursty Traffic via On-Demand Offloading of Packet Processing.
IEEE Trans. Parallel Distributed Syst., 2022

Analysis and Mitigation of Low-Frequency Interactions Between the Source and Load Virtual Synchronous Machine in an Islanded Microgrid.
IEEE Trans. Ind. Electron., 2022

Low-Frequency Oscillation Analysis of VSM-Based VSC-HVDC Systems Based on the Five-Dimensional Impedance Stability Criterion.
IEEE Trans. Ind. Electron., 2022

CubeSat Altimeter Constellation Systems: Performance Analysis and Methodology.
IEEE Trans. Geosci. Remote. Sens., 2022

Stable Spinning Deployment Control of a Triangle Tethered Formation System.
IEEE Trans. Cybern., 2022

Real-Time and Efficient Multi-Scale Traffic Sign Detection Method for Driverless Cars.
Sensors, 2022

A Review of Image Super-Resolution Approaches Based on Deep Learning and Applications in Remote Sensing.
Remote. Sens., 2022

Sensitivity of Green-Up Date to Meteorological Indicators in Hulun Buir Grasslands of China.
Remote. Sens., 2022

Lane-changing decision modelling in congested traffic with a game theory-based decomposition algorithm.
Eng. Appl. Artif. Intell., 2022

Finite Quantized-Output Feedback Tracking Control of Possibly Non-Minimum Phase Linear Systems.
IEEE Control. Syst. Lett., 2022

An Uncertainly Dynamic Loss Correction and Global Sample Selection Method for Webly Supervised Fine-Grained Visual Classification.
Circuits Syst. Signal Process., 2022

APOLLO: An Optimized Training Approach for Long-form Numerical Reasoning.
CoRR, 2022

Exploiting Reward Shifting in Value-Based Deep RL.
CoRR, 2022

Vision-Language Intelligence: Tasks, Representation Learning, and Large Models.
CoRR, 2022

AIS Data Driven CNN-BiGRU Model for Ship Target Classification.
Proceedings of the Spatial Data and Intelligence - Third International Conference, 2022

Exploit Reward Shifting in Value-Based Deep-RL: Optimistic Curiosity-Based Exploration and Conservative Exploitation via Linear Reward Shaping.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

FinRL-Meta: Market Environments and Benchmarks for Data-Driven Financial Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Financial Big Data Analysis Service System.
Proceedings of the IPEC 2022: 3rd Asia-Pacific Conference on Image Processing, Electronics and Computers, Dalian, China, April 14, 2022

Portfolio Trading of Financial Products Based on Machine Learning.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2022

Blockchain Stored Procedures and Optimization.
Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

Emotional computing at the Edge to Support Effective IoE Applications in Future Classroom.
Proceedings of the International Conference on Advanced Learning Technologies, 2022

Sentiment-Aware Word and Sentence Level Pre-training for Sentiment Analysis.
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

DN-DETR: Accelerate DETR Training by Introducing Query DeNoising.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

2021
Examining Relationships between Heat Requirement of Remotely Sensed Green-Up Date and Meteorological Indicators in the Hulun Buir Grassland.
Remote. Sens., 2021

Monitoring the Spatiotemporal Dynamics of Aeolian Desertification Using Google Earth Engine.
Remote. Sens., 2021

Accurate Prediction of Earthquake-Induced Landslides Based on Deep Learning Considering Landslide Source Area.
Remote. Sens., 2021

Bridge-edges Mining in Complex Power Optical Cable Network based on Minimum Connected Chain Attenuation Topological Potential.
KSII Trans. Internet Inf. Syst., 2021

FinRL-Meta: A Universe of Near-Real Market Environments for Data-Driven Deep Reinforcement Learning in Quantitative Finance.
CoRR, 2021

ElegantRL-Podracer: Scalable and Elastic Library for Cloud-Native Deep Reinforcement Learning.
CoRR, 2021

VisMCA: A Visual Analytics System for Misclassification Correction and Analysis. VAST Challenge 2020, Mini-Challenge 2 Award: Honorable Mention for Detailed Analysis of Patterns of Misclassification.
CoRR, 2021

A model-based framework for learning transparent swarm behaviors.
CoRR, 2021

Long-time characterization of optical signal transmission through drone-to-ground link.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021

RoBin: Facilitating the Reproduction of Configuration-Related Vulnerability.
Proceedings of the 20th IEEE International Conference on Trust, 2021

A cloud-scale per-flow backpressure system via FPGA-based heavy hitter detection.
Proceedings of the SIGCOMM '21: ACM SIGCOMM 2021 Conference, 2021

Demand Response of Multiple Households with Coordinated distributed Energy Resources.
Proceedings of the 25th International Conference on Methods and Models in Automation and Robotics, 2021

Traffic lane-changing modeling and scheduling with game theoretical strategy.
Proceedings of the 25th International Conference on Methods and Models in Automation and Robotics, 2021

A Dynamic Programming Approach for Multistage Reliability Growth Planning Considering Time and New Contents Allocation.
Proceedings of the International IEEE Conference on Prognostics and Health Management, 2021

Research on Leafy Vegetable Recognition and Navigation Line Extraction Algorithm Based on Machine Vision.
Proceedings of the ICCIR 2021: International Conference on Control and Intelligent Robotics, 2021

FinRL-podracer: high performance and scalable deep reinforcement learning for quantitative finance.
Proceedings of the ICAIF'21: 2nd ACM International Conference on AI in Finance, Virtual Event, November 3, 2021

Compression of Time Evolutionary Image Data through Predictive Deep Neural Networks.
Proceedings of the 21st IEEE/ACM International Symposium on Cluster, 2021

2020
A Review on Prognostics Methods for Engineering Systems.
IEEE Trans. Reliab., 2020

Performance Analysis of Induction-Based Reaction Spheres.
IEEE Trans. Ind. Electron., 2020

Magnetic Anomaly Detection and Localization Using Orthogonal Basis of Magnetic Tensor Contraction.
IEEE Trans. Geosci. Remote. Sens., 2020

Multi-Constrained Joint Non-Negative Matrix Factorization With Application to Imaging Genomic Study of Lung Metastasis in Soft Tissue Sarcomas.
IEEE Trans. Biomed. Eng., 2020

Effects of Saturation for High-Throughput Satellite Buses.
IEEE Trans. Aerosp. Electron. Syst., 2020

Field Monitoring and Analysis of the Vibration of Stay Cables under Typhoon Conditions.
Sensors, 2020

GluonCV and GluonNLP: Deep Learning in Computer Vision and Natural Language Processing.
J. Mach. Learn. Res., 2020

Simulation of nonlinear vibration responses of cab system subject to suspension damper complete failure for trucks.
Int. J. Model. Simul. Sci. Comput., 2020

Novel Policy Seeking with Constrained Optimization.
CoRR, 2020

Validity Prediction of Amplitude-Integrated EEG in Early Neuromotor Development Outcomes in High-Risk Neonates.
Comput. Math. Methods Medicine, 2020

Extended TODIM method for CCUS storage site selection under probabilistic hesitant fuzzy environment.
Appl. Soft Comput., 2020

Modeling and Control Parameters Design for Grid-Connected Inverter System Considering the Effect of PLL and Grid Impedance.
IEEE Access, 2020

Adaptive Control of Four Motor Servo Systems Based on Characteristic Model and Gradient Projection Estimator.
IEEE Access, 2020

Control Design for the Autonomous Horizontal Takeoff Phase of the Reusable Launch Vehicles.
IEEE Access, 2020

Optimizing Asynchronous Multi-Level Checkpoint/Restart Configurations with Machine Learning.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

Hierarchical Multi-Scale Gaussian Transformer for Stock Movement Prediction.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Deep Learning Application for Negative Sequence Electromagnetic Loss and Temperature Rise Calculation.
Proceedings of the EITCE 2020: 4th International Conference on Electronic Information Technology and Computer Engineering, Xiamen, China, 6 November, 2020, 2020

Fuzzy Comprehensive Evaluation of Cloud Security for the Electromagnetic Loss and Heat of Large Generators under Negative Sequence Conditions.
Proceedings of the EITCE 2020: 4th International Conference on Electronic Information Technology and Computer Engineering, Xiamen, China, 6 November, 2020, 2020

Innovation in Informatics to Improve the Clinical Care and Drug Accessibility of Rare Diseases in China.
Proceedings of the AMIA 2020, 2020

2019
Adaptive terminal sliding-mode controller based on characteristic model for gear transmission servo systems.
Trans. Inst. Meas. Control, 2019

Bayesian Inference - Data Evaluation and Decisions (2nd ed.).
Technometrics, 2019

Optimal Parameter Selection in Robotic Belt Polishing for Aeroengine Blade Based on GRA-RSM Method.
Symmetry, 2019

The PageRank algorithm as a method to optimize swarm behavior through local analysis.
Swarm Intell., 2019

Provable self-organizing pattern formation by a swarm of robots with limited knowledge.
Swarm Intell., 2019

Failure modes and effects analysis for CO2 transmission pipelines using a hesitant fuzzy VIKOR method.
Soft Comput., 2019

SIFSpec: Measuring Solar-Induced Chlorophyll Fluorescence Observations for Remote Sensing of Photosynthesis.
Sensors, 2019

Atmospheric Correction for Tower-Based Solar-Induced Chlorophyll Fluorescence Observations at O<sub>2</sub>-A Band.
Remote. Sens., 2019

Discovering objects and services in context-aware IoT environments.
Int. J. Serv. Technol. Manag., 2019

GluonCV and GluonNLP: Deep Learning in Computer Vision and Natural Language Processing.
CoRR, 2019

Markov chain based simulation analysis of bone mineral density and changes in the level of biochemical markers of bone transformation in postmenopausal women.
Clust. Comput., 2019

A General Integrated Method for Design Analysis and Optimization of Missile Structure.
Algorithms, 2019

PostMan: Rapidly Mitigating Bursty Traffic by Offloading Packet Processing.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Research on Wind Load Characteristics of Bionic Crawling Inspection Robot.
Proceedings of the 2019 IEEE International Conference on Real-time Computing and Robotics, 2019

Optimization of Traffic Signal Control Based on Game Theoretical Framework.
Proceedings of the 24th International Conference on Methods and Models in Automation and Robotics, 2019

Optimization of Traffic Signal Control with Different Game Theoretical Strategies.
Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019

Timing Modeling and Analysis for AUTOSAR Schedule Tables.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

A Reverse-Boot Enabled Embedded Computing System on SoC-FPGA for Prognostics and Health Management: An Application on Li-ion Batteries.
Proceedings of the IEEE 9th Annual Computing and Communication Workshop and Conference, 2019

The Multi-product Newsvendor Problem: Review and Extensions.
Proceedings of the 6th International Conference on Behavioral, 2019

2018
System reliability assessment with multilevel information using the Bayesian melding method.
Reliab. Eng. Syst. Saf., 2018

Upscaling Solar-Induced Chlorophyll Fluorescence from an Instantaneous to Daily Scale Gives an Improved Estimation of the Gross Primary Productivity.
Remote. Sens., 2018

Recovery behaviors in n-channel LTPS-TFTs under DC stress.
Microelectron. Reliab., 2018

A mean-covariance decomposition method for battery capacity prognostics.
J. Intell. Fuzzy Syst., 2018

Optimal formation control and collision avoidance in environment with multiple rectangle obstacles.
J. Frankl. Inst., 2018

Consensus control of networked multi-agent systems based on a novel hybrid transmission strategy.
IMA J. Math. Control. Inf., 2018

Provable Emergent Pattern Formation by a Swarm of Anonymous, Homogeneous, Non-Communicating, Reactive Robots with Limited Relative Sensing and no Global Knowledge or Positioning.
CoRR, 2018

Study on rolling bearing on-line reliability analysis based on vibration information processing.
Comput. Electr. Eng., 2018

Non-Invasive Physiological Signal Acquisition System for Ward Monitoring.
Proceedings of the 2018 5th International Conference on Bioinformatics Research and Applications, 2018

To Detect Stack Buffer Overflow with Polymorphic Canaries.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

End-to-End Automated Verification for OS Kernels.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
eBA: Efficient Bandwidth Guarantee Under Traffic Variability in Datacenters.
IEEE/ACM Trans. Netw., 2017

Approach Modeling and Control of an Autonomous Maneuverable Space Net.
IEEE Trans. Aerosp. Electron. Syst., 2017

Dexterous Tethered Space Robot: Design, Measurement, Control, and Experiment.
IEEE Trans. Aerosp. Electron. Syst., 2017

Wideband sub-harmonic mixer incorporating short-circuited band-pass filter.
IEICE Electron. Express, 2017

Design of a millimeter-wave third-harmonic mixer using substrate integrated waveguide balun.
IEICE Electron. Express, 2017

Pricing Intra-Datacenter Networks with Over-Committed Bandwidth Guarantee.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Topology Analysis of Inter-Layer Links for LEO/MEO Double-Layered Satellite Networks.
Proceedings of the Space Information Networks - Second International Conference, 2017

Evaluation of Lithium Batteries Based on Continuous Hidden Markov Model.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Multilevel cooperative on-line computing architecture under dispatching cloud.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Prognostics of Lithium ion battery using functional principal component analysis.
Proceedings of the 2017 IEEE International Conference on Prognostics and Health Management, 2017

Modeling and Simulation of Time-Division Multiplexing Navigation Satellite Network based on OPNET.
Proceedings of the VI International Conference on Network, Communication and Computing, 2017

Joint Optimization of Chain Placement and Request Scheduling for Network Function Virtualization.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Correction Method for Measurement of EUT with Dipole Antenna in GTM Cell.
Proceedings of the Communications, Signal Processing, and Systems, 2017

Broadband Notching Mask for Immunity Improvement of Onshelf UHF RFID Tag.
Proceedings of the Communications, Signal Processing, and Systems, 2017

2016
Fair Network Bandwidth Allocation in IaaS Datacenters via a Cooperative Game Approach.
IEEE/ACM Trans. Netw., 2016

A risk assessment approach for failure mode and effects analysis based on intuitionistic fuzzy sets and evidence theory.
J. Intell. Fuzzy Syst., 2016

Message prioritization support for space Delay/Disruption Tolerant Networks.
Proceedings of the 2016 IEEE International Conference on Wireless for Space and Extreme Environments, 2016

The Analysis of Crosstalk Noise Component in Wearable Device.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Dynamic SDN controller assignment in data center networks: Stable matching with transfers.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

Depth Dropout: Efficient Training of Residual Convolutional Neural Networks.
Proceedings of the 2016 International Conference on Digital Image Computing: Techniques and Applications, 2016

2015
Deep CNN Ensemble with Data Augmentation for Object Detection.
CoRR, 2015

A Survey of Fall Detection Algorithm for Elderly Health Monitoring.
Proceedings of the Fifth IEEE International Conference on Big Data and Cloud Computing, 2015

2014
On efficient bandwidth allocation for traffic variability in datacenters.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2013
Research on Target Type Recognition Algorithm of Aerial Infrared Image.
J. Multim., 2013

A cooperative game based allocation for sharing data center networks.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Falloc: Fair network bandwidth allocation in IaaS datacenters via a bargaining game approach.
Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

Research on Improved A Priori Algorithm Based on Coding and MapReduce.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013

2012
A 65 nm CMOS Digital Phase Imager for Time-Resolved Fluorescence Imaging.
IEEE J. Solid State Circuits, 2012

A 22-bit 110ps time-interpolated Time-to-Digital Converter.
Proceedings of the 2012 IEEE International Symposium on Circuits and Systems, 2012

Spectrum Sensing Algorithms in the Cognitive Radio Network.
Proceedings of the Emerging Intelligent Computing Technology and Applications, 2012

Cooperative Spectrum Detection Algorithm Based on Likelihood Ratio Law for Cognitive Radio Systems.
Proceedings of the Intelligent Computing Theories and Applications, 2012

2011
Integration of Chang'E-1 Imagery and Laser Altimeter Data for Precision Lunar Topographic Modeling.
IEEE Trans. Geosci. Remote. Sens., 2011

Analysis of other spot-beam interference in TD-SCDMA compatible satellite system.
Proceedings of the 2011 International Conference on Wireless Communications & Signal Processing, 2011

A CMOS imager with digital phase readout for fluorescence lifetime imaging.
Proceedings of the 37th European Solid-State Circuits Conference, 2011

Novel Algorithms to Restrain Deviation When Synthesizing Adjustable Frequency Signal Using DDS.
Proceedings of the Advances in Computer Science, 2011

Applicability of SysML to the Early Definition Phase of Space Missions in a Concurrent Environment.
Proceedings of the Complex Systems Design & Management, 2011

Linear system finite-time stabilization under H∞ constraint.
Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011

2010
A learning-based anomaly detection model of SQL attacks.
Proceedings of the IEEE International Conference on Wireless Communications, 2010

A System Identification Using DRNN Based on Swarm Intelligence.
Proceedings of the Advances in Swarm Intelligence, First International Conference, 2010

On the Consideration of an UMTS/S-UMTS Based GEO-MSS System Architecture Design.
Proceedings of the Personal Satellite Services - Second International ICST Confernce, 2010

A Dynamic Evolutionary Algorithm for Multimodal Function Optimization.
Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

2009
Modelling and simulation of throttle slice stress of telescopic shock absorber.
Int. J. Model. Identif. Control., 2009

2008
Witness and Counter-Example on 3-Valued Model Checking.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008


  Loading...