Shang-Wei Lin

Available identifiers

zbMath Open lin.shangweiMaRDI QIDQ1716559

List of research outcomes

Publication	Date of Publication	Type
Super Edge-Connected Linear Hypergraphs	2022-07-08	Paper
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata	2022-06-15	Paper
Formal analysis of composable DeFi protocols	2022-06-01	Paper
The 1-good neighbor connectivity of unidirectional star graph networks	2021-09-30	Paper
Compositional reasoning for shared-variable concurrent programs	2021-05-04	Paper
Hamiltonian Cycle Embeddings in Faulty Hypercubes Under the Forbidden Faulty Set Model	2021-04-19	Paper
Quasi-Open Bisimilarity with Mismatch is Intuitionistic	2021-01-20	Paper
The 4-set tree connectivity of \((n, k)\)-star networks	2020-10-21	Paper
Structure connectivity and substructure connectivity of star graphs	2020-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q5209549	2020-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5210348	2020-01-22	Paper
A distributed method to avoid higher-order deadlocks in multi-robot systems	2020-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5197001	2019-09-20	Paper
Restricted arc connectivity of unidirectional hypercubes and unidirectional folded hypercubes	2019-06-20	Paper
Path and cycle fault tolerance of bubble-sort graph networks	2019-06-06	Paper
A distributed approach to robust control of multi-robot systems	2019-02-05	Paper
The language preservation problem is undecidable for parametric event-recording automata	2018-05-25	Paper
Cartesian product digraphs with optimal restricted arc connectivity	2018-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5368194	2017-10-20	Paper
3-restricted arc connectivity of digraphs	2017-08-01	Paper
Counterexample-Guided Assume-Guarantee Synthesis through Learning	2017-07-27	Paper
Model Checking Prioritized Timed Systems	2017-07-12	Paper
Arc fault tolerance of Kautz digraphs	2017-06-13	Paper
The generalized 4-connectivity of hypercubes	2017-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q2951406	2017-01-06	Paper
\(k\)-restricted edge connectivity in \((p+1)\)-clique-free graphs	2014-12-05	Paper
Fault-tolerant embedding of cycles of various lengths in \(k\)-ary \(n\)-cubes	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2886615	2012-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q2887148	2012-06-01	Paper
A neighborhood condition for graphs to be maximally \(k\)-restricted edge connected	2012-03-09	Paper
Hamiltonian cycles passing through linear forests in \(k\)-ary \(n\)-cubes	2011-10-27	Paper
An Efficient Algorithm for Learning Event-Recording Automata	2011-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q3017277	2011-07-19	Paper
Edge-bipancyclicity of the \(k\)-ary \(n\)-cubes with faulty nodes and edges	2011-06-22	Paper
Panconnectivity and edge-pancyclicity of \(k\)-ary \(n\)-cubes with faulty elements	2011-03-09	Paper
Matching preclusion for \(k\)-ary \(n\)-cubes	2010-11-25	Paper
Neighborhood conditions for graphs to be super restricted edge connected	2010-11-24	Paper
The base sets of quasi-primitive zero-symmetric sign pattern matrices with zero trace	2010-06-22	Paper
\(\lambda ^{\prime}\)-optimal digraphs	2010-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q3404708	2010-02-12	Paper
Path embeddings in faulty 3-ary \(n\)-cubes	2010-01-28	Paper
The \(k\)-restricted edge connectivity of undirected Kautz graphs	2009-12-10	Paper
Super \(p\)-restricted edge connectivity of line graphs	2009-10-01	Paper
Sufficient conditions for super \(k\)-restricted edge connectivity in graphs of diameter 2	2009-04-09	Paper
Model Checking Timed Systems with Urgencies	2008-09-04	Paper
DNA labelled graphs with DNA computing	2008-06-25	Paper
Sufficient conditions for a graph to be super restricted edge-connected	2008-06-20	Paper
The maximal restricted edge connectivity of Kautz undirected graphs	2007-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q3418518	2007-02-05	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Programming Languages and Systems	2005-08-17	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: Shang-Wei Lin