Yue Yang
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2022
Adaptive Control of Second-Order Nonlinear Systems With Injection and Deception Attacks.
IEEE Trans. Syst. Man Cybern. Syst., 2022
An Effective and Lightweight Countermeasure Scheme to Multiple Network Attacks in NDN.
IEEE/ACM Trans. Netw., 2022
IEEE Trans. Geosci. Remote. Sens., 2022
IEEE Trans. Geosci. Remote. Sens., 2022
A Siamese Network Based U-Net for Change Detection in High Resolution Remote Sensing Images.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2022
Investigation of the Temperature Compensation of Piezoelectric Weigh-In-Motion Sensors Using a Machine Learning Approach.
Sensors, 2022
Neural Process. Lett., 2022
Multi-Spectrum Hierarchical Segmentation Algorithm: A New Aerosol Optical Thickness Retrieval Algorithm for Urban Areas.
IEEE Geosci. Remote. Sens. Lett., 2022
Int. J. Inf. Secur. Priv., 2022
ISPRS Int. J. Geo Inf., 2022
A 1.041-Mb/mm<sup>2</sup> 27.38-TOPS/W Signed-INT8 Dynamic-Logic-Based ADC-less SRAM Compute-in-Memory Macro in 28nm with Reconfigurable Bitwise Operation for AI and Embedded Applications.
Proceedings of the IEEE International Solid-State Circuits Conference, 2022
Show Me More Details: Discovering Hierarchies of Procedures from Semi-structured Web Data.
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022
2021
Event-Triggered Adaptive Output Feedback Control of Multivariable Systems With Nonsmooth Actuator Nonlinearities.
IEEE Trans. Syst. Man Cybern. Syst., 2021
Spatial-Spectral Density Peaks-Based Discriminant Analysis for Membranous Nephropathy Classification Using Microscopic Hyperspectral Images.
IEEE J. Biomed. Health Informatics, 2021
High-Performance Fiber Optic Interferometric Hydrophone Based on Push-Pull Structure.
IEEE Trans. Instrum. Meas., 2021
A Universal ZVS Circuit Design Method for a Family of Interleaved High Step-Up Converters With Least Device Requirement.
IEEE Trans. Ind. Electron., 2021
Adaptive Cooperative Terminal Sliding Mode Control for Distributed Energy Storage Systems.
IEEE Trans. Circuits Syst. I Regul. Pap., 2021
The centrality and innovation performance of the quantum high-level innovation team: the moderating effect of structural holes.
Technol. Anal. Strateg. Manag., 2021
A Synchronous Prediction Model Based on Multi-Channel CNN with Moving Window for Coal and Electricity Consumption in Cement Calcination Process.
Sensors, 2021
Oilseed Rape (Brassica napus L.) Phenology Estimation by Averaged Stokes-Related Parameters.
Remote. Sens., 2021
Remote. Sens., 2021
Vegetation Greenness Variations and Response to Climate Change in the Arid and Semi-Arid Transition Zone of the Mongo-Lian Plateau during 1982-2015.
Remote. Sens., 2021
Image super-resolution via channel attention and spatial graph convolutional network.
Pattern Recognit., 2021
Phys. Commun., 2021
J. Log. Comput., 2021
Knowl. Based Syst., 2021
J. Intell. Fuzzy Syst., 2021
J. Frankl. Inst., 2021
Multi-VSM based fuzzy adaptive cooperative control strategy for MVDC traction power supply system.
J. Frankl. Inst., 2021
A systematic review of automatic text summarization for biomedical literature and EHRs.
J. Am. Medical Informatics Assoc., 2021
Neural-network-based formation control with collision, obstacle avoidance and connectivity maintenance for a class of second-order nonlinear multi-agent systems.
Neurocomputing, 2021
Induce, Edit, Retrieve: Language Grounded Multimodal Schema for Instructional Video Retrieval.
CoRR, 2021
CoRR, 2021
A Survey of Autonomous Underwater Vehicle Formation: Performance, Formation Control, and Communication Capability.
IEEE Commun. Surv. Tutorials, 2021
Event-triggered sliding mode control of networked control systems with Markovian jump parameters.
Autom., 2021
A kind of stricter Hyers-Ulam stability of second order linear differential equations of Carathéodory type.
Appl. Math. Lett., 2021
BSDNet: Balanced Sample Distribution Network for Real-Time Semantic Segmentation of Road Scenes.
IEEE Access, 2021
A Novel Circuit-based MIMO Channel Model Considering Antenna Size and Mutual Coupling.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021
Proceedings of the UIST '21: The Adjunct Publication of the 34th Annual ACM Symposium on User Interface Software and Technology, 2021
3DP-Ori: Bridging-Printing Based Origami Fabrication Method with Modifiable Haptic properties.
Proceedings of the UIST '21: The Adjunct Publication of the 34th Annual ACM Symposium on User Interface Software and Technology, 2021
Proceedings of the SPML 2021: 4th International Conference on Signal Processing and Machine Learning, Beijing, China, August 18, 2021
Secure Federated Learning Model Verification: A Client-side Backdoor Triggered Watermarking Scheme.
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021
High-throughput virtual screening of small molecule inhibitors for SARS-CoV-2 protein targets with deep fusion models.
Proceedings of the SC '21: The International Conference for High Performance Computing, Networking, Storage and Analysis, St. Louis, Missouri, USA, November 14, 2021
Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021
Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021
RealImage2Mesh: Reconstructing Symmetrical Mesh Models from Single Real-World Images.
Proceedings of the 16th International Conference on Computer Science & Education, 2021
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021
Nonparametric Modelling Based Model Predictive Control for Human Heart Rate Regulation during Treadmill Exercise.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021
Training Mode of School Enterprise Collaborative Innovation and Entrepreneurship Talents' Research.
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021
Exploration and Practice of Object-Oriented Programming in the Mode of "Internet +" Education.
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021
"Two-Four-Three-Four" Innovation and Entrepreneurship Education System's Research and Practice.
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021
FlexTruss: A Computational Threading Method for Multi-material, Multi-form and Multi-use Prototyping.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021
Proceedings of the Chinese CHI 2021: The Ninth International Symposium of Chinese CHI, Online Event, Hong Kong, October 16, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
DC Voltage Control Strategy of Three-Terminal Medium-Voltage Power Electronic Transformer-Based Soft Normally Open Points.
IEEE Trans. Ind. Electron., 2020
DOA and Phase Error Estimation for a Partly Calibrated Array With Arbitrary Geometry.
IEEE Trans. Aerosp. Electron. Syst., 2020
AGNES-SMOTE: An Oversampling Algorithm Based on Hierarchical Clustering and Improved SMOTE.
Sci. Program., 2020
A Nonlinear Double Model for Multisensor-Integrated Navigation Using the Federated EKF Algorithm for Small UAVs.
Sensors, 2020
Multi-level word features based on CNN for fake news detection in cultural communication.
Pers. Ubiquitous Comput., 2020
J. Comput. Inf. Sci. Eng., 2020
Internet Res., 2020
The Correlation between the Jobs-Housing Relationship and the Innovative Development of Sci-Tech Parks in New Urban Districts: A Case Study of the Hangzhou West Hi-Tech Corridor in China.
ISPRS Int. J. Geo Inf., 2020
A Minimum Trust Discount Coefficient Model for Incomplete Information in Group Decision Making with Intuitionistic Fuzzy Soft Set.
Int. J. Fuzzy Syst., 2020
Int. J. Cyber Phys. Syst., 2020
CoRR, 2020
Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island.
CoRR, 2020
CoRR, 2020
CoRR, 2020
An Intelligent Quaternion SVDCKF AHRS Estimation with Variable Adaptive Methods in Complex Conditions.
CoRR, 2020
Construction and Comprehensive Analysis of Dysregulated Long Noncoding RNA-Associated Competing Endogenous RNA Network in Moyamoya Disease.
Comput. Math. Methods Medicine, 2020
Comput. J., 2020
Arch. Math. Log., 2020
IEEE Access, 2020
Controllability Robustness Against Cascading Failure for Complex Logistics Networks Based on Nonlinear Load-Capacity Model.
IEEE Access, 2020
Controllability Robustness Against Cascading Failure for Complex Logistic Network Based on Dynamic Cascading Failure Model.
IEEE Access, 2020
Interacting Multiple Model UAV Navigation Algorithm Based on a Robust Cubature Kalman Filter.
IEEE Access, 2020
When Recommender Systems Meet Fleet Management: Practical Study in Online Driver Repositioning System.
Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020
Proceedings of the UIST '20 Adjunct: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020
Scaffolding Learners' Understanding of English Collocation Usages in Electronic References.
Proceedings of the IEEE International Conference on Teaching, 2020
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020
A High-Spatial-Resolution Aerosol Retrieval Algorithm for Sentinel-2 Images Over Bright Urban Surfaces.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020
An Empirical Study on Relationship between Rewards and Employee Creativity in Advertising Agencies: Motivation as a Mediator.
Proceedings of the ICIAI 2020: The 4th International Conference on Innovation in Artificial Intelligence, 2020
An Effective and Lightweight Countermeasure Scheme to Multiple Network Attacks in NDNs.
Proceedings of the 29th International Conference on Computer Communications and Networks, 2020
Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020
2019
OPARC: Optimal and Precise Array Response Control Algorithm - Part II: Multi-Points and Applications.
IEEE Trans. Signal Process., 2019
IEEE Trans. Signal Process., 2019
IEEE Trans. Signal Process., 2019
A Distributionally Robust Optimization Model for Real-Time Power Dispatch in Distribution Networks.
IEEE Trans. Smart Grid, 2019
Refocusing and Zoom-In Polar Format Algorithm for Curvilinear Spotlight SAR Imaging on Arbitrary Region of Interest.
IEEE Trans. Geosci. Remote. Sens., 2019
Noise Suppression for GPR Data Based on SVD of Window-Length-Optimized Hankel Matrix.
Sensors, 2019
Mach. Vis. Appl., 2019
A Noise Suppression Method of Ground Penetrating Radar Based on EEMD and Permutation Entropy.
IEEE Geosci. Remote. Sens. Lett., 2019
J. Real Time Image Process., 2019
J. Medical Syst., 2019
Distinct Molecular Mechanisms Analysis of Three Lung Cancer Subtypes Based on Gene Expression Profiles.
J. Comput. Biol., 2019
A new operator splitting method for American options under fractional Black-Scholes models.
Comput. Math. Appl., 2019
Time Series Imputation via Integration of Revealed Information Based on the Residual Shortcut Connection.
IEEE Access, 2019
IEEE Access, 2019
Clustered Sparsity-Driven SAR Imaging and Autofocus Algorithm in Structured Phase-Noisy Environments.
IEEE Access, 2019
IEEE Access, 2019
Dynamic Pick-Up and Delivery Optimization With Multiple Dynamic Events in Real-World Environment.
IEEE Access, 2019
IEEE Access, 2019
Phishing Email Detection Using Improved RCNN Model With Multilevel Vectors and Attention Mechanism.
IEEE Access, 2019
Signal Analysis of Distributed Optic-Fiber Sensing Used for Oil and Gas Pipeline Monitoring.
Proceedings of the 2019 International Symposium on Signal Processing Systems, 2019
A massively parallel infrastructure for adaptive multiscale simulations: modeling RAS initiation pathway for cancer.
Proceedings of the International Conference for High Performance Computing, 2019
Proceedings of the Pattern Recognition and Computer Vision - Second Chinese Conference, 2019
Proceedings of the Theoretical Computer Science - 37th National Conference, 2019
Adolescent Fluid Intelligence Prediction from Regional Brain Volumes and Cortical Curvatures Using BlockPC-XGBoost.
Proceedings of the Adolescent Brain Cognitive Development Neurocognitive Prediction, 2019
Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019
Proceedings of the Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery - Proceedings of the 15th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2019), Kunming, China, July 20-22, 2019, 2019
Proceedings of the ICCPR '19: 8th International Conference on Computing and Pattern Recognition, 2019
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019
Research on Hybrid Quantum Genetic Algorithm Based on Cross-Docking Delivery Vehicle Scheduling.
Proceedings of the Cyber Security Intelligence and Analytics, 2019
Proceedings of the IEEE Congress on Evolutionary Computation, 2019
Proceedings of the Web and Big Data - Third International Joint Conference, 2019
Proceedings of the International Conference on Artificial Intelligence and Advanced Manufacturing, 2019
A Dynamic Real-Time Three-Dimensional Attitude Reconstruction Method Based on Multi-Core Optical Fiber Subtitle as Needed.
Proceedings of the International Conference on Artificial Intelligence and Advanced Manufacturing, 2019
Proceedings of the Advanced Hybrid Information Processing, 2019
2018
Method for Determining the Resonance Frequency of a Fiber Optic Interferometric Accelerometer.
IEEE Trans. Instrum. Meas., 2018
MRF model-based joint interrupted SAR imaging and coherent change detection via variational Bayesian inference.
Signal Process., 2018
J. Math. Log., 2018
An Accurate and Fast Method to Inspect Rail Wear Based on Revised Global Registration.
IEEE Access, 2018
Pr-Based Sar Reconstruction Autofocus Algorithm for Persistent Surveillance Change Detection.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018
Using Stokes Parameters Derived from Radarsat-2 Data for Rape (Brassica Napus L.) Biomass Inversion.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018
A New Method of Retrieving the Inclination Direction of Power Transmission Tower by Geocoding.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018
Proceedings of the 2018 IEEE International Conference on Signal Processing, 2018
Proceedings of the Neural Information Processing - 25th International Conference, 2018
Proceedings of the 2018 IEEE International Conference on Communications Workshops, 2018
Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018
2017
A Type-2 Block-Component-Decomposition Based 2D AOA Estimation Algorithm for an Electromagnetic Vector Sensor Array.
Sensors, 2017
计算机科学, 2017
J. Adv. Comput. Intell. Intell. Informatics, 2017
Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees.
Inf. Process. Lett., 2017
Heterogeneous model integration of complex mechanical parts based on semantic feature fusion.
Eng. Comput., 2017
EURASIP J. Adv. Signal Process., 2017
An anti-collision algorithm for RFID-based robots based on dynamic grouping binary trees.
Comput. Electr. Eng., 2017
A Tensor Decomposition Based Multiway Structured Sparse SAR Imaging Algorithm with Kronecker Constraint.
Algorithms, 2017
A receiving instruments of the Earth's natural pulse electromagnetic field and its data analysis via time-frequency method before an earthquake.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2017
Multi-objective optimization with Proper Orthogonal Decomposition and Gaussian predictive distribution.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017
A new deep learning method based on AlexNet model and SSD model for tennis ball recognition.
Proceedings of the 10th IEEE International Workshop on Computational Intelligence and Applications, 2017
2016
ACM Trans. Storage, 2016
Study on evacuation of pedestrians from a room with multi-obstacles considering the effect of aisles.
Simul. Model. Pract. Theory, 2016
Signal Processing on Precursory "Fingerprint" Image Pattern Feature of Yushu Earthquake.
J. Adv. Comput. Intell. Intell. Informatics, 2016
Quantitative assess the driving forces on the grassland degradation in the Qinghai-Tibet Plateau, in China.
Ecol. Informatics, 2016
OFDM demodulation using virtual time reversal processing in underwater acoustic communication.
CoRR, 2016
Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016
Based Point of Interest and Experience to Task Assignment on Location-Based Social Networks.
Proceedings of the 12th International Conference on Mobile Ad-Hoc and Sensor Networks, 2016
Proceedings of the 24th IEEE International Symposium on Modeling, 2016
Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016
Proceedings of the 2016 IEEE International Symposium on Signal Processing and Information Technology, 2016
Proceedings of the 12th IEEE International Conference on Control and Automation, 2016
Secure MAC Protocol for Periodic Smart Metering Data Communication with Compressive Sensing.
Proceedings of the 2016 IEEE Globecom Workshops, Washington, DC, USA, December 4-8, 2016, 2016
2015
IEEE Comput. Archit. Lett., 2015
Ann. Pure Appl. Log., 2015
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
Proceedings of the 8th ACM International Systems and Storage Conference, 2015
Proceedings of the 26th IEEE Annual International Symposium on Personal, 2015
Evaluation of Routing Protocols in VANET Based on a Synergetic Simulation Using SUMO and ns-3.
Proceedings of the Internet of Vehicles - Safe and Intelligent Mobility, 2015
Proceedings of the 2015 IEEE Conference on Computer Communications Workshops, 2015
Proceedings of the Advances in Image and Graphics Technologies - 10th Chinese Conference, 2015
Proceedings of the IECON 2015, 2015
PCF Scheme for Periodic Data Transmission in Smart Metering Network with Cognitive Radio.
Proceedings of the 2015 IEEE Global Communications Conference, 2015
Entity Recognition and Relations Extraction Based on the Structure of Online Encyclopedia.
Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015
2014
Grouping-Based MAC Protocols for EV Charging Data Transmission in Smart Metering Network.
IEEE J. Sel. Areas Commun., 2014
The Interval-Valued Triangular Fuzzy Soft Set and Its Method of Dynamic Decision Making.
J. Appl. Math., 2014
Investigating How User's Activities in Both Virtual and Physical World Impact Each Other Leveraging LBSN Data.
Int. J. Distributed Sens. Networks, 2014
Bull. Symb. Log., 2014
Necessary and sufficient conditions for regional stabilisability of second-order switched linear systems with a finite number of subsystems.
Autom., 2014
Proceedings of the 6th IEEE International Symposium on Wireless Vehicular Communications, 2014
Analytical modeling of garbage collection algorithms in hotness-aware flash-based solid state drives.
Proceedings of the IEEE 30th Symposium on Mass Storage Systems and Technologies, 2014
Identification and control of nonlinear systems using neural networks and multiple models.
Proceedings of the 11th IEEE International Conference on Control & Automation, 2014
Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 2014
Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 2014
Simultaneous chemiluminescence detection of multiple tumor markers using bio-functionlized magnetic nanocomposites.
Proceedings of IEEE-EMBS International Conference on Biomedical and Health Informatics, 2014
2013
Proceedings of the Theory and Applications of Models of Computation, 2013
Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013
Prediction of syngas compositions in shell coal gasification process via dynamic soft-sensing method.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013
A WSN approach to unmanned aerial surveillance of traffic anomalies: Some challenges and potential solutions.
Proceedings of the East-West Design & Test Symposium, 2013
2012
J. Appl. Math., 2012
Sufficient and necessary conditions for the stability of second-order switched linear systems under arbitrary switching.
Int. J. Control, 2012
Energy Efficient Activity Recognition Based on Low Resolution Accelerometer in Smart Phones.
Proceedings of the Advances in Grid and Pervasive Computing - 7th International Conference, 2012
Proceedings of the Workshops Proceedings of the Global Communications Conference, 2012
Proceedings of the 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012
Proceedings of the 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012
2011
J. Networks, 2011
Proceedings of the 2011 International Conference on Wireless Communications & Signal Processing, 2011
Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011
Feedback stabilization for planar switched linear systems with two subsystems under arbitrary switching.
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011
2010
Int. J. Image Graph., 2010
Dynamic Monitoring and Intelligent Network System Design and Implementation for Mandatory Inspection Measurement Instruments.
Proceedings of the International Conference on E-Business and E-Government, 2010
2009
SPICE Behavioral Model of the Tunneling Field-Effect Transistor for Circuit Simulation.
IEEE Trans. Circuits Syst. II Express Briefs, 2009
Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009
2008
Signal Process., 2008
2007
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007
Proceedings of the 7th IEEE International Symposium on Computational Intelligence in Robotics and Automation, 2007
2006
J. Symb. Log., 2006
J. Symb. Log., 2006
Ann. Pure Appl. Log., 2006
Ann. Pure Appl. Log., 2006
Proceedings of the Theory and Applications of Models of Computation, 2006
On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal.
Proceedings of the Theory and Applications of Models of Computation, 2006
Proceedings of the Static Analysis, 13th International Symposium, 2006
Proceedings of the 10th International Conference on CSCW in Design, 2006
2005
Math. Log. Q., 2005
J. Symb. Log., 2005
UMM: an operational memory model specification framework with integrated model checking capability.
Concurr. Pract. Exp., 2005
Ann. Pure Appl. Log., 2005
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005
Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, 2005
2004
Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Anti-Spam Filtering Using Neural Networks.
Proceedings of the International Conference on Artificial Intelligence, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
2002
A nonlow<sub>2</sub> R. E. Degree with the Extension of Embeddings Properties of a low<sub>2</sub> Degree.
Math. Log. Q., 2002
Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002
1998
Sigma<sub>2</sub> Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator.
J. Symb. Log., 1998
1997
Sigma<sub>2</sub> Induction and Infinite Injury Priority Arguments, Part II: Tame Sigma<sub>2</sub> Coding and the Jump Operator.
Ann. Pure Appl. Log., 1997
1995
The Thickness Lemma from P<sup>-</sup> + I Sigma<sub>1</sub> + not B Sigma<sub>2</sub>.
J. Symb. Log., 1995