×

zbMATH — the first resource for mathematics

Wolf, Karsten

Compute Distance To:
Author ID: wolf.karsten Recent zbMATH articles by "Wolf, Karsten"
Published as: Schmidt, K.; Schmidt, Karsten; Wolf, Karsten
External Links: MGP · dblp · GND
Documents Indexed: 44 Publications since 1991, including 6 Books

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 75 times in 57 Documents Cited by Year
Operating guidelines for finite-state services. Zbl 1226.68063
Lohmann, Niels; Massuthe, Peter; Wolf, Karsten
9
2007
LoLa: A low level analyser. Zbl 0986.68684
Schmidt, Karsten
8
2000
Does my service have partners? Zbl 1235.68321
Wolf, Karsten
5
2009
Equivalent transmission conditions for the time-harmonic Maxwell equations in 3D for a medium with a highly conductive thin sheet. Zbl 1373.35299
Péron, V.; Schmidt, K.; Duruflé, M.
4
2016
New algorithms for deciding the siphon-trap property. Zbl 1285.68108
Oanea, Olivia; Wimmel, Harro; Wolf, Karsten
4
2010
Families of Auslander-Reiten components for simply connected differential graded algebras. Zbl 1244.16010
Schmidt, Karsten
4
2010
Can I find a partner? Undecidability of partner existence for open nets. Zbl 1191.68442
Massuthe, Peter; Serebrenik, Alexander; Sidorova, Natalia; Wolf, Karsten
4
2008
Auslander-Reiten theory for simply connected differential graded algebras. Zbl 1303.16015
Schmidt, Karsten
4
2007
Modeling and model checking web services. Zbl 1272.68046
Schlingloff, Holger; Martens, Axel; Schmidt, Karsten
4
2005
Integrating low level symmetries into reachability analysis. Zbl 0960.68122
Schmidt, Karsten
4
2000
How to calculate symmetries of Petri nets. Zbl 0948.68123
Schmidt, Karsten
4
2000
Question-guided stubborn set methods for state properties. Zbl 1109.68075
Kristensen, L. M.; Schmidt, K.; Valmari, A.
3
2006
Elementary net synthesis remains NP-complete even for extremely simple inputs. Zbl 1427.68211
Tredup, Ronny; Rosenke, Christian; Wolf, Karsten
2
2018
Compact representations and efficient algorithms for operating guidelines. Zbl 1242.68182
Lohmann, Niels; Wolf, Karsten
2
2011
Applying CEGAR to the Petri net state equation. Zbl 1316.68079
Wimmel, Harro; Wolf, Karsten
2
2011
Separability in conflict-free Petri nets. Zbl 1185.68438
Best, Eike; Esparza, Javier; Wimmel, Harro; Wolf, Karsten
2
2007
Transactions on Petri Nets and Other Models of Concurrency VII. Zbl 1263.68020
Jensen, Kurt (ed.); van der Aalst, Wil M. P. (ed.); Balbo, Gianfranco (ed.); Koutny, Maciej (ed.); Wolf, Karsten (ed.)
1
2013
Applying CEGAR to the Petri net state equation. Zbl 1248.68360
Wimmel; Harro; Wolf, Karsten
1
2012
Stubborn sets for simple linear time properties. Zbl 1357.68114
Lehmann, Andreas; Lohmann, Niels; Wolf, Karsten
1
2012
Automated generation of a progress measure for the sweep-line method. Zbl 1126.68511
Schmidt, Karsten
1
2004
Distributed verification with LoLA. Zbl 1111.68546
Schmidt, Karsten
1
2003
Using Petri net invariants in state space construction. Zbl 1031.68084
Schmidt, Karsten
1
2003
Narrowing Petri net state spaces using the state equation. Zbl 1004.68117
Schmidt, Karsten
1
2001
Stubborn sets for model checking the EF/AG fragment of CTL. Zbl 0953.03037
Schmidt, Karsten
1
2000
Poincaré maps of Duffing-type oscillators and their reduction to circle maps. II: Methods and numerical results. Zbl 0904.34030
Schmidt, K.; Eilenberger, G.
1
1998
Poincaré maps of Duffing-type oscillators and their reduction to circle maps. I: Analytic results. Zbl 0771.34028
Eilenberger, G.; Schmidt, K.
1
1992
Elementary net synthesis remains NP-complete even for extremely simple inputs. Zbl 1427.68211
Tredup, Ronny; Rosenke, Christian; Wolf, Karsten
2
2018
Equivalent transmission conditions for the time-harmonic Maxwell equations in 3D for a medium with a highly conductive thin sheet. Zbl 1373.35299
Péron, V.; Schmidt, K.; Duruflé, M.
4
2016
Transactions on Petri Nets and Other Models of Concurrency VII. Zbl 1263.68020
Jensen, Kurt (ed.); van der Aalst, Wil M. P. (ed.); Balbo, Gianfranco (ed.); Koutny, Maciej (ed.); Wolf, Karsten (ed.)
1
2013
Applying CEGAR to the Petri net state equation. Zbl 1248.68360
Wimmel; Harro; Wolf, Karsten
1
2012
Stubborn sets for simple linear time properties. Zbl 1357.68114
Lehmann, Andreas; Lohmann, Niels; Wolf, Karsten
1
2012
Compact representations and efficient algorithms for operating guidelines. Zbl 1242.68182
Lohmann, Niels; Wolf, Karsten
2
2011
Applying CEGAR to the Petri net state equation. Zbl 1316.68079
Wimmel, Harro; Wolf, Karsten
2
2011
New algorithms for deciding the siphon-trap property. Zbl 1285.68108
Oanea, Olivia; Wimmel, Harro; Wolf, Karsten
4
2010
Families of Auslander-Reiten components for simply connected differential graded algebras. Zbl 1244.16010
Schmidt, Karsten
4
2010
Does my service have partners? Zbl 1235.68321
Wolf, Karsten
5
2009
Can I find a partner? Undecidability of partner existence for open nets. Zbl 1191.68442
Massuthe, Peter; Serebrenik, Alexander; Sidorova, Natalia; Wolf, Karsten
4
2008
Operating guidelines for finite-state services. Zbl 1226.68063
Lohmann, Niels; Massuthe, Peter; Wolf, Karsten
9
2007
Auslander-Reiten theory for simply connected differential graded algebras. Zbl 1303.16015
Schmidt, Karsten
4
2007
Separability in conflict-free Petri nets. Zbl 1185.68438
Best, Eike; Esparza, Javier; Wimmel, Harro; Wolf, Karsten
2
2007
Question-guided stubborn set methods for state properties. Zbl 1109.68075
Kristensen, L. M.; Schmidt, K.; Valmari, A.
3
2006
Modeling and model checking web services. Zbl 1272.68046
Schlingloff, Holger; Martens, Axel; Schmidt, Karsten
4
2005
Automated generation of a progress measure for the sweep-line method. Zbl 1126.68511
Schmidt, Karsten
1
2004
Distributed verification with LoLA. Zbl 1111.68546
Schmidt, Karsten
1
2003
Using Petri net invariants in state space construction. Zbl 1031.68084
Schmidt, Karsten
1
2003
Narrowing Petri net state spaces using the state equation. Zbl 1004.68117
Schmidt, Karsten
1
2001
LoLa: A low level analyser. Zbl 0986.68684
Schmidt, Karsten
8
2000
Integrating low level symmetries into reachability analysis. Zbl 0960.68122
Schmidt, Karsten
4
2000
How to calculate symmetries of Petri nets. Zbl 0948.68123
Schmidt, Karsten
4
2000
Stubborn sets for model checking the EF/AG fragment of CTL. Zbl 0953.03037
Schmidt, Karsten
1
2000
Poincaré maps of Duffing-type oscillators and their reduction to circle maps. II: Methods and numerical results. Zbl 0904.34030
Schmidt, K.; Eilenberger, G.
1
1998
Poincaré maps of Duffing-type oscillators and their reduction to circle maps. I: Analytic results. Zbl 0771.34028
Eilenberger, G.; Schmidt, K.
1
1992
all top 5

Cited by 130 Authors

5 Stahl, Christian
5 Wolf, Karsten
3 Mao, XueFeng
3 Massuthe, Peter
3 Vogler, Walter
3 Wimmel, Harro
2 Best, Eike
2 Bønneland, Frederik Meyer
2 Gieseking, Manuel
2 Jensen, Peter Gjøl
2 Kristensen, Lars Michael
2 Olderog, Ernst-Rüdiger
2 Péron, Victor
2 Sidorova, Natalia
2 Silva, Manuel Americo G.
2 Srba, Jiří
2 Tredup, Ronny
1 Alpernas, Kalev
1 Arens, Tilo
1 Athanasiou, Konstantinos
1 Baldan, Paolo
1 Bergenthum, Robin
1 Betz, Tobias
1 Boutarene, Khaled El-Ghaouti
1 Bretschneider, Jan
1 Cabac, Lawrence
1 Chen, Jiahong
1 Clavel, Manuel
1 Corradini, Andrea
1 Dang, Zhe
1 Darondeau, Philippe
1 Dellnitz, Michael
1 Desel, Jörg
1 Dong, JinSong
1 Du, Yuyue
1 Durán, Francisco
1 Duvigneau, Michael
1 Dyhr, Jakob
1 Eker, Steven
1 Erdozain, Aitor
1 Escobar, Santiago
1 Fages, François
1 Fantechi, Alessandro
1 Finkbeiner, Bernd
1 Fraca, Estíbaliz
1 Frankild, Anders J.
1 Gao, Xudong
1 Glybovets’, Mykola M.
1 Goffi, Fatima Z.
1 Héam, Pierre-Cyrille
1 Hecking-Harbusch, Jesko
1 Hessel-von Molo, Mirko
1 Hlomozda, D. K.
1 Hu, Qiang
1 Hujsa, Thomas
1 Jensen, Kurt
1 Jin, Haibo
1 Johannsen, Mads
1 Jørgensen, Peter Bjørn
1 Juhás, Gabriel
1 Júlvez, Jorge
1 Kleijn, Jetty H. C. M.
1 König, Barbara
1 Kouchnarenko, Olga
1 Koutny, Maciej
1 Kuribayashi, Katsuhiko
1 Lapadula, Alessandro
1 Larsen, Kim Guldstrand
1 Lemrabet, Keddour
1 Lincoln, Patrick D.
1 Liu, Chengfei
1 Liu, Peizun
1 Liu, Yang
1 Lorenz, Robert G.
1 Mailund, Thomas
1 Maksymets, O. M.
1 Mao, Xiaofang
1 Martí-Oliet, Narciso
1 Martinez, Thierry
1 Mauser, Sebastian
1 Meyer, Alexandre
1 Michaux, Jonathan
1 Mooij, Arjan J.
1 Muller, Richard P.
1 Muller, Richard
1 Muñiz, Marco
1 Nabli, Faten
1 Najm, Elie
1 Panda, Aurojit
1 Pardo (Ordentlich), Dorit
1 Pietkiewicz-Koutny, Marta
1 Pugliese, Rosario
1 Rabinovich, Alexander
1 Ranise, Silvio
1 Reisig, Wolfgang
1 Rosenke, Christian
1 Sagiv, Mooly
1 Schmidt, Karsten
1 Serebrenik, Alexander
1 Shenker, Scott J.
...and 30 more Authors

Citations by Year