Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
174 | Vijay Chandru, Ramesh Hariharan, Narasimha M. Krishnakumar |
Short-Cuts on Star, Source and Planar Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings, pp. 174-185, 2004, Springer, 3-540-24058-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
147 | Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén |
SAT-Solving the Coverability Problem for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(1), pp. 25-43, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Petri nets, unfoldings, coverability, infinite state systems, partial-order methods |
71 | Victor Khomenko, Maciej Koutny |
Verification of bounded Petri nets using integer programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(2), pp. 143-176, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming |
61 | Michael Codish, Cohavit Taboch |
A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP/HOA ![In: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, Spetember 3-5, 1997, Proceedings, pp. 31-45, 1997, Springer, 3-540-63459-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
52 | Vitaly E. Kozura |
Unfoldings of Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 268-278, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
52 | Stephan Melzer, Stefan Römer |
Deadlock Checking Using Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 352-363, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
47 | Roland Meyer 0001, Victor Khomenko, Tim Strazny |
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 327-347, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus |
47 | Victor Khomenko, Maciej Koutny, Alexandre Yakovlev |
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 16-25, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
net unfoldings, partial order techniques, Petri nets, logic synthesis, asynchronous circuits, SAT, signal transition graphs, STG, self-timed circuits |
47 | Victor Khomenko, Maciej Koutny, Alexandre Yakovlev |
Detecting State Coding Conflicts in STG Unfoldings Using SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal, pp. 51-60, 2003, IEEE Computer Society, 0-7695-1887-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
complete state coding, CSC, net unfoldings, Petri nets, asynchronous circuits, SAT, signal transition graphs, STG, automated synthesis |
47 | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev |
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan, pp. 152-163, 1998, IEEE Computer Society, 0-8186-8350-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
CSC conflicts, Petri Nets, unfoldings, asynchronous design |
46 | Victor Khomenko, Maciej Koutny |
Branching Processes of High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 458-472, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, Verification, high-level Petri nets, unfolding |
46 | Parke Godfrey, Jarek Gryz |
View Disassembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings., pp. 417-434, 1999, Springer, 3-540-65452-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Eric Fabre, Albert Benveniste |
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(3), pp. 355-403, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Distributed systems, Diagnosis, Partial orders, Discrete event systems, Unfoldings, Fault management, Alarm correlation |
41 | Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard |
Distributed Monitoring of Concurrent and Asynchronous Systems*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(1), pp. 33-84, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
concurrent, fault diagnosis, distributed, asynchronous, unfoldings, fault management, event structures |
37 | Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev |
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pp. 57-68, 2006, IEEE Computer Society, 0-7695-2556-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Jörg Desel, Gabriel Juhás, Christian Neumair |
Finite Unfoldings of Unbounded Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings, pp. 157-176, 2004, Springer, 3-540-22236-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Victor Khomenko, Maciej Koutny, Walter Vogler |
Canonical prefixes of Petri net unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 40(2), pp. 95-118, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Stefan Haar |
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings, pp. 95-114, 2002, Springer, 3-540-43913-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Victor Khomenko, Maciej Koutny, Walter Vogler |
Canonical Prefixes of Petri Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 582-595, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
canonical prefix, Model checking, Petri nets, unfolding |
37 | Marko Mäkelä |
Optimising Enabling Tests and Unfoldings of Algebraic System Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, pp. 283-302, 2001, Springer, 3-540-42252-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
reachability analysis, unification, high-level Petri nets, unfolding |
37 | Burkhard Graves |
Computing Reachability Properties Hidden in Finite Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings, pp. 327-341, 1997, Springer, 3-540-63876-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Javier Esparza |
Model Checking Using Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 613-628, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Eric Fabre |
Trellis Processes : A Compact Representation for Runs of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(3), pp. 267-306, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
True concurrency semantics, Petri net, Diagnosis, Product, Factorization, Concurrent system, Unfolding, Category theory, Branching process, Trellis |
30 | Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler |
Merged processes: a new condensed representation of Petri net behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 43(5), pp. 307-330, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Ugo A. Buy, Mihai Lehene, Houshang Darabi |
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 211-218, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler |
Merged Processes - A New Condensed Representation of Petri Net Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 338-352, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Victor Khomenko, Maciej Koutny |
Towards an Efficient Algorithm for Unfolding Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 366-380, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Model checking, Petri nets, concurrency, unfolding |
30 | Victor Khomenko, Maciej Koutny |
LP Deadlock Checking Using Partial Order Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 410-425, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Aiguo Xie, Sangyun Kim 0001, Peter A. Beerel |
Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 19-22 April 1999, Barcelona, Spain, pp. 94-107, 1999, IEEE Computer Society, 0-7695-0031-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | P. Madhusudan, P. S. Thiagarajan |
Controllers for Discrete Event Systems via Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 18-33, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Ugo Montanari, Marco Pistore |
Checking Bisimilarity for Finitary pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 42-56, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Philippe Devienne, Patrick Lebègue |
Weighted Graphs: A Tool for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 100-111, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
26 | Victor Khomenko |
Behaviour-Preserving Transition Insertions in Unfolding Prefixes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 204-222, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Petri net unfoldings, transition insertions, encoding conflicts, Petri nets, transformations, asynchronous circuits, STGs |
22 | Xu Yang, Chen Ye 0002, Yijun Chen |
Depth-First Net Unfoldings and Equivalent Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(9), pp. 1775, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Satyan L. Devadoss, Matthew S. Harvey |
Unfoldings and nets of regular polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 111, pp. 101977, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Marc de Visme, Glynn Winskel |
Causal Unfoldings and Disjunctive Causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Takumi Shiota, Toshiki Saitoh |
Overlapping Edge Unfoldings for Archimedean Solids and (Anti)prisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WALCOM ![In: WALCOM: Algorithms and Computation - 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings, pp. 36-48, 2023, Springer, 978-3-031-27050-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Bruno Courcelle |
Unfoldings and Coverings of Weighted Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 189(1), pp. 1-47, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Bruno Courcelle, Yves Métivier |
Unfoldings and coverings of weighted graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.07205, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Elena Arseneva, Erik D. Demaine, Tonan Kamata, Ryuhei Uehara |
Discretization to Prove the Nonexistence of "Small" Common Unfoldings Between Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 34th Canadian Conference on Computational Geometry, CCCG 2022, Toronto Metropolitan University, Toronto, Ontario, Canada, August 25-27, 2022, pp. 9-23, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | Satyan L. Devadoss, Matthew S. Harvey |
Unfoldings and Nets of Regular Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.01359, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle |
Verification of Concurrent Programs Using Petri Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings, pp. 174-195, 2021, Springer, 978-3-030-67066-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Juraj Kolcák |
Dépliages et interprétation abstraite pour réseaux de régulation biologiques paramétrés. (Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
22 | Ian Lizarraga, Robert Marangell, Martin Wechselberger |
Slow Unfoldings of Contact Singularities in Singularly Perturbed Systems Beyond the Standard Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 30(6), pp. 3161-3198, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Loïg Jezequel, Agnes Madalinski, Stefan Schwoon |
Distributed computation of vector clocks in Petri net unfoldings for test selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 30(3), pp. 441-464, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Martin L. Demaine, Robert A. Hearn, Junnosuke Hoshido, Jason S. Ku, Ryuhei Uehara |
Rectangular Unfoldings of Polycubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 28, pp. 841-845, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Marc de Visme, Glynn Winskel |
Causal Unfoldings and Disjunctive Causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.06267, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | G. Michele Pinna, Eric Fabre |
Spreading nets: A uniform approach to unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 112, pp. 100526, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Nicholas Barvinok, Mohammad Ghomi |
Pseudo-Edge Unfoldings of Convex Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 64(3), pp. 671-689, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Xinzhu Zhao, Bo Dong, Bo Yu 0003 |
Unfoldings and the rank-one approximation of the tensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 375, pp. 112794, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Jin Akiyama, Kiyoko Matsunaga |
Unfoldings of an envelope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 80, pp. 3-16, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Martin L. Demaine, Robert A. Hearn, Jason S. Ku, Ryuhei Uehara |
Rectangular Unfoldings of Polycubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 31st Canadian Conference on Computational Geometry, CCCG 2019, August 8-10, 2019, University of Alberta, Edmonton, Alberta, Canada, pp. 159-163, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Marc de Visme, Glynn Winskel |
Causal Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 9:1-9:18, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Kari Kähkönen, Keijo Heljanko |
Testing Programs with Contextual Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 17(1), pp. 23:1-23:25, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Étienne Payet |
Guided Unfoldings for Finding Loops in Standard Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.05065, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Alberto Lutz-Ley, Ernesto López-Mellado |
Stability Analysis of Discrete Event Systems Modeled by Petri Nets Using Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 15(4), pp. 1964-1971, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa |
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 15-34, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Yao Cheng 0001, Sher Ali Cheema, Martin Haardt, Amir Weiss, Arie Yeredor |
First-Order Perturbation Analysis of Secsi With Generalized Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2018, Calgary, AB, Canada, April 15-20, 2018, pp. 3196-3200, 2018, IEEE, 978-1-5386-4658-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Luis Garcia, Andres Gutierrez, Isaac Ruiz, Andrew Winslow |
Vertex Unfoldings of Orthogonal Polyhedra: Positive, Negative, and Inconclusive Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 30th Canadian Conference on Computational Geometry, CCCG 2018, August 8-10, 2018, University of Manitoba, Winnipeg, Manitoba, Canada, pp. 217-222, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Lanlan Dong, Guanjun Liu, Dongming Xiang |
Verifying CTL with Unfoldings of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (4) ![In: Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV, pp. 47-61, 2018, Springer, 978-3-030-05062-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Étienne Payet |
Guided Unfoldings for Finding Loops in Standard Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers, pp. 22-37, 2018, Springer, 978-3-030-13837-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Ismaila Abdullahi |
Automated verification of object Petri nets based on transformation, unfoldings and SAT solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
22 | Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza |
Minimizing Test Suites with Unfoldings of Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(2), pp. 45:1-45:24, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening |
Abstract Interpretation with Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.00595, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening |
Abstract Interpretation with Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, pp. 197-216, 2017, Springer, 978-3-319-63389-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Tim Shaw, Simon J. Bowen, John Bowers 0001 |
Unfoldings: Multiple Explorations of Sound and Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 16th International Conference on New Interfaces for Musical Expression, NIME 2016, Griffith University, Brisbane, Australia, July 11-15, 2016., pp. 152-157, 2016, nime.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Amit Vutha, Martin Golubitsky |
Normal Forms and Unfoldings of Singular Strategy Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dyn. Games Appl. ![In: Dyn. Games Appl. 5(2), pp. 180-213, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Kie Van Ivanky Saputra |
Dynamical Systems with a Codimension-One Invariant Manifold: The Unfoldings and Its Bifurcations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 25(6), pp. 1550091:1-1550091:29, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Giovanna Diaz, Joseph O'Rourke |
Hypercube Unfoldings that Tile R^3 and R^2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.02086, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | Joseph O'Rourke |
Spiral Unfoldings of Convex Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1509.00321, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001 |
Processes and unfoldings: concurrent computations in adhesive categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 24(4), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Kari Kähkönen, Keijo Heljanko |
Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 142-151, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Houssam-Eddine Gougam, Audine Subias, Yannick Pencolé |
Discriminability Analysis of Supervision Patterns by Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., pp. 459-464, 2014, International Federation of Automatic Control, 978-3-902823-61-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon |
Characterization of Reachable Attractors Using Petri Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings, pp. 129-142, 2014, Springer, 978-3-319-12981-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Michael Köhler-Bußmeier |
Defining Multi-Party Compromises using Unfoldings of Workflow Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 128(1-2), pp. 97-111, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Javier Esparza, Loïg Jezequel, Stefan Schwoon |
Computation of Summaries Using Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.2143, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | Thomas Chatain |
Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
22 | Stefan Haar, Eric Fabre |
Diagnosis with Petri Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 301-317, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Takashi Horiyama, Wataru Shoji |
The Number of Different Unfoldings of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation - 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings, pp. 623-633, 2013, Springer, 978-3-642-45029-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Jin-ichi Itoh, Chie Nara |
Transformability and Reversibility of Unfoldings of Doubly-Covered Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDCGG ![In: Discrete and Computational Geometry and Graphs - 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers, pp. 77-86, 2013, Springer, 978-3-319-13286-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | César Rodríguez, Stefan Schwoon |
An Improved Construction of Petri Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 47-52, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Petr Novosad, Milan Ceska 0001 |
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST (1) ![In: Computer Aided Systems Theory - EUROCAST 2013 - 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I, pp. 428-435, 2013, Springer, 978-3-642-53855-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Javier Esparza, Loïg Jezequel, Stefan Schwoon |
Computation of Summaries Using Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 225-236, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | César Rodríguez |
Verification based on unfoldings of Petri nets with read arcs. (Vérification à l'aide de dépliages de réseaux de Petri étendus avec des arcs de lecture). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
22 | John Guckenheimer, Philipp Meerkamp |
Unfoldings of Singular Hopf Bifurcation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Dyn. Syst. ![In: SIAM J. Appl. Dyn. Syst. 11(4), pp. 1325-1359, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Stefan Ragnarsson, Charles F. Van Loan |
Block Tensor Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 33(1), pp. 149-169, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Jin-ichi Itoh, Joseph O'Rourke, Costin Vîlcu |
Source Unfoldings of Convex Polyhedra via Certain Closed Curves ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.0963, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | Florian Roemer, Carola Schroeter, Martin Haardt |
A semi-algebraic framework for approximate CP decompositions via joint matrix diagonalization and generalized unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSCC ![In: Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers, ACSCC 2012, Pacific Grove, CA, USA, November 4-7, 2012, pp. 2023-2027, 2012, IEEE, 978-1-4673-5050-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Javier Esparza, Christian Kern |
Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012, pp. 154-163, 2012, IEEE Computer Society, 978-0-7695-4709-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Kari Kähkönen, Olli Saarikivi, Keijo Heljanko |
Using unfoldings in automated testing of multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, pp. 150-159, 2012, ACM, 978-1-4503-1204-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Haisheng Wang, Liviu Grigore, Ugo A. Buy, Mihai Lehene, Houshang Darabi |
Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 41(3), pp. 522-539, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Stefan Ragnarsson, Charles F. Van Loan |
Block Tensor Unfoldings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1101.2005, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
22 | Toshiki Endo, Yuki Suzuki |
Vertex unfoldings of tight polyhedra ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.0001, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
22 | Jin-ichi Itoh, Chie Nara |
Unfoldings of doubly covered polyhedra and applications to space-fillers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 63(1), pp. 47-64, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | G. Michele Pinna |
How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, pp. 109-128, 2011, Springer, 978-3-642-21833-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Victor Khomenko |
Logic Decomposition of Asynchronous Circuits Using STG Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 17th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2011, Cornell University, Ithaca, New York, USA, 27-29 April 2011, pp. 3-12, 2011, IEEE Computer Society, 978-0-7695-4383-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Stefan Schwoon, César Rodríguez |
Construction and SAT-Based Verification of Contextual Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Descriptional Complexity of Formal Systems - 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings, pp. 34-42, 2011, Springer, 978-3-642-22599-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Dirk Fahland, Wil M. P. van der Aalst |
Simplifying Mined Process Models: An Approach Based on Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings, pp. 362-378, 2011, Springer, 978-3-642-23058-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Takashi Horiyama, Wataru Shoji |
Edge Unfoldings of Platonic Solids Never Overlap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 23rd Annual Canadian Conference on Computational Geometry, Toronto, Ontario, Canada, August 10-12, 2011, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
22 | Petr Novosad, Milan Ceska 0001 |
Unfoldings of Bounded Hybrid Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST (1) ![In: Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I, pp. 543-550, 2011, Springer, 978-3-642-27548-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|