|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Carmen Mac Williams, Richard Wages |
Video conducting the olympic games 2008: the iTV field trial of the EU-IST project LIVE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMEA ![In: Proceedings of the Third International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2008, 10-12 September 2008, Athens, Greece, pp. 436-440, 2008, ACM, 978-1-60558-248-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
intelligent content, intelligent television services, net-composition, non-linear storytelling, video conductor, broadcasting, media, digital television, ITV, live performance |
16 | Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
Synthesizing Petri nets from state-based models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 164-171, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Petri nets, Synthesis, Finite State Machines, Asynchronous Circuits, Transition Systems |
14 | Elvio G. Amparore, Susanna Donatelli |
The Ins and Outs of Petri Net Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings, pp. 278-299, 2022, Springer, 978-3-031-06652-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Liang Qi, Wenjing Luan, Xiaoyu Sean Lu, Xiwang Guo |
Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 34644-34653, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Charles Lesire, Franck Pommereau |
ASPiC: An Acting System Based on Skill Petri Net Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018, pp. 6952-6958, 2018, IEEE, 978-1-5386-8094-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
Petri Net Semantics of the Finite pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, pp. 309-325, 2004, Springer, 3-540-23252-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Christoph Eichner, Hans Fleischhack, Roland Meyer 0001, Ulrik Schrimpf, Christian Stehno |
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, pp. 133-148, 2005, Springer, 3-540-26612-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|