×
Edit Profile (opens in new tab)

Mascle, Corto N.

Co-Author Distance
Author ID: mascle.corto-n Recent zbMATH articles by "Mascle, Corto N."
Published as: Mascle, Corto; Mascle, Corto N.
Documents Indexed: 8 Publications since 1998
Co-Authors: 12 Co-Authors with 7 Joint Publications
320 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
3 Zimmermann, Martin
2 Kiefer, Stefan
2 Neider, Daniel
2 Schwenger, Maximilian
2 Tabuada, Paulo
2 Weinert, Alexander
1 Géran, Yoan
1 Gimbert, Hugo
1 Laboureix, Bastien
1 Muscholl, Anca
1 Richard, Valentin D.
1 Walukiewicz, Igor

Serials

1 International Journal of Production Research
1 SIAM Journal on Discrete Mathematics
1 Formal Methods in System Design

Fields

7 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
1 Group theory and generalizations (20-XX)
1 Operations research, mathematical programming (90-XX)
1 Systems theory; control (93-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

4 Publications have been cited 8 times in 8 Documents Cited by ▼ Year ▼
From LTL to rLTL monitoring. Improved monitorability through robust semantics. Zbl 07300848
Mascle, Corto; Neider, Daniel; Schwenger, Maximilian; Tabuada, Paulo; Weinert, Alexander; Zimmermann, Martin
5
2020
The keys to decidable hyperltl satisfiability: small models or very simple formulas. Zbl 07650842
Mascle, Corto; Zimmermann, Martin
2
2020
Automatic a priori, a posteriori or appropriate determination of subassemblies. Zbl 0943.90517
Mascle, C.
1
1998
On finite monoids over nonnegative integer matrices and short Killing words. Zbl 07559152
Kiefer, Stefan; Mascle, Corto
1
2019
From LTL to rLTL monitoring. Improved monitorability through robust semantics. Zbl 07300848
Mascle, Corto; Neider, Daniel; Schwenger, Maximilian; Tabuada, Paulo; Weinert, Alexander; Zimmermann, Martin
5
2020
The keys to decidable hyperltl satisfiability: small models or very simple formulas. Zbl 07650842
Mascle, Corto; Zimmermann, Martin
2
2020
On finite monoids over nonnegative integer matrices and short Killing words. Zbl 07559152
Kiefer, Stefan; Mascle, Corto
1
2019
Automatic a priori, a posteriori or appropriate determination of subassemblies. Zbl 0943.90517
Mascle, C.
1
1998
all cited Publications top 5 cited Publications
all top 5

Cited by 25 Authors

2 Neider, Daniel
2 Weinert, Alexander
2 Zimmermann, Martin
1 Arteche, Noel
1 Cimatti, Alessandro
1 Coenen, Norine
1 Dachselt, Raimund
1 Dong, Weijie
1 Finkbeiner, Bernd
1 Frenkel, Hadar
1 Hahn, Christopher
1 Hermo, Montserrat
1 Horak, Tom
1 Li, Shaoyuan
1 Lück, Martin
1 Mascle, Corto N.
1 Metzger, Niklas O.
1 Ryzhikov, Andrew
1 Schwenger, Maximilian
1 Siber, Julian
1 Tabuada, Paulo
1 Tian, Chun
1 Tonetta, Stefano
1 Yin, Xiang
1 Yu, Xinyi

Cited in 5 Serials

2 Formal Methods in System Design
1 Automatica
1 Theoretical Computer Science
1 Information and Computation
1 Journal of Logical and Algebraic Methods in Programming

Cited in 4 Fields

7 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
1 Systems theory; control (93-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year