Person:313980

Available identifiers

zbMath Open wang.qing.3MaRDI QIDQ313980

List of research outcomes

Publication	Date of Publication	Type
Representations of the affine ageing algebra $\widehat{\mathfrak{age}}(1)$	2023-12-22	Paper
Distributed Adaptive Systems	2023-03-10	Paper
Capturing Membrane Computing by ASMs	2023-03-10	Paper
A complete logic for Database Abstract State Machines1	2022-08-10	Paper
A unifying logic for non-deterministic, parallel and concurrent abstract state machines	2018-09-21	Paper
A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis	2016-09-12	Paper
A unifying logic for non-deterministic, parallel and concurrent abstract state machines	2016-05-19	Paper
A theoretical framework for knowledge-based entity resolution	2014-08-27	Paper
Complete Conceptual Schema Algebras	2013-07-30	Paper
Abstract State Machines for Data-Parallel Computing	2012-03-09	Paper
A Proof System with Bounded Non-determinism in Database Transformations	2011-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3021295	2011-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q3077363	2011-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q3075232	2011-02-10	Paper
https://portal.mardi4nfdi.de/entity/Q3639077	2009-10-28	Paper
Towards a Logic for Abstract MetaFinite State Machines	2008-03-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Qing Wang