Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Torgny Andersson
Weiting Qiao
Robert J. Zomer
Scott A. Starks
Elly M Tanaka
Hikaru Fujisaki
Michael Terry
Zhihao Li
Radu Timofte
Frederick C Furtek
Home
/
Author
/
MAGDALENA WIDL
Author Info
Open Visualization
Name
Affiliation
Papers
MAGDALENA WIDL
Knowledge-based Systems Group,Vienna University of Technology,Vienna,Austria
12
Collaborators
Citations
PageRank
17
60
5.88
Referers
Referees
References
110
211
153
Search Limit
100
211
Publications (12 rows)
Collaborators (17 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Intra- and interdiagram consistency checking of behavioral multiview models
2
0.35
2015
Efficient Extraction Of Qbf (Counter) Models From Long-Distance Resolution Proofs
8
0.48
2015
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams.
3
0.41
2014
The break scheduling problem: complexity results and practical algorithms.
1
0.36
2014
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving.
9
0.49
2013
Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams.
0
0.34
2013
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.
3
0.42
2013
Guided Merging of Sequence Diagrams.
11
1.21
2012
Towards scenario-based testing of UML diagrams
9
0.55
2012
Test case generation by grammar-based fuzzing for model-driven engineering
2
0.37
2012
Towards semantics-aware merge support in optimistic model versioning
7
0.46
2011
An improved memetic algorithm for break scheduling
5
0.46
2010
1