Long Li
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2026
J. Comput. Appl. Math., 2026
2025
Provably Secure and Efficient One-to-Many Authentication and Key Agreement Protocol for Resource-Asymmetric Smart Environments.
IEEE Internet Things J., July, 2025
VL-Cogito: Progressive Curriculum Reinforcement Learning for Advanced Multimodal Reasoning.
CoRR, July, 2025
Provably secure and lightweight authentication protocol using PUF and blockchain for smart grids.
J. Supercomput., June, 2025
On existence of a variational regularization parameter under Morozov's discrepancy principle.
CoRR, June, 2025
CoRR, June, 2025
Lingshu: A Generalist Foundation Model for Unified Multimodal Medical Understanding and Reasoning.
CoRR, June, 2025
CoRR, June, 2025
BadCodePrompt: backdoor attacks against prompt engineering of large language models for code generation.
Autom. Softw. Eng., June, 2025
Onboard Operational Safety Filter for a Quadrotor in an Environment With Dynamic Obstacles.
IEEE Trans. Ind. Informatics, May, 2025
VLLFL: A Vision-Language Model Based Lightweight Federated Learning Framework for Smart Agriculture.
CoRR, April, 2025
A Compact and Low-Actuator Thrust System for Microgravity Flying Robot in Space Stations.
IEEE Trans. Ind. Electron., January, 2025
Graph augmentation guided federated knowledge distillation for multisite functional MRI analysis.
Pattern Recognit., 2025
Microelectron. J., 2025
Research on Remote Sensing Image Feature Interaction and Fusion Change Detection Method Based on Axial Attention Mechanism.
IEEE Geosci. Remote. Sens. Lett., 2025
Study on defect detection for crane components based on the YOLOv5 fusion enhancement algorithm.
J. Electronic Imaging, 2025
Digital background calibration algorithm for pipelined ADC based on time-delay neural network with genetic algorithm feature selection.
Integr., 2025
A pipelined ADC calibration technique based on time-delay neural network with ant colony optimization.
IEICE Electron. Express, 2025
Canopy extraction of mango trees in hilly and plain orchards using UAV images: Performance of machine learning vs deep learning.
Ecol. Informatics, 2025
Store-and-forward with graph attention: Enhanced multi-agent reinforcement learning for emergency-responsive traffic signal control.
Eng. Appl. Artif. Intell., 2025
Branch segmentation and phenotype extraction of apple trees based on improved Laplace algorithm.
Comput. Electron. Agric., 2025
Small dense Mini/Micro LED high-precision inspection based on instance segmentation with local detail enhancement.
Adv. Eng. Informatics, 2025
IEEE Access, 2025
DRoLaS: Diffusion-Based Coarse-to-Fine Conditional Synthesis of Hierarchical Road Layouts.
Proceedings of the 2025 International Conference on Multimedia Retrieval, 2025
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025
Extra-Lightweight AI-Based Privacy Preserving Framework for Egocentric Wearable Cameras.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2025
ECBench: Can Multi-modal Foundation Models Understand the Egocentric World? A Holistic Embodied Cognition Benchmark.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025
To Code or not to Code? Adaptive Tool Integration for Math Language Models via Expectation-Maximization.
Proceedings of the Findings of the Association for Computational Linguistics, 2025
2024
AFC-TH Hybrid Precoding With High Energy Efficiency for Millimeter Wave Communication Systems.
IEEE Trans. Green Commun. Netw., December, 2024
Intermediate-term memory mechanism inspired lightweight single image super resolution.
Multim. Tools Appl., September, 2024
A comprehensive study on physical fitness of Wushu routine athletes based on video-driven core strength training mechanism in wireless network.
Wirel. Networks, August, 2024
SensorNet: An Adaptive Attention Convolutional Neural Network for Sensor Feature Learning.
Sensors, June, 2024
Investigation of Automotive LiDAR Vision in Rain from Material and Optical Perspectives.
Sensors, May, 2024
RCEAU-Net: Cascade Multi-Scale Convolution and Attention-Mechanism-Based Network for Laser Beam Target Image Segmentation with Complex Background in Coal Mine.
Sensors, April, 2024
Multimode Control Strategy for Robotic Rehabilitation on Special Orthogonal Group SO(3).
IEEE Trans. Ind. Electron., February, 2024
Bayesian sparse grid (BSG) approach for information salvage in reliability assessment of deteriorating structures.
Reliab. Eng. Syst. Saf., 2024
A High-Resolution Spotlight Imaging Algorithm via Modified Second-Order Space-Variant Wavefront Curvature Correction for MEO/HM-BiSAR.
Remote. Sens., 2024
Microelectron. J., 2024
Learn to enhance the low-light image via a multi-exposure generation and fusion method.
J. Vis. Commun. Image Represent., 2024
Surface defect detection method of aluminium alloy castings based on data enhancement and CRT-DETR.
IET Image Process., 2024
CoRR, 2024
Unveiling the Impact of Multi-Modal Interactions on User Engagement: A Comprehensive Evaluation in AI-driven Conversations.
CoRR, 2024
Biomed. Signal Process. Control., 2024
Beyond Binary Classification: A Fine-Grained Safety Dataset for Large Language Models.
IEEE Access, 2024
Full-Attention Driven Graph Contrastive Learning: with Effective Mutual Information Insight.
Proceedings of the ACM on Web Conference 2024, 2024
Proceedings of the Wireless Artificial Intelligent Computing Systems and Applications, 2024
Spectral Efficiency Optimization for Absorbable IRS-Based Wireless Communications with Strong Interferences.
Proceedings of the 99th IEEE Vehicular Technology Conference, 2024
From Raindrops To Pixels: A Novel Model to Predict ADAS Camera Image Degradation in Rain.
Proceedings of the IEEE International Conference on Smart Mobility, 2024
ZeroTKS: Zero-trust Knowledge Synchronization via Federated Fine-tuning for Secure Semantic Communications.
Proceedings of the Twenty-fifth International Symposium on Theory, 2024
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024
Proceedings of the International Joint Conference on Neural Networks, 2024
Proceedings of the Intelligent Information Processing XII, 2024
Proceedings of the IGARSS 2024, 2024
Proceedings of the IGARSS 2024, 2024
CRIA: An Enhancement Method For CV-CNN Based on Cross-Fusion of Complex Information of Real and Imaginary Activations.
Proceedings of the IGARSS 2024, 2024
Weak and Small Group Target Tracking Method Based on Multi-Dimensional Screening of Point Traces.
Proceedings of the IGARSS 2024, 2024
Proceedings of the IGARSS 2024, 2024
Study on the Effectiveness of Focused Microwave Stimulation in Improving Motor Dysfunction in Stroke Rats.
Proceedings of the 17th International Convention on Rehabilitation Engineering and Assistive Technology, 2024
Proceedings of the International Conference on Computing, Networking and Communications, 2024
Proceedings of the International Conference on Advanced Robotics and Mechatronics, 2024
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024
PV-DETR: A Multimodal Fault Detection Model of PV Arrays based on Parallel Block Attention.
Proceedings of the IEEE International Conference on Big Data, 2024
Proceedings of the 14th Asian Control Conference, 2024
Autonomous vehicle trajectory tracking control utilizing front-wheel steering angle compensation.
Proceedings of the 14th Asian Control Conference, 2024
CI-STHPAN: Pre-trained Attention Network for Stock Selection with Channel-Independent Spatio-Temporal Hypergraph.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Phys. Commun., December, 2023
sEMG-Based End-to-End Continues Prediction of Human Knee Joint Angles Using the Tightly Coupled Convolutional Transformer Model.
IEEE J. Biomed. Health Informatics, November, 2023
An accurate, robust and efficient convection-pressure flux splitting scheme for compressible Euler flows.
J. Comput. Phys., November, 2023
A LightGBM-based strategy to predict tunnel rockmass class from TBM construction data for building control.
Adv. Eng. Informatics, October, 2023
Improved Adaptive Multipoint Optimal Minimum Entropy Deconvolution and Application on Bearing Fault Detection in Random Impulsive Noise Environments.
Entropy, August, 2023
Circuits Syst. Signal Process., July, 2023
Qual. Reliab. Eng. Int., June, 2023
IEICE Trans. Electron., March, 2023
TDS-U-Net: Automatic liver and tumor separate segmentation of CT volumes using attention gates.
J. Intell. Fuzzy Syst., 2023
J. Comput. Inf. Technol., 2023
The association between constant and new Internet use and depressive symptoms among older adults in China: The role of structural social capital.
Comput. Hum. Behav., 2023
Simulation evaluation of underwater robot structure and control system based on ADAMS.
Open Comput. Sci., 2023
A Modular Framework for Robot Embodied Instruction Following by Large Language Model.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2023
Proceedings of the Advances in Artificial Intelligence, Big Data and Algorithms - Proceedings of the 3rd International Conference on Artificial Intelligence, Big Data and Algorithms (CAIBDA 2023), 2023
Crack Identification Method of Bearing Ring Fluorescence Magnetic Particle Flaw Detection Image Based on Interference Display Rejection.
Proceedings of the CAA Symposium on Fault Detection, 2023
2022
IEEE Trans. Inf. Forensics Secur., 2022
Bilinear Feature Fusion Convolutional Neural Network for Distributed Tactile Pressure Recognition and Understanding via Visualization.
IEEE Trans. Ind. Electron., 2022
A Deep-Learning Method for the Classification of Apple Varieties via Leaf Images from Different Growth Periods in Natural Environment.
Symmetry, 2022
Efficient Supervised Image Clustering Based on Density Division and Graph Neural Networks.
Remote. Sens., 2022
Microelectron. J., 2022
J. Circuits Syst. Comput., 2022
Search for ABO<sub>3</sub> Type Ferroelectric Perovskites with Targeted Multi-Properties by Machine Learning Strategies.
J. Chem. Inf. Model., 2022
An online gradient-based parameter identification algorithm for the neuro-fuzzy systems.
Fuzzy Sets Syst., 2022
Frontiers Neuroinformatics, 2022
Nebula-I: A General Framework for Collaboratively Training Deep Learning Models on Low-Bandwidth Cloud Clusters.
CoRR, 2022
Automatic Velocity Picking Using a Multi-Information Fusion Deep Semantic Segmentation Network.
CoRR, 2022
Non-destructive and in-site estimation of apple quality and maturity by hyperspectral imaging.
Comput. Electron. Agric., 2022
A classification method for EEG motor imagery signals based on parallel convolutional neural network.
Biomed. Signal Process. Control., 2022
Adv. Intell. Syst., 2022
IEEE Access, 2022
Adaptive Super-Twisting sliding mode trajectory tracking control of underactuated unmanned surface vehicles based on prescribed performance.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2022
Proceedings of the IEEE International Conference on Real-time Computing and Robotics, 2022
Proceedings of the 26th International Conference on Pattern Recognition, 2022
Analysis of Abnormal Waveform in Grid-connected Performance Test of Energy Storage Station.
Proceedings of the 5th International Conference on Information Technologies and Electrical Engineering, 2022
Accelerating federated learning based on grouping aggregation in heterogeneous edge computing.
Proceedings of the ICIAI 2022: The 6th International Conference on Innovation in Artificial Intelligence, Guangzhou China, March 4, 2022
2021
Enumeration of subtrees and BC-subtrees with maximum degree no more than <i>k</i> in trees.
Theor. Comput. Sci., 2021
Three-dimensional aperiodic biped walking including the double support phase using LIPM and LPM.
Robotics Auton. Syst., 2021
An efficient three-factor remote user authentication protocol based on BPV-FourQ for internet of drones.
Peer-to-Peer Netw. Appl., 2021
Preference Parameters for the Calculation of Thermal Conductivity by Multiparticle Collision Dynamics.
Entropy, 2021
Fast Electromagnetic Validations of Large-Scale Digital Coding Metasurfaces Accelerated by Recurrence Rebuild and Retrieval Method.
CoRR, 2021
Asymptotic preserving scheme for anisotropic elliptic equations with deep neural network.
CoRR, 2021
Stability and Hopf Bifurcation Analysis of a Vector-Borne Disease Model with Two Delays and Reinfection.
Comput. Math. Methods Medicine, 2021
Computation Offloading and Task Scheduling with Fault-Tolerance for Minimizing Redundancy in Edge Computing.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021
Q-learning Enabled Intelligent Energy Attack in Sustainable Wireless Communication Networks.
Proceedings of the ICC 2021, 2021
Proceedings of the 6th IEEE International Conference on Computer and Communication Systems, 2021
Proceedings of the AIPR 2021: 4th International Conference on Artificial Intelligence and Pattern Recognition, Xiamen, China, September 24, 2021
GVUI: Graphic-Assisted Voice User Interface Based on Multi-modal Human-Machine Conversation.
Proceedings of the Advances in Usability, User Experience, Wearable and Assistive Technology, 2021
2020
A Smoothing Algorithm with Constant Learning Rate for Training Two Kinds of Fuzzy Neural Networks and Its Convergence.
Neural Process. Lett., 2020
Dual-terminal event triggered control for cyber-physical systems under false data injection attacks.
Kybernetika, 2020
The Cultural Foundation of Information Security Behavior: Developing a Cultural Fit Framework for Information Security Behavior Control.
J. Database Manag., 2020
IEICE Trans. Commun., 2020
CoRR, 2020
Thermal Error Modeling for Machine Tools: Mechanistic Analysis and Solution for the Pseudocorrelation of Temperature-Sensitive Points.
IEEE Access, 2020
Revealing the Mechanical Characteristics via Kinematic Wave Model for Snake-Like Robot Executing Exploration of Lunar Craters.
IEEE Access, 2020
Proceedings of the IPMV 2020: 2nd International Conference on Image Processing and Machine Vision, 2020
Proceedings of the 9th International Conference on Software and Computer Applications, 2020
Proceedings of the EITCE 2020: 4th International Conference on Electronic Information Technology and Computer Engineering, Xiamen, China, 6 November, 2020, 2020
2019
Quantum nonlocality in the spin-s Heisenberg models with the Dzyaloshinskii-Moriya interaction.
Quantum Inf. Process., 2019
A Split-Complex Valued Gradient-Based Descent Neuro-Fuzzy Algorithm for TS System and Its Convergence.
Neural Process. Lett., 2019
Space climbing robot feet with micro array Structure based on discrete element method.
Int. J. Robotics Autom., 2019
Collaborative inversion heavy metal stress in rice by using two-dimensional spectral feature space based on HJ-1 A HSI and radarsat-2 SAR remote sensing data.
Int. J. Appl. Earth Obs. Geoinformation, 2019
IEEE Access, 2019
Strong Convergence of Neuro-Fuzzy Learning With Adaptive Momentum for Complex System.
IEEE Access, 2019
Practical Vision-Based Walking Navigation for the Humanoid Robot NAO in the Maze-like Environment.
Proceedings of the 2019 IEEE International Conference on Robotics and Biomimetics, 2019
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019
Proceedings of the IEEE International Symposium on Olfaction and Electronic Nose, 2019
Programmable electrohydrodynamic jet printed gas sensor on MEMS micro-hot plate platforms.
Proceedings of the IEEE International Symposium on Olfaction and Electronic Nose, 2019
A full functional Monolithic Active Pixel Sensor prototype for the CEPC vertex detector.
Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019
Proceedings of the Database Systems for Advanced Applications, 2019
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Proceedings of the 2019 IEEE International Conference on Advanced Robotics and its Social Impacts, 2019
2018
A single-cell RNA-seq survey of the developmental landscape of the human prefrontal cortex.
Nat., 2018
Multi-task neural networks for joint hippocampus segmentation and clinical score regression.
Multim. Tools Appl., 2018
Boundedness and convergence of split complex gradient descent algorithm with momentum and regularizer for TSK fuzzy models.
Neurocomputing, 2018
Broadcasting algorithm based on successful broadcasting ratio and energy balance of nodes in mobile ad hoc networks.
Int. J. Internet Protoc. Technol., 2018
Proceedings of the Advances in Neural Networks - ISNN 2018, 2018
2017
A Lift-Off-Tolerant Magnetic Flux Leakage Testing Method for Drill Pipes at Wellhead.
Sensors, 2017
Neurocomputing, 2017
Proceedings of the 2017 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, 2017
An Improved Conjugate Gradient Neural Networks Based on a Generalized Armijo Search Method.
Proceedings of the Neural Information Processing - 24th International Conference, 2017
Proceedings of the Neural Information Processing - 24th International Conference, 2017
The identification of shaft current induced defects on rolling bearings in wind turbine generators.
Proceedings of the 23rd International Conference on Automation and Computing, 2017
Integrated Quality Mesh Generation for Poisson Surface Reconstruction in HPC Applications.
Proceedings of the 19th IEEE International Conference on High Performance Computing and Communications; 15th IEEE International Conference on Smart City; 3rd IEEE International Conference on Data Science and Systems, 2017
Proceedings of the 19th IEEE International Conference on High Performance Computing and Communications; 15th IEEE International Conference on Smart City; 3rd IEEE International Conference on Data Science and Systems, 2017
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
2016
Stability and Hopf bifurcation analysis for a two-enterprise interaction model with delays.
Commun. Nonlinear Sci. Numer. Simul., 2016
Proceedings of the 17th IEEE International Workshop on Signal Processing Advances in Wireless Communications, 2016
Proceedings of the IEEE Symposium on Computers and Communication, 2016
Proceedings of the 3rd International Conference on Systems and Informatics, 2016
Simultaneous transmission opportunities for LTE-LAA smallcells coexisting with WiFi in unlicensed spectrum.
Proceedings of the 2016 IEEE International Conference on Communications, 2016
Proceedings of the ACM International Conference on Computing Frontiers, CF'16, 2016
Proceedings of the ACM International Conference on Computing Frontiers, CF'16, 2016
2015
J. Inf. Hiding Multim. Signal Process., 2015
Enhanced approximation capabilities of the fuzzy systems using variable universes of discourse.
J. Intell. Fuzzy Syst., 2015
Eur. J. Oper. Res., 2015
Algorithms, 2015
The analysis and control method about the stop motion of Symmetric Planar Rimless Wheel on slope.
Proceedings of the 2015 IEEE International Conference on Robotics and Biomimetics, 2015
The Design and Implementation of Openstreetmap Application System Aimed at Emergency Logistics.
Proceedings of the Information Technology and Intelligent Transportation Systems, 2015
A Novel Framework for Dual-Band Femtocells Coexisting with WiFi in Unlicensed Spectrum.
Proceedings of the 2015 IEEE Global Communications Conference, 2015
Proceedings of the Fuzzy System and Data Mining, 2015
Proceedings of the 12th ACM International Conference on Computing Frontiers, 2015
2014
Simulation of Optimized Evacuation Processes in Complex Buildings Using Cellular Automata Model.
J. Softw., 2014
Discovering New Agents Active against Methicillin-Resistant <i>Staphylococcus aureus</i> with Ligand-Based Approaches.
J. Chem. Inf. Model., 2014
Differential evolution based on covariance matrix learning and bimodal distribution parameter setting.
Appl. Soft Comput., 2014
A hierarchical MADM-based network selection scheme for system performance enhancement.
Proceedings of the IEEE International Conference on Communication Systems, 2014
Proceedings of the 11th International Conference on Fuzzy Systems and Knowledge Discovery, 2014
2013
Oper. Res. Lett., 2013
Quasi-static and Modal Analysis of Bridge-Type Compliant Mechanism with Flexure Hinges.
Proceedings of the Second International Conference on Robot, Vision and Signal Processing, 2013
Proceedings of the Safe and Secure Software Reuse, 2013
Neighbor discovery based on group frequency hopping without common control channel for cognitive radio ad hoc networks.
Proceedings of the 15th IEEE International Conference on Communication Technology, 2013
Automatic test method for noise immunity of control system based on virtual instrument.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013
Positive Handling the Low-Criticality Tasks in Mixed-Criticality Scheduling on Multiprocessors.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013
An Interference-Based Distributed TDMA Scheduling Algorithm for Aeronautical Ad Hoc Networks.
Proceedings of the 2013 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2013
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013
DCNSim: a unified and cross-layer computer architecture simulation framework for data center network research.
Proceedings of the Computing Frontiers Conference, 2013
MCPath: Effectively Query the Structure Data in the Multidimensional Moving Object Network.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013
2012
Negative effects of sufficiently small initialweights on back-propagation neural networks.
J. Zhejiang Univ. Sci. C, 2012
The method of analyzing mapping between capability and Performance Index based on DSM/DMM models.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012
Proceedings of the 7th International Conference on System of Systems Engineering, 2012
Proceedings of the 7th International Conference on System of Systems Engineering, 2012
Research on capability requirements generation of Weapon System-of-systems based on CRTAM model.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Proceedings of the Quantitative Logic and Soft Computing, 2012
Proceedings of the Quantitative Logic and Soft Computing, 2012
Proceedings of the Third FTRA International Conference on Mobile, 2012
Speech separation based on semi-blind kurtosis maximization with magnitude and energy distance.
Proceedings of the 4th International Conference on Awareness Science and Technology, 2012
Proceedings of the 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012
Proceedings of the Information Retrieval Technology, 2012
2011
Proceedings of the Seventh International Conference on Natural Computation, 2011
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011
2010
Inf. Sci., 2010
Proceedings of the International Joint Conference on Neural Networks, 2010
Proceedings of the 11th International Conference on Control, 2010
2009
J. Comput. Sci. Technol., 2009
J. Comput. Inf. Syst., 2009
Proceedings of the 2009 IEEE International Conference on Granular Computing, 2009
Proceedings of the IEEE Congress on Evolutionary Computation, 2009
2007
J. Comput. Sci. Technol., 2007
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Proceedings of the Third International Conference on Natural Computation, 2007
Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors.
Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007
Proceedings of the Reaching New Heights. 13th Americas Conference on Information Systems, 2007
Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007
2006
Bioinform., 2006
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006
A Edge Feature Matching Algorithm Based on Evolutionary Strategies and Least Trimmed Square Hausdorff Distance.
Proceedings of the Advances in Natural Computation, Second International Conference, 2006
2005
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005
Automatically partitioning packet processing applications for pipelined architectures.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005
2002
SIAM J. Control. Optim., 2002