Movatterモバイル変換

[0]ホーム
URL:

×

zbMATH Open — the first resource for mathematics

from until
Reset all

Examples

Simon Donald*Search inall parts of an author's name (results containSimon, Donald M. andDonaldson,Simon Kirwan).
ln: Donald* fn: SimonSearch for specified family (ln) and given (fn) name.
au: Stefan Müller cc:49Combine name search (au) with main MSC fields (cc).
au: Helga BunkeSearch results includename variations, in particularname changes, differenttransliterations andpseudonyms. Names of collectives will be displayed as a separate entity.
(st:r & b) | (st:o)Search results include allreviewers withbiographic information orcollectives.
(en:MGP | wikidata) ln:a*Search results include all authors having either anentry in theMath Genealogy Project or inWikidata and whose family name starts withA.
aw: Fields AbelSearch for allFields Medalaward winners who also received anAbel Prize. The& operator is default and ommitted here.

Fields

ai zbMATH author ID
au Author name
any Includes ai, au, aw, cc
aw Name of an award (to find laureates)
cc Main Fields of the author (given by first two MSC digits)
cm Name of a collective (to find members of this collective)
co Name of an author (to find collectives the author is a member of)
en External author ID: ORCID, MGP, Wikidata object number and others
fn First name
ln Last name
py Year(s) in which the author has published. Interval search with “-”
rv Reviewer ID
st State: has biographic references (st:b), is cited (st:c), is collective (st:o), has references (st:r)

Operators

a & blogical and
a | blogical or
!ablogical not
abc*right wildcard
ab cphrase
(ab c)parentheses

See also ourGeneral Help.



Lefaucheux, Engel

Co-Author Distance
Author ID:lefaucheux.engel Recent zbMATH articles by "Lefaucheux, Engel"
Published as:Lefaucheux, Engel
Documents Indexed:22 Publications since 2014
Co-Authors:32 Co-Authors with 21 Joint Publications
1,160 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 53 times in40 DocumentsCited by ▼Year ▼
Foundation of diagnosis and predictability in probabilistic systems. Zbl 1360.68627
Bertrand, Nathalie;Haddad, Serge;Lefaucheux, Engel
2014
Accurate approximate diagnosability of stochastic systems. Zbl 1443.68082
Bertrand, Nathalie;Haddad, Serge;Lefaucheux, Engel
2016
Simple priced timed games are not that simple. Zbl 1366.68137
Brihaye, Thomas;Geeraerts, Gilles;Haddad, Axel;Lefaucheux, Engel;Monmege, Benjamin
2015
A tale of two diagnoses in probabilistic systems. Zbl 1435.68212
Bertrand, Nathalie;Haddad, Serge;Lefaucheux, Engel
2019
On positivity and minimality for second-order holonomic sequences. Zbl 07724240
Kenison, George;Klurman, Oleksiy;Lefaucheux, Engel;Luca, Florian;Moree, Pieter;Ouaknine, Joël;Whiteland, Markus A.;Worrell, James
2021
Porous invariants. Zbl 1493.68117
Lefaucheux, Engel;Ouaknine, Joël;Purser, David;Worrell, James
2021
Diagnosability of repairable faults. Zbl 1398.93214
Fabre, Eric;Hélouët, Loïc;Lefaucheux, Engel;Marchand, Hervé
2018
On the complexity of the escape problem for linear dynamical systems over compact semialgebraic sets. Zbl 07724206
D’costa, Julian;Lefaucheux, Engel;Neumann, Eike;Ouaknine, Joël;Worrell, James
2021
Diagnosis in infinite-state probabilistic systems. Zbl 1392.68230
Bertrand, Nathalie;Haddad, Serge;Lefaucheux, Engel
2016
Probabilistic disclosure: maximisation vs. minimisation. Zbl 1491.68106
Bérard, Béatrice;Haddad, Serge;Lefaucheux, Engel
2018
On the Monniaux problem in abstract interpretation. Zbl 1539.68063
Fijalkow, Nathanaël;Lefaucheux, Engel;Ohlmann, Pierre;Ouaknine, Joël;Pouly, Amaury;Worrell, James
2019
The orbit problem for parametric linear dynamical systems. Zbl 07730630
Baier, Christel;Funke, Florian;Jantsch, Simon;Karimov, Toghrul;Lefaucheux, Engel;Luca, Florian;Ouaknine, Joël;Purser, David;Whiteland, Markus A.;Worrell, James
2021
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis. Zbl 1427.68202
Lefaucheux, Engel;Giua, Alessandro;Seatzu, Carla
2018
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications. Zbl 07896543
Baier, Christel;Funke, Florian;Jantsch, Simon;Karimov, Toghrul;Lefaucheux, Engel;Ouaknine, Joël;Purser, David;Whiteland, Markus A.;Worrell, James
2022
One-clock priced timed games with negative weights. Zbl 1547.68310
Brihaye, Thomas;Geeraerts, Gilles;Haddad, Axel;Lefaucheux, Engel;Monmege, Benjamin
2022
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications. Zbl 07896543
Baier, Christel;Funke, Florian;Jantsch, Simon;Karimov, Toghrul;Lefaucheux, Engel;Ouaknine, Joël;Purser, David;Whiteland, Markus A.;Worrell, James
2022
One-clock priced timed games with negative weights. Zbl 1547.68310
Brihaye, Thomas;Geeraerts, Gilles;Haddad, Axel;Lefaucheux, Engel;Monmege, Benjamin
2022
On positivity and minimality for second-order holonomic sequences. Zbl 07724240
Kenison, George;Klurman, Oleksiy;Lefaucheux, Engel;Luca, Florian;Moree, Pieter;Ouaknine, Joël;Whiteland, Markus A.;Worrell, James
2021
Porous invariants. Zbl 1493.68117
Lefaucheux, Engel;Ouaknine, Joël;Purser, David;Worrell, James
2021
On the complexity of the escape problem for linear dynamical systems over compact semialgebraic sets. Zbl 07724206
D’costa, Julian;Lefaucheux, Engel;Neumann, Eike;Ouaknine, Joël;Worrell, James
2021
The orbit problem for parametric linear dynamical systems. Zbl 07730630
Baier, Christel;Funke, Florian;Jantsch, Simon;Karimov, Toghrul;Lefaucheux, Engel;Luca, Florian;Ouaknine, Joël;Purser, David;Whiteland, Markus A.;Worrell, James
2021
A tale of two diagnoses in probabilistic systems. Zbl 1435.68212
Bertrand, Nathalie;Haddad, Serge;Lefaucheux, Engel
2019
On the Monniaux problem in abstract interpretation. Zbl 1539.68063
Fijalkow, Nathanaël;Lefaucheux, Engel;Ohlmann, Pierre;Ouaknine, Joël;Pouly, Amaury;Worrell, James
2019
Diagnosability of repairable faults. Zbl 1398.93214
Fabre, Eric;Hélouët, Loïc;Lefaucheux, Engel;Marchand, Hervé
2018
Probabilistic disclosure: maximisation vs. minimisation. Zbl 1491.68106
Bérard, Béatrice;Haddad, Serge;Lefaucheux, Engel
2018
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis. Zbl 1427.68202
Lefaucheux, Engel;Giua, Alessandro;Seatzu, Carla
2018
Accurate approximate diagnosability of stochastic systems. Zbl 1443.68082
Bertrand, Nathalie;Haddad, Serge;Lefaucheux, Engel
2016
Diagnosis in infinite-state probabilistic systems. Zbl 1392.68230
Bertrand, Nathalie;Haddad, Serge;Lefaucheux, Engel
2016
Simple priced timed games are not that simple. Zbl 1366.68137
Brihaye, Thomas;Geeraerts, Gilles;Haddad, Axel;Lefaucheux, Engel;Monmege, Benjamin
2015
Foundation of diagnosis and predictability in probabilistic systems. Zbl 1360.68627
Bertrand, Nathalie;Haddad, Serge;Lefaucheux, Engel
2014
alltop 5

Cited by 71 Authors

8 Lefaucheux, Engel
7 Monmege, Benjamin
5 Reynier, Pierre-Alain
5 Worrell, James Benjamin
4 Ouaknine, Joel O.
4 Purser, David
3 Busatto-Gaston, Damien
3 Hadjicostis, Christoforos N.
3 Kiefer, Stefan
2 Bertrand, Nathalie
2 Brihaye, Thomas
2 Dong, Ruiwen
2 Geeraerts, Gilles
2 Grigore, Radu
2 Haddad, Axel
2 Haddad, Serge
2 Lefebvre, Dimitri
2 Nosan, Klara
2 Parreaux, Julie
2 Shirmohammadi, Mahsa
2 Yin, Xiang
1 Albarghouthi, Aws
1 Basilio, João Carlos
1 Bittner, Benjamin
1 Boussif, Abderraouf
1 Bozzano, Marco
1 Chen, Wen
1 Cimatti, Alessandro
1 Dediu, Adrian Horia
1 Desel, Jörg
1 Fabre, Eric
1 Fearnley, John
1 Finthammer, Marc
1 Gario, Marco
1 Ghazel, Mohamed
1 Giua, Alessandro
1 Hélouët, Loïc
1 Ibsen-Jensen, Rasmus
1 Jungeblut, Paul
1 Junges, Sebastian
1 Kenison, George
1 Keroglou, Christoforos
1 Kleist, Linda
1 Leino, Rustan
1 Lin, Feng
1 Luca, Florian
1 Marchand, Hervé
1 Martín-Vide, Carlos
1 Masopust, Tomáš
1 Melczer, Stephen
1 Mezzarobba, Marc
1 Miltzow, Tillmann
1 Nieuwveld, Joris
1 Pouly, Amaury
1 Savani, Rahul
1 Schaefer, Marcus
1 Seshia, Sanjit Arunkumar
1 Sharifi, Mohammadamin
1 Silva, Alexandra
1 Štefankovič, Daniel
1 Su, Rong
1 Thorsley, David
1 Tonetta, Stefano
1 Torfah, Hazem
1 Truthe, Bianca
1 Urban, Caterina
1 Vozarova, Viktoria
1 Wang, Fei
1 Wang, Leyi
1 Wang, Weilin
1 Zhang, Kuize

Citations by Year

© 2025FIZ Karlsruhe GmbHPrivacy PolicyLegal NoticesTerms & Conditions
  • Mastodon logo
 (opens in new tab)
[8]ページ先頭
©2009-2025 Movatter.jp