Shengchao Qin

Has grant

Teesside University

United Kingdom

Research Interests

Explore related searches

Professors in United Kingdom Professors in Artificial Intelligence Artificial Intelligence professors in United Kingdom

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Recent Grants

Grant: Close

Inference Mechanisms for a Separation and Numerical Domain

Open Date: 2010-05-31

Close Date: 2013-09-29

Grant: Close

Inference Mechanisms for a Separation and Numerical Domain

Open Date: 2009-09-30

Close Date: 2010-05-30

Grant: Close

Resource Analysis and Verification for Dependable Embedded Software

Open Date: 2007-02-01

Close Date: 2010-07-30

Articles (10)

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2023

Year:

2021

Year:

2021

Year:

2021

Year:

2020

Year:

2020

Collaborators (3)

Sina Joneidy

Teesside University

UNITED KINGDOM

View details

Annalisa Occhipinti

Teesside University

UNITED KINGDOM

View details

Claudio Angione

Professor

Teesside University

UNITED KINGDOM

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Shengchao Qin

Research Interests

Explore related searches

Contact this professor

Recent Grants

Articles (10)

Enhancing deep learning for demand forecasting to address large data gaps

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+

Trace Semantics for C++11 Memory Model

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?

Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming

Speeding Up Data Manipulation Tasks with Alternative Implementations

Extracting automata from neural networks using active learning

Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement

A Program Logic for Reasoning About C11 Programs With Release-Sequences

A Deep Convolution Generative Adversarial Networks Based Fuzzing Framework For Industry Control Protocols

Collaborators (3)

Sina Joneidy

Annalisa Occhipinti

Claudio Angione

Make your next move.