|
|
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 |
19 | Andreas Papagapiou, Paraskevas Evripidou, George Samaras |
Net-Console: A Web-Based Development Environment for MPI Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, pp. 249-256, 1999, Springer, 3-540-66549-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Chia-Chun Tsai, Chwan-Ming Wang, Sao-Jie Chen |
NEWS: a net-even-wiring system for the routing on a multilayer PGA package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(2), pp. 182-189, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Peter Langner, Christoph Schneider, Joachim Wehler |
Petri Net Based Certification of Event-Driven Process Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 286-305, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Marco Gribaudo, Matteo Sereno |
On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 246-265, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Neophytos Neophytou, Paraskevas Evripidou |
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 181-189, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Thorsten von Eicken |
Integration of U-Net into Windows/NT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCRCW ![In: Parallel Computer Routing and Communication, Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings, pp. 185-188, 1997, Springer, 3-540-64571-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Harro Wimmel, Lutz Priese |
Algebraic Characterization of Petri Net Pomset Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings, pp. 406-420, 1997, Springer, 3-540-63141-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Mario Alberto López, Ravi Janardan, Sartaj K. Sahni |
Efficient net extraction for restricted orientation designs [VLSI layout]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(9), pp. 1151-1159, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Andrei Kovalyov |
An O(|S|×|T|)- Algorithm to Verify if a Net is Regular. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 366-379, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Antonio Camurri, Paolo Franchi, Francesca Gandolfo, Renato Zaccaria |
Petri net based process scheduling: A model of the control system of flexible manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 8(1), pp. 99-123, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
concurrent scheduling, timed Petri nets, CASE, High-level petri nets, flexible manufacturing systems |
19 | Peter Kemper |
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. ![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. 319-338, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Teruhiro Shimura, Jorge Lobo 0001, Tadao Murata |
A Petri Net Semantics for Logic Programs with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 292-299, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Michel Barbeau, Gregor von Bochmann |
The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, pp. 103-113, 1991, Springer, 3-540-55179-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Z. P. Tao, M. Goossens |
Pitfalls of Petri net transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, SPDP 1991, 2-5 December 1991, Dallas, Texas, USA, pp. 357-360, 1991, IEEE Computer Society, 0-8186-2310-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Fillia Makedon, Spyros Tragoudas |
Approximating the minimum net expansion: Near optimal solutions to circuit partitioning problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 16rd International Workshop, WG '90, Berlin, Germany, June 20-22, 1990, Proceedings, pp. 140-153, 1990, Springer, 3-540-53832-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Heikki Tuominen |
Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 97-104, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | M. E. Ulug |
A hybrid expert system combining AI techniques with a neural-net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (1) ![In: Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA - Volume 1, pp. 305-309, 1989, ACM, 0-89791-320-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Gurdeep S. Hura 0001, M. A. Costarellam C. G. Buell, M. M. Cvetanovic |
PNSOFT: a menu-driven software package for Petri-net modeling and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA, pp. 41-47, 1988, IEEE Computer Society, 0-8186-0874-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Lingtao Wang, Chuan-lin Wu |
I-NET mechanism for issuing multiple instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '88, Orlando, FL, USA, November 12-17, 1988, pp. 88-95, 1988, IEEE Computer Society, 0-8186-0882-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Steve Meyer |
A Data Structure for Circuit Net Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 25th ACM/IEEE Conference on Design Automation, DAC '88, Anaheim, CA, USA, June 12-15, 1988., pp. 613-616, 1988, ACM. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
CAE tool building, data structure implementation, software engineering |
19 | Nicholas Carriero, David Gelernter |
The S/Net's Linda Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 4(2), pp. 110-129, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
19 | C. V. Ramamoorthy, Yuh Yaw |
A petri net reduction algorithm for protocol analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, SIGCOMM 1986, Stowe, Vermont, United States, August 5-7, 1986, pp. 157-166, 1986, ACM, 0-89791-201-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Angelika Horndasch, Rudi Studer |
THM-NET: an approach to office systems modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 243-250, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Christine Choppy, Colette Johnen |
PETRIREVE: Proving Petri Net Properties with Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings, pp. 271-286, 1985, Springer, 3-540-15976-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
19 | S. S. Reddi |
A Modular Computer With Petri Net Array Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 79-85, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Modular computers, Petri nets, Reconfigurable computers, Parallel computer architecture |
18 | Chen-Kui Lee, Chun-Liang Lin, Bing-Min Shiu |
Autonomous Vehicle Parking Using Hybrid Artificial Intelligent Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 56(3), pp. 319-343, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Vehicle parking, Genetic algorithm, Optimization, Petri net, Fuzzy control |
18 | Gerhard Tutz 0001, Jan Ulbricht |
Penalized regression with correlation-based penalty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 19(3), pp. 239-253, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Correlation-based estimator, Penalization, Boosting, Variable selection, Lasso, Elastic net |
18 | Ali Gerhard Tafazzoli, Stephen D. Roberts, Robert W. Klein, Reid M. Ness, Robert S. Dittus |
Probabilistic cost-effectiveness comparison of screening strategies for colorectal cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 19(2), pp. 6:1-6:29, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cost-effectiveness analysis, acceptability curves, colorectal cancer screening strategies, net benefit analysis, probabilistic sensitivity analysis, medical decision-making |
18 | Min Gao 0001, Zhongfu Wu |
EPN-Based Web Service Composition Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 345-354, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Web Services, SOA, Petri Net, Web Service Composition |
18 | Xianwen Fang, Xiaoqin Fan, Zhixiang Yin |
Constraint Web Service Composition Based on Discrete Particle Swarm Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 281-288, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Discrete Particle Swarm Optimization, Associate Petri net, Web Service Composition, Global Constraint |
18 | Lan Xiao, Li Zheng 0002, Jian Xiao, Yi Huang |
A Graphical Query Language for Querying Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings, pp. 514-525, 2009, Springer, 978-3-642-01111-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Petri Net, Query Language, Business Process Modeling |
18 | Boris Bukh, Jirí Matousek 0001, Gabriel Nivasch |
Lower bounds for weak epsilon-nets and stair-convexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 25th ACM Symposium on Computational Geometry, Aarhus, Denmark, June 8-10, 2009, pp. 1-10, 2009, ACM, 978-1-60558-501-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
inverse ackermann function, selection lemma, stair-convexity, weak epsilon-net |
18 | Haiyang Sun, Jian Yang 0001, Xin Wang, Yanchun Zhang |
A Verification Mechanism for Secured Message Processing in Business Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint International Conferences, APWeb/WAIM 2009, Suzhou, China, April 2-4, 2009, Proceedings, pp. 480-491, 2009, Springer, 978-3-642-00671-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Role Authorization, Reliability Verification, Secured Message Processing, Hierarchical Colored Petri Net |
18 | Jinqiang Zhao, Zhenhua Duan |
Verification of Use Case with Petri Nets in Requirement Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II, pp. 29-42, 2009, Springer, 978-3-642-02456-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Petri net, Model Driven Development, use case, requirement analysis |
18 | Shangmin Luan, Guozhong Dai |
An algebraic approach to revising propositional rule-based knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(3), pp. 240-257, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
knowledge base revision, rule-based knowledge base, Petri net, consistency check |
18 | Kenneth L. Clarkson |
Geometry is everywhere, part XLVII: metrics, nets, dimensions, and measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 24th ACM Symposium on Computational Geometry, College Park, MD, USA, June 9-11, 2008, pp. 305, 2008, ACM, 978-1-60558-071-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
measure, metric, dimension, net |
18 | Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu |
Analyzing BPEL Compositionality Based on Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 373-376, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Verification, Petri Net, BPEL, Soundness, compositionality |
18 | Hai Dong, Farookh Khadeer Hussain, Elizabeth Chang 0001 |
Paradox in Applications of Semantic Similarity Models in Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT Revolutions ![In: IT Revolutions - First International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, Revised Selected Papers, pp. 60-68, 2008, Springer, 978-3-642-03977-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
semantic similarity models, information retrieval, semantic net |
18 | Astrid Rakow |
Slicing Petri Nets with an Application to Workflow Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings, pp. 436-447, 2008, Springer, 978-3-540-77565-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Net Reduction, Workflow nets, Verification, Slicing, CTL |
18 | Yaojun Han, Changjun Jiang, Xuemei Luo |
Modeling and Analysis for Grid Service Cooperative Scheduling Based on Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007, Proceedings, pp. 104-112, 2007, Springer, 978-3-540-74779-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dynamic timed Petri net, performance analysis, composition, grid service |
18 | Shijue Zheng, Zhenhua Zheng |
Design and Implementation of a Mobile Management System for Campus Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: Computer And Computing Technologies In Agriculture, Volume I, First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007, pp. 43-50, 2007, Springer, 978-0-387-77250-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mobile management system, campus server, WAP, Microsoft .NET |
18 | Katherine E. Stange |
The Tate Pairing Via Elliptic Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pairing ![In: Pairing-Based Cryptography - Pairing 2007, First International Conference, Tokyo, Japan, July 2-4, 2007, Proceedings, pp. 329-348, 2007, Springer, 978-3-540-73488-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
elliptic divisibility sequence, elliptic net, Miller’s algorithm, elliptic curve, Tate pairing, pairing-based cryptography |
18 | Slobodan Ribaric, Nikola Pavesic |
A Recognition-Inference Procedure for a Knowledge Representation Scheme Based on Fuzzy Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 38-48, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
inference procedure, knowledge representation, recognition, Fuzzy Petri Net |
18 | Jianyin Zhang, Sen Su, Fangchun Yang |
Detecting Race Conditions in Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 184, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Web Services, Petri net, feature interaction, race condition |
18 | Lars A. Schreiner, Markus Olbrich, Erich Barke, Volker Meyer zu Bexten |
Routing of analog busses with parasitic symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2005 International Symposium on Physical Design, ISPD 2005, San Francisco, California, USA, April 3-6, 2005, pp. 14-19, 2005, ACM, 1-59593-021-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
analog routing, net bundles, paired nets, virtual terminals, routing, EDA, RF, bus routing, IC-layout |
18 | Thomas Moncion, Guillaume Hutzler, Patrick Amar |
Validation of an agent based system using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1365-1366, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
petri net, agent-based simulator |
18 | Mike Roberts |
Enterprise Continuous Integration Using Binary Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings, pp. 194-201, 2004, Springer, 3-540-22137-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
tools and techniques, scalability, .NET, Continuous integration |
18 | Philippe Fortemps, Salvatore Greco, Roman Slowinski |
Multicriteria Choice and Ranking Using Decision Rules Induced from Rough Approximation of Graded Preference Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 510-522, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multicriteria choice and ranking, Dominance-based rough sets, Graded preference relations, Fuzzy preference graph, Fuzzy net flow score, Leximax, Decision rules |
18 | Spyros A. Reveliotis |
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 241-255, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
sequential resource allocation systems, Petri net structural analysis, siphons, deadlock resolution |
18 | Ivan Damgård, Mads Jurik |
A Length-Flexible Threshold Cryptosystem with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings, pp. 350-364, 2003, Springer, 3-540-40515-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
length-flexible, length-invariant, group decryption, self-tallying, perfect ballot secrecy, election, mix-net |
18 | Manfred Droste, R. M. Shortt |
From Petri Nets to Automata with Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(2), pp. 173-191, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction |
18 | Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo |
Formal Analysis of Real-Time Systems with SAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 275-286, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model, Real-time system, Petri net, temporal logic, analysis, SAM |
18 | Xiaoou Li, Joselito Medina Marín, Sergio V. Chapa |
A Structural Model of ECA Rules in Active Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2002: Advances in Artificial Intelligence, Second Mexican International Conference on Artificial Intelligence, Merida, Yucatan, Mexico, April 22-26, 2002, Proceedings, pp. 486-493, 2002, Springer, 3-540-43475-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
active database, colored Petri net, ECA rules |
18 | Umesh A. Deshpande 0001, Arobinda Gupta, Anupam Basu |
Adaptive Fault Tolerant Hospital Resource Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings, pp. 503-520, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Multi-agent systems, Real-time Scheduling, Collaborative Computing, Contract Net Protocol |
18 | Richard Furuta, Jin-Cheon Na |
Applying caT's programmable browsing semantics to specify world-wide web documents that reflect place, time, reader, and community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2002 ACM Symposium on Document Engineering, McLean, Virginia, USA, November 8-9, 2002, pp. 10-17, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Petri-net-based hypertext, context-aware hypertext, caT, Trellis |
18 | Carlos Cattaneo, Gustavo Matocq, Esteban Tapella |
Information Systems for Small Holder Agricultural Producers: The Mercosur Onion's Information Net1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Information Net, Onion, Mercosur, Small farmers, Field Prices, Province of San Juan |
18 | Jun Furukawa 0001, Kazue Sako |
An Efficient Scheme for Proving a Shuffle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2001, 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings, pp. 368-387, 2001, Springer, 3-540-42456-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Universal Verifiability, Permutation, Electronic Voting, Mix-net |
18 | Philipp Sünderhauf |
Sobriety in Terms of Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(4), pp. 649-653, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
sober space, observative net, completely prime filter |
18 | Jan Magott, Pawel Skrobanek |
A Method of Analysis of Fault Trees with Time Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, pp. 176-186, 2000, Springer, 3-540-41186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Safety-Critical System, Protection, Time Petri Net, Fault Tree, Time Dependency |
18 | Martin Hesketh, Maciej Koutny |
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 165-184, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation |
18 | Tuomas Aura, Johan Lilius |
Time Processes for Time 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. 136-155, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
net theory, processes, timing analysis, causality, time Petri nets, partial order semantics |
18 | Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo-Hwan Bae |
An Approach to Software Process Management Based on Formal Process Modeling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 292-301, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Petri net, Process modeling, Software Process Management, Process Analysis |
18 | Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, Hongji Yang |
A formal approach to software components classification and retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 264-269, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
software components classification, reuse-based software development, faceted scheme, programmer productivity, software quality, software libraries, consistency checking, predicates, keywords, formal approach, Predicate/Transition net, query specification, software components retrieval |
18 | Woo-Jong Hahn, Kee-Wook Rim, Soo-Won Kim |
SPAX: A New Parallel Processing System for Commercial Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 744-749, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SPAX, commercial applications, Xcent-Net, 2.67 Gbyte/s, scalability, parallel architectures, bandwidth, SMP, hierarchical network, parallel processing system |
18 | Satoshi Kimura, Masahiko Yachida |
Facial Expression Recognition and Its Degree Estimatio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 295-300, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Degree of facial expression, Variation from expressionless face, Potential Net Model, K-L expansion, Facial expression recognition, Emotion Space |
18 | Juan Carlos Fabero, Ignacio Martín Llorente, Alfredo Bautista, S. Molina |
Dynamic Load Balancing in a Heterogeneous Environment under PVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 414-419, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
heterogeneous workstations net, parallel algorithms, resource allocation, programming environments, processor scheduling, dynamic load balancing, computer aided software engineering, heterogeneous environment, virtual storage, computational load, computational requirements |
18 | Ekkart Kindler, Rolf Walter |
Arc-Typed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 289-306, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Arc-typed net, verification, specification, process, causality, partial order semantics, consistency protocol |
18 | Chabane Djeraba, Karima Hadouda |
Multimedia Scenes in a Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 177-186, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
object paradigm, Multimedia, interactions, database, Petri net, temporal relations |
18 | Andrzej Stajniak, Jaroslaw Szostakowski |
Neural implementation of ARMA type filters for image restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 520-522, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
autoregressive moving average processes, ARMA type filters, neural implementation, autoregressive moving average, blur system, nonlinear characteristics, learning patterns, neural networks, parallel processing, parallel processing, noise, noise, image restoration, image restoration, neural net, multilayer perceptrons, multilayer perceptron, backpropagation, backpropagation, filtering theory, roundoff errors, roundoff errors, IIR filters, IIR filter, image deblurring |
18 | Enrique Teruel, Manuel Silva Suárez |
Well-Formedness of Equal Conflict Systems. ![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. 491-510, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Place/Transition net systems, Rank theorem, Well-formedness, Decomposition, Structure theory |
18 | Maciej Koutny |
Partial Order Semantics of Box Expressions. ![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. 318-337, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics |
18 | Fevzi Belli, Karl-Erwin Großpietsch |
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 513-526, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description |
18 | Gerard Florin, Stéphane Natkin |
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 99-107, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
queueing network product form solutions, closed synchronized queuing networks, Markov stochastic Petri net, strongly connected reachability graph, constant firing rates, Gordon-Newell theorem, performance evaluation, performance evaluation, Petri nets, queueing theory, stochastic Petri nets, matrix products, steady-state probability |
18 | Roberto Gorrieri, Ugo Montanari |
Distributed Implementation of CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 244-266, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics |
18 | Frank Itter, Claudia Relewicz |
Computer supported design of Kanban controlled production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, pp. 188-204, 1990, Springer, 3-540-54398-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
NET-tool, simulation, animation, building blocks, Kanban |
18 | Astrid Kiehn |
Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers, pp. 227-248, 1987, Springer, 3-540-50580-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Jing Bi, Zhiliang Zhu 0001, Haitao Yuan 0001, Yushun Fan, Ming Tie |
A Petri Net Based Hybrid Optimal Controller for Deadlock Prevention in Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, pp. 718-719, 2011, IEEE Computer Society, 978-1-4577-0842-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Controlled Petri net, hybrid optimal controller, web service composition, compatibility, deadlock prevention |
17 | Li Li 0001, Wu Chou |
Design and Describe REST API without Violating REST: A Petri Net Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, pp. 508-515, 2011, IEEE Computer Society, 978-1-4577-0842-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
REST Chart, Petri Net, RESTful web service |
17 | Greg Goth |
The Global Net Neutrality Debate: Back to Square One? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 14(4), pp. 7-9, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
network access policies, FCC, net neutrality |
17 | Changyuan Gao, Shuchen Zhang, Xiaoxing Zhang |
The Modeling and Simulation of Negotiation Process for High-Tech Virtual Enterprise Based on UML and Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITSI ![In: Third International Symposium on Intelligent Information Technology and Security Informatics, IITSI 2010, Jinggangshan, China, April 2-4, 2010, pp. 455-459, 2010, IEEE Computer Society, 978-0-7695-4020-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
high tech virtual enterprise, ExSpect simulation, petri net, process modeling, uml |
17 | Jin-Liang Xing, Xiaohong Li 0001, Yan Cao, Zhiyong Feng 0002, Ran Liu |
Information Flow Analysis of Web Service Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 1622-1626, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
service net, vulnerability proliferation, program slicing, web service security |
17 | Boran Hu |
Food Security Management Technology Based on HACCP and Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Third International Conference on Knowledge Discovery and Data Mining, WKDD 2010, Phuket, Thailand, 9-10 January 2010, pp. 296-298, 2010, IEEE Computer Society, 978-0-7695-3923-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
HACCP, food safety, strawberry production, Petri net |
17 | Feng Chen 0009, Pan Deng, Xiaohui Rong, Qiongqiong Zhou |
Modeling of Device Collaboration Process Based on Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 11th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2010, London, England, UK, June 9-11, 2010, pp. 34-37, 2010, IEEE Computer Society, 978-0-7695-4088-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
device collaboration, modeling, Petri net |
17 | Miha Grcar, Dunja Mladenic, Peter Kese |
Semi-automatic Categorization of Videos on VideoLectures.net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (2) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part II, pp. 730-733, 2009, Springer, 978-3-642-04173-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multi-modal data mining, VideoLectures.net, machine learning, classification, multimedia, video, categorization |
17 | Jianbin He, Qunxing Su, Pengyuan Liu |
Modeling and Analysis of Equipment Virtual Maintenance Process Based on Extended Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 181-184, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
virtual maintenance, simulation, Petri net, process modeling |
17 | Xianpeng Huangfu, Zhen Shu, Honghui Chen, Xueshan Luo |
Research on Dynamic Service Composition Based on Object Petri Net for the Networked Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 1075-1080, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
networked information system, dynamic service composition, object petri net |
17 | Slobodan Ribaric, Nikola Pavesic, Valentina Zadrija |
Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based and Intelligent Information and Engineering Systems, 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part I, pp. 1-10, 2009, Springer, 978-3-642-04594-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Inference procedure, Knowledge representation, Fuzzy Petri Net, Intersection search |
17 | Wu-Jun Xi, Bing-Feng Yang, Jin-Liang Wang |
Seasonal Variation of Net Primary Production Based on MODIS image in Chuxiong Prefecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Eighth International Conference on Grid and Cooperative Computing, GCC 2009, Lanzhou, Gansu, China, August 27-29, 2009, pp. 357-360, 2009, IEEE Computer Society, 978-0-7695-3766-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Net Primary Production(NPP), Seasonal Variation, Chuxiong Prefecture, MODIS |
17 | Yuval Rabani, Amir Shpilka |
Explicit construction of a small epsilon-net for linear threshold functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 649-658, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
linear threshold function, explicit construction, epsilon-net |
17 | Xiaofeng Liu, Xiaofei Xu, Shengchun Deng |
A Petri-net-Based Simulation and Optimization approach for IEM and EI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESA ![In: International Conference on Interoperability for Enterprise Software and Applications China, IESA 2009, Beijing, China, April 21-22, 2009, pp. 129-134, 2009, IEEE Computer Society, 978-0-7695-3652-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
IEM, Petri net, Business process, Enterprise modeling, Enterprise model, Enterprise Interoperability, CPN |
17 | David Naugler |
Review of "Pro WPF in C# 2008: Windows Presentation Foundation with .NET 3.5 (2nd ed.), " Apress, 2008, ISBN 1590599551. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 6(5), pp. 59, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
C#, Microsoft .NET |
17 | Bert Verslyppe, Bram Slabbinck, Wim De Smet, Paul De Vos, Bernard De Baets, Peter Dawyndt |
StrainInfo.net Web Services: Enabling Microbiologic Workflows Such as Phylogenetic Tree Building and Biomarker Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Fourth International Conference on e-Science, e-Science 2008, 7-12 December 2008, Indianapolis, IN, USA, pp. 603-607, 2008, IEEE Computer Society, 978-1-4244-3380-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
StrainInfo.net, biomarker comparison, microbiologic webservices, workflows, phylogenetic tree |
17 | Ruijuan Zheng, Qingtao Wu, Mingchuan Zhang |
Analysis and Application of Bio-Inspired Multi-Net Security Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM (1) ![In: NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008 - Volume 1, pp. 195-198, 2008, IEEE Computer Society, 978-0-7695-3322-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multi-Net, Security, Bio-inspired |
17 | Helene Schilke, Achim Rettberg, Florian Dittmann 0001 |
Towards a Petri Net Based Approach to Model and Synthesise Dynamic Reconfiguration for FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 4th IEEE International Symposium on Electronic Design, Test and Applications, DELTA 2008, Hong Kong, January 23-25, 2008, pp. 561-566, 2008, IEEE Computer Society, 978-0-7695-3110-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model-based Design Flow, FPGA, Petri-net, Dynamic Reconfiguration |
17 | I. Barjis, Vijay Gehlot |
Petri net based description and modeling of metabolic pathway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 848-851, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
pentose phosphate pathway, simulation, modeling, Petri net |
17 | Bernd Werther, Christoph Möhlenbrink, Michael Rudolph 0001 |
Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (12) ![In: Digital Human Modeling, First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 1027-1036, 2007, Springer, 978-3-540-73318-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Airport control model, Colored Petri Net, State Space, Cognitive work analysis, Human Machine System |
17 | Yu Huang 0004, Hanpin Wang |
A petri net semantics for web service choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1689-1690, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
WSCI, web service, petri net, formal semantics |
17 | Greg Goth |
Net Neutrality's Unpublicized Achilles' Heel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 10(3), pp. 4-6, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
telecommunications, broadband, DSL, Net neutrality |
17 | Melissa C. Stange |
Review of "Pro .NET 1.1 Remoting, Reflection, and Threading by David Curran, Fabio Ferracchiati, Syed Gilani, et al., " Apress, 2005, ISBN: 1590594525. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 4(6), pp. 58, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Microsoft .NET |
17 | |
Review of "Expert .NET Programming by Simon Robinson". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 3(4), pp. 60, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Visual Basic, Microsoft .NET |
|
|