|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7341 occurrences of 3423 keywords
|
|
|
Results
Found 22125 publication records. Showing 22118 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Martin Fowler, Don Box, Anders Hejlsberg, Alan Knight, Rob J. High, John Crupi |
The great J2EE vs. microsoft.NET shootout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 143-144, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
J2EE, NET |
17 | 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 |
17 | Russell E. McMahon |
How can you teach what you don't know?: a case study of learning and teaching microsoft .NET framework and C#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 5th Conference on Information Technology Education, SIGITE 2004, 2004, Salt Lake City, UT, USA, October 28-30, 2004, pp. 269, 2004, ACM, 1-58113-936-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Perry levels, teaching challenges, information technology education, C#, NET |
17 | Anna Goldenberg, Andrew W. Moore 0001 |
Tractable learning of large Bayes net structures from sparse data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-first International Conference (ICML 2004), Banff, Alberta, Canada, July 4-8, 2004, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Bayes Net structure learning, Bayesian networks/graphical models, statistical learning |
17 | Lei He 0001, Kevin M. Lepak |
Simultaneous shield insertion and net ordering for capacitive and inductive coupling minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2000 International Symposium on Physical Design, ISPD 2000, San Diego, CA, USA, April 9-12, 2000, pp. 55-60, 2000, ACM, 1-58113-191-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
VLSI design automation, net ordering, noise minimization, shielding |
17 | Chrysanthos Dellarocas, Mark Klein, Juan A. Rodríguez-Aguilar |
An exception-handling architecture for open electronic marketplaces of contract net software agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings of the 2nd ACM Conference on Electronic Commerce (EC-00), Minneapolis, MN, USA, October 17-20, 2000, pp. 225-232, 2000, ACM, 1-58113-272-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
failure management, software agents, exception handling, electronic markets, electronic institutions, contract net |
17 | Jin-Cheon Na, Richard Furuta |
Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2000, Proceedings of the 11th ACM Conference on Hypertext and Hypermedia, May 30 - June 3, 2000, San Antonio, TX, USA, pp. 222-223, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
context-aware hypertext system, fuzzy logic, high-level Petri net |
17 | Konstantin Knorr |
Dynamic Access Control through Petri Net Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 16th Annual Computer Security Applications Conference (ACSAC 2000), 11-15 December 2000, New Orleans, Louisiana, USA, pp. 159-167, 2000, IEEE Computer Society, 0-7695-0859-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Petri net workflows, access control matrix, privileges, data misuse, Petri nets, information systems, information systems, authorisation, workflow management software, protection mechanism, dynamic access control |
17 | Shinji Kusumoto, Osamu Mizuno, Tohru Kikuno, Yuji Hirayama, Yasunari Takagi, Keishi Sakamoto |
A New Software Project Simulator Based on Generalized Stochastic Petri-net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 293-302, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
simulation, Petri-net, project management, software process |
17 | Corey Kosak, David A. Eckhardt, Todd W. Mummert, Peter Steenkiste, Allan Fisher |
Buffer management and flow control in the Credit Net ATM host interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 370-378, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Credit Net ATM host interface, negotiated quality-of-service guarantees, application-specific data management, network endpoints, PCI bus host adapter architecture, OC-12 ATM, OC-3 ATM, ATM endpoint hosts, asynchronous transfer mode, computer networks, bandwidth, storage management, ATM networking, buffer management, flow control, buffer storage, telecommunication congestion control, system buses |
17 | Gianfranco Ciardo, Reinhard German, Christoph Lindemann |
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(7), pp. 506-515, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
distributed firing times, SPN classes, modeling power, deterministic Petri nets, semiMarkovian stochastic Petri nets, generalized timed Petri nets, state discretization, continuous-time case, PH-type distributions, simulation, Petri nets, Markov processes, stochastic processes, stochastic process, stochastic Petri net, stochastic Petri nets, timed Petri nets, generalized stochastic Petri nets, embedded Markov chain |
17 | Ing-Ray Chen, Rajakumar Betapudi |
A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1994 ACM Symposium on Applied Computing, SAC'94, Phoenix, AZ, USA, March 6-8, 1994, pp. 539-544, 1994, ACM, 0-89791-647-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
performance analysis, deadlocks, database systems, stochastic Petri net, two-phase locking |
17 | Leslie S. Smith |
A Framework for Neural Net Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(7), pp. 601-612, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
neural net specification, interacting processing elements, formal specification, framework, connections, neural nets, transfer functions, mathematical framework |
17 | Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama |
A Petri Net Model for Reasoning in the Presence of Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(3), pp. 281-292, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
large expert systems, Petri nets, query processing, logic programs, logic programming, logic programming, expert systems, query languages, queries, reasoning, inference mechanisms, inconsistency, classical logic, Petri net model |
17 | Antonia Sinachopoulos |
Partial Order Logics for Elementary Net Systems: State- and Event-approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 442-455, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Partial Order Logics, Next Operator, Case Graphs, Action Graphs, Specific Axiomatics, State Approach, Action Approach, Petri Nets, Specification, Elementary Net Systems |
17 | Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham |
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 301-316, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation |
17 | Peter Bathelt, F. Hofmann |
A comparison of two Petri net types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 31(2), pp. 141-148, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
Petri net classes, synchronization problem, simulation rules |
17 | Richard Laing |
Nerve-net simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(9), pp. 405, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
machine learning theory, nerve-net simulation, automata theory |
16 | Matthew Canton |
The presence table: a reactive surface for ambient connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 5th International Conference on Tangible and Embedded Interaction 2011, Funchal, Madeira, Portugal, January 22-26, 2011, pp. 401-402, 2011, ACM, 978-1-4503-0478-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Schulte, Gustavo Frigo, Russell Greiner, Wei Luo 0001, Hassan Khosravi |
A new hybrid method for Bayesian network learning With dependency constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDM ![In: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2009, part of the IEEE Symposium Series on Computational Intelligence 2009, Nashville, TN, USA, March 30, 2009 - April 2, 2009, pp. 53-60, 2009, IEEE, 978-1-4244-2765-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tsung-Hsien Lee, Ting-Chi Wang |
Robust layer assignment for via optimization in multi-layer global routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2009 International Symposium on Physical Design, ISPD 2009, San Diego, California, USA, March 29 - April 1, 2009, pp. 159-166, 2009, ACM, 978-1-60558-449-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
optimization, computer-aided design, global routing, via, layer assignment |
16 | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001 |
Merlin: specification inference for explicit information flow problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 75-86, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
security analysis tools, specification inference |
16 | Zhiwu Li 0001, Mi Zhao |
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(2), pp. 369-384, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Chris C. N. Chu, Yiu-Chung Wong |
FLUTE: Fast Lookup Table Based Rectilinear Steiner Minimal Tree Algorithm for VLSI Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(1), pp. 70-83, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon |
McMillan's Complete Prefix for Contextual Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency I, pp. 199-220, 2008, Springer, 978-3-540-89286-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
read arcs, complete finite prefix, verification, Petri nets, unfolding |
16 | Steven C. S. Ng, Allan K. Y. Wong |
RCR - A Novel Model for Effective Computer-Aided TCM (Traditional Chinese Medicine) Learning over the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 286-290, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sagi Snir, Tamir Tuller |
Novel Phylogenetic Network Inference by Combining Maximum Likelihood and Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings, pp. 354-368, 2008, Springer, 978-3-540-87360-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Wil M. P. van der Aalst |
Discovery, Verification and Conformance of Workflows with Cancellation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 18-37, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Reset Nets, Verification, Petri Nets, Soundness, Process Mining |
16 | Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia |
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. ![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. 144-163, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems |
16 | Hugo Costelha, Pedro U. Lima |
Modelling, analysis and execution of robotic tasks using petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 1449-1454, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sukanya Mitra, Mandar Mitra, B. B. Chaudhuri 0001 |
Computation of QRS Vector of ECG Signal for Observation of It's Clinical Significance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence, Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings, pp. 439-446, 2007, Springer, 978-3-540-77045-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
QRS vector, NQD, software, ECG, baseline |
16 | Cristina Solares, Ana Maria Sanz |
Different Bayesian Network Models in the Classification of Remote Sensing Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2007, 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings, pp. 10-16, 2007, Springer, 978-3-540-77225-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Robert Lorenz 0001, Sebastian Mauser, Gabriel Juhás |
How to synthesize nets from languages: a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 637-647, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Line Harder Clemmensen, David Delgado-Gómez, Bjarne K. Ersbøll |
Individual Discriminative Face Recognition Models Based on Subsets of Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007, Proceedings, pp. 61-71, 2007, Springer, 978-3-540-73039-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Zhijun Ding, Junli Wang, Hong Song |
AI Planning for Web Service Automatic Composition Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia, pp. 519-524, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hua Xu, Yuan Wang, Peifa Jia |
Fuzzy Neural Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II, pp. 328-335, 2007, Springer, 978-3-540-72392-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Kiyomi Nakamura, Hironobu Takano |
Unregistered Face Discrimination by the Face Orientation and Size Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 1924-1928, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hironobu Takano, Takeshi Kawasaki, Hiroki Kobayashi, Kiyomi Nakamura |
Iris Discrimination Combined with the Shape and Orientation Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 2000-2004, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Feng He, Jiajin Le |
Hierarchical Petri-Nets Model for the Design of E-Learning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Technologies for E-Learning and Digital Entertainment, Second International Conference, Edutainment 2007, Hong Kong, China, June 11-13, 2007, Proceedings, pp. 283-292, 2007, Springer, 978-3-540-73010-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
hierarchical Petri-nets, Web services, learning object, conceptual framework |
16 | Matthew Williams 0001, Jon Williamson |
Combining Argumentation and Bayesian Nets for Breast Cancer Prognosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(1-2), pp. 155-178, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bayesian networks, logic, argumentation, bayes theorem |
16 | Azadeh Farzan, P. Madhusudan |
Causal Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 315-328, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Robert Lorenz 0001, Gabriel Juhás |
Towards Synthesis of Petri Nets from Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, pp. 302-321, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sami Evangelista, Jean-François Pradat-Peyre |
On the Computation of Stubborn Sets of Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, pp. 146-165, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | JiDong Ge, Hao Hu 0001, Qing Gu, Jian Lu 0001 |
Modeling Multi-View Software Process with Object Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 41, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software process, software process modeling, object Petri nets, PSEE |
16 | Noriyuki Ito, Hideaki Katagiri, Ryoichi Yamashita, Hiroshi Ikeda, Hiroyuki Sugiyama, Hiroaki Komatsu, Yoshiyasu Tanamura, Akihiro Yoshitake, Kazuhiro Nonomura, Kinya Ishizaka, Hiroaki Adachi, Yutaka Mori, Yutaka Isoda, Yaroku Sugiyama |
Diagonal routing in high performance microprocessor design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 624-629, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
diagonal routing, manhattan routing, microprocessor |
16 | Iwan Tabakow |
Fault Distinguishability of Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III, pp. 168-175, 2006, Springer, 3-540-34383-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Bernd Scholz-Reiter, Salima Delhoum |
Inventory Control in Logistic and Production Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research, Proceedings 2006, Selected Papers of the Annual International Conference of the German Operations ResearchSociety (GOR), Jointly Organized with the Austrian Society of Operations Research (ÖGOR) and the Swiss Society of Operations Research (SVOR), Karlsruhe, Germany, September 6-8, 2006, pp. 333-337, 2006, 978-3-540-69994-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Mu Su, Chi-Hung Chi |
Architecture and Performance of Application Networking in Pervasive Content Delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 21st International Conference on Data Engineering, ICDE 2005, 5-8 April 2005, Tokyo, Japan, pp. 656-667, 2005, IEEE Computer Society, 0-7695-2285-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Marisa Llorens, Javier Oliver 0001 |
MCReNet: a tool for Marked-Controlled Reconfigurable Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pp. 255-256, 2005, IEEE Computer Society, 0-7695-2427-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl |
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software and Systems Modeling ![In: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, pp. 64-83, 2005, Springer, 3-540-24936-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Hélio Lopes dos Santos, Paulo Romero Martins Maciel, Nelson S. Rosa, Roberto Souto Maior de Barros |
Managing Petri Nets in MOF Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II, pp. 1381-1397, 2005, Springer, 3-540-29738-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Iwan Tabakow |
Fault Diagnosis of Discrete Event Systems Using Place Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 541-547, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu |
Leveraging Model Representations for System Level Design Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 8-10 June 2005, Montreal, Canada, pp. 33-39, 2005, IEEE Computer Society, 0-7695-2361-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng |
Consistency Checking of Concurrent Models for Scenario-Based Specifications. ![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. 298-312, 2005, Springer, 3-540-26612-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Stephen J. Grant, James K. Cavers |
System-wide capacity increase for narrowband cellular systems through multiuser detection and base station diversity arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 3(6), pp. 2072-2082, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Jason Helge Anderson, Farid N. Najm |
Power estimation techniques for FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 12(10), pp. 1015-1027, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Rachid Hamadi, Boualem Benatallah |
Recovery Nets: Towards Self-Adaptive Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems - WISE 2004, 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004, Proceedings, pp. 439-453, 2004, Springer, 3-540-23894-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Bo Huang, Bing-Yi Zhang, Fang Zhou, Ya-Min Sun |
Modeling multimodal integration based on colored Petri nets and feature structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 514-516, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Yaojun Han, Changjun Jiang, Xuemei Luo |
A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 7th International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN 2004), 10-12 May 2004, Hong Kong, SAR, China, pp. 67-72, 2004, IEEE Computer Society, 0-7695-2135-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Hua Xiang 0001, Xiaoping Tang, Martin D. F. Wong |
Min-cost flow-based algorithm for simultaneous pin assignment and routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(7), pp. 870-878, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Atsushi Ohta, Kohkichi Tsuji |
Insufficiently marked siphon of Petri nets - extension of token-free siphon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 244-247, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir Zolotov, David T. Blaauw, Supamas Sirichotiyakul, Murat R. Becer, Chanhee Oh, Rajendran Panda, Amir Grinshpon, Rafi Levy |
Noise propagation and failure criteria for VLSI designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, ICCAD 2002, San Jose, California, USA, November 10-14, 2002, pp. 587-594, 2002, ACM / IEEE Computer Society, 0-7803-7607-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Marco Capozza, Gian Domenico Iannetti, Jürgen J. Marx, Giorgio Cruccu, Neri Accornero |
An Artificial Neural Network for 3D Localization of Brainstem Functional Lesions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMDA ![In: Medical Data Analysis, Third International Symposium, ISMDA 2002, Rome, Italy, October 8-11, 2002, Proceedings, pp. 186-197, 2002, Springer, 3-540-00044-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Alexey Glebov, Sergey Gavrilov, David T. Blaauw, Vladimir Zolotov, Rajendran Panda, Chanhee Oh |
False-Noise Analysis Using Resolution Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 3rd International Symposium on Quality of Electronic Design, ISQED 2002, San Jose, CA, USA, March 18-21, 2002, pp. 437-442, 2002, IEEE Computer Society, 0-7695-1561-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu |
Decidability results in First-Order Hybrid Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 11(1-2), pp. 41-57, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
hybrid Petri nets, decidability properties, timed automata, hybrid automata |
16 | Irwin E. Schochetman, Robert L. Smith 0002 |
A Finite Algorithm for Solving Infinite Dimensional Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 101(1-4), pp. 119-142, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
continuous time optimization, infinite horizon optimization, optimal control, production control |
16 | Christophe Sibertin-Blanc |
CoOperative Objects: Principles, Use and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 216-246, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Bruni, Ugo Montanari |
Transactions and Zero-Safe Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unifying Petri Nets ![In: Unifying Petri Nets, Advances in Petri Nets, pp. 380-426, 2001, Springer, 3-540-43067-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Ulrich Fiedler, Polly Huang, Bernhard Plattner |
Towards Provisioning Diffserv Intra-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: Quality of Service - IWQoS 2001, 9th International Workshop Karlsruhe, Germany, June 6-8, 2001, Proceedings, pp. 27-43, 2001, Springer, 3-540-42217-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej S. Murawski, C.-H. Luke Ong |
Dominator Trees and Fast Verification of Proof Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 181-191, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
verification of proof nets, Linear Logic, dominator trees |
16 | Bill Halpin, C. Y. Roger Chen, Naresh Sehgal |
A sensitivity based placer for standard cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000, pp. 193-196, 2000, ACM, 1-58113-251-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Shantanu Dutt, Hasan Arslan, Halim Theny |
Partitioning using second-order information and stochastic-gainfunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(4), pp. 421-435, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Hee Beng Kuan Tan, Hua Koon Tan |
Software Reuse through a Novel Representation that Supports Factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 344-349, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Software architecture and systemic reuse, interface issues, component based engineering |
16 | Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz |
M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(10), pp. 813-857, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Lee W. Wagenhals, Insub Shin, Alexander H. Levis |
Creating Executable Models of Influence Nets with Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(2), pp. 168-181, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Influence nets, Bayesian nets, Course of action, Colored Petri nets, High-level Petri nets, Discrete event dynamical systems |
16 | Julia Padberg |
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, pp. 241-260, 1998, Springer, 3-540-66246-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt |
Dynamic Social Knowledge: A Cognitive Multi-Agent System Cooperation Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMAS ![In: Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998, pp. 415-416, 1998, IEEE Computer Society, 0-8186-8500-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Yachyang Sun, Ting-Chi Wang, Chak-Kuen Wong, C. L. Liu 0001 |
Routing for symmetric FPGAs and FPICs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(1), pp. 20-31, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Majid Sarrafzadeh, David A. Knol, Gustavo E. Téllez |
A delay budgeting algorithm ensuring maximum flexibility in placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(11), pp. 1332-1341, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | João Pedro Guerreiro Neto, José Félix Costa, Helder Coelho |
Lower Bounds of Computational Power of a Synaptic Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Biological and Artificial Computation: From Neuroscience to Technology, International Work-Conference on Artificial and Natural Neural Networks, IWANN '97, Lanzarote, Canary Islands, Spain, June 4-6, 1997, Proceedings, pp. 340-348, 1997, Springer, 3-540-63047-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Dentritic Trees, Neural Networks, Computational Theory, Spatial Representation, Neural Computation, Synapses |
16 | Charles Lakos |
On the Abstraction of Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 42-61, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Theory of High-Level Petri Nets, Abstraction, Duality |
16 | Matt Welsh, Anindya Basu, Thorsten von Eicken |
ATM and Fast Ethernet Network Interfaces for User-Level Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the 3rd IEEE Symposium on High-Performance Computer Architecture (HPCA '97), San Antonio, Texas, USA, February 1-5, 1997, pp. 332-342, 1997, IEEE Computer Society, 0-8186-7764-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | T. W. Her, Ting-Chi Wang, Martin D. F. Wong |
Performance-driven channel pin assignment algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(7), pp. 849-857, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Bonnie Berger, Martin L. Brady, Donna J. Brown, Frank Thomson Leighton |
Nearly Optimal Algorithms and Bounds for Multilayer Channel Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(2), pp. 500-542, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multilayer routing, VLSI layout, channel routing |
16 | Kenneth L. McMillan |
Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 180-195, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Tianxiong Xue, Ernest S. Kuh |
Post routing performance optimization via multi-link insertion and non-uniform wiresizing. ![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. 575-580, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
post routing performance optimization, link insertion and wiresizing, delay skew, routing area, delay |
16 | Wilhelm Ruckdeschel, Reiner Onken |
Modelling of Pilot Behaviour Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 436-453, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Cosimo Anglano, Luigi Portinale |
B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 39-58, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Nacéra Bennacer, Gerard Florin, Céline Fraize, Stéphane Natkin |
Probabilistic Validation of a Remote Procedure Call Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 59-78, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Christophe Sibertin-Blanc |
Cooperative Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 471-490, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Katsuhiro Matsuno, Chil-Woo Lee, Saburo Tsuji |
Recognition of Human Facial Expressions Without Feature Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume I, pp. 513-520, 1994, Springer, 3-540-57956-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Wil M. P. van der Aalst |
Interval Timed Coloured Petri Nets and their Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, pp. 453-472, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Carolyn Brown, Doug Gurr |
Temporal Logic and Categories of Petrie Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings, pp. 570-581, 1993, Springer, 3-540-56939-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Hartmann J. Genrich, Robert M. Shapiro |
Formal Verification of an Arbiter Cascade. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 205-223, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Greg Findlow |
Obtaining Deadlock-Preserving Skeletons for Coloured Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 173-192, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan |
A Trace Semantics for Petri Nets (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 595-604, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Michael Waidner, Birgit Pfitzmann |
The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '89, Workshop on the Theory and Application of of Cryptographic Techniques, Houthalen, Belgium, April 10-13, 1989, Proceedings, pp. 690, 1989, Springer, 3-540-53433-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Ichiang Lin, David Hung-Chang Du, Steve H.-C. Yen |
Gate Matrix Layout Synthesis with Two-Dimensional Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 26th ACM/IEEE Design Automation Conference, Las Vegas, Nevada, USA, June 25-29, 1989., pp. 37-42, 1989, ACM Press. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Eike Best |
Weighted Basic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 257-276, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan B. Rosenberg |
Auto-interactive schematics to layout translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 82-87, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
|
|