|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 198 occurrences of 131 keywords
|
|
|
Results
Found 530 publication records. Showing 530 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Jorge Júlvez, Laura Recalde, Manuel Silva Suárez |
On Reachability in Autonomous Continuous Petri Net 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. 221-240, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Giancarlo Mauri, Alberto Leporati |
On the Computational Complexity of Conservative Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings, pp. 92-112, 2003, Springer, 3-540-40671-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Wai Kin Chan, Lee Schruben |
Special topics on simulation analysis: properties of discrete event systems from their mathematical programming representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 496-502, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Julien Cervelle, Enrico Formenti |
On Sand Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings, pp. 642-653, 2003, Springer, 3-540-00623-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Stina Svensson, Pieter P. Jonker |
On the Use of Shape Primitives for Reversible Surface Skeletonization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings, pp. 317-326, 2003, Springer, 3-540-20499-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Topological erosion, mathematical morphology, distance transform |
13 | Ketan N. Patel, John P. Hayes, Igor L. Markov |
Fault Testing for Reversible Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 21st IEEE VLSI Test Symposium (VTS 2003), 27 April - 1 May 2003, Napa Valley, CA, USA, pp. 410-416, 2003, IEEE Computer Society, 0-7695-1924-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita, Shinro Mashiko |
Reversible Computation in Asynchronous Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UMC ![In: Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings, pp. 220-229, 2002, Springer, 3-540-44311-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | M. Pomper |
Predicting the success of a radiopharmaceutical for in vivo imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2002 IEEE International Symposium on Biomedical Imaging, Ritz-Carlton Hotel, Washington, DC, USA, 7-10 June 2002, pp. 815, 2002, IEEE, 0-7803-7584-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Xianfeng Zhao, Weinong Wang, Kefei Chen |
Exploiting the Intrinsic Irreversibility of Adaptive Technologies to Enhance the Security of Digital Watermarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002, Proceedings, pp. 430-440, 2002, Springer, 3-540-44045-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Alexandra Bonnassie, Françoise Peyrin, Dominique Attali |
Shape description of three-dimensional images based on medial axis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the 2001 International Conference on Image Processing, ICIP 2001, Thessaloniki, Greece, October 7-10, 2001, pp. 931-934, 2001, IEEE, 0-7803-6725-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Kenichi Morita |
A Simple Universal Logic Element and Cellular Automata for Reversible Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001, Proceedings, pp. 102-113, 2001, Springer, 3-540-42121-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Tsai-Ching Lu, Marek J. Druzdzel |
Supporting Changes in Structure in Causal Model Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 204-215, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Karsten Schmidt 0004 |
LoLA: A Low Level Analyser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding, pp. 465-474, 2000, Springer, 3-540-67693-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Karsten Schmidt 0004 |
Stubborn Sets for Standard Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 46-65, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
(Theory) Analysis of nets, Computer tools for nets |
13 | Richard F. Paige, Jonathan S. Ostroff |
Developing BON as an Industrial-Strength Formal Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 834-853, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Jean Françon, Laurent Papier |
Polyhedrization of the Boundary of a Voxel Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 8th International Conference, DCGI'99, Marne-la-Vallee, France, March 17-19, 1999, Proceedings, pp. 425-434, 1999, Springer, 3-540-65685-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Bertrand Meyer 0001 |
Seamless Development with the Eiffel Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 397, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Jérôme Olivier Durand-Lose |
Intrinsic Universality of a 1-Dimensional Reversible Cellular Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings, pp. 439-450, 1997, Springer, 3-540-62616-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Henning Christiansen 0001 |
Implicit Program Synthesis by a Reversible Metainterpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings, pp. 90-110, 1997, Springer, 3-540-65074-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Dinah W. Cheng, Rhonda Righter |
On the order of tandem queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 21(1-2), pp. 143-160, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
optimal order of servers, reversed hazard rate, coupling arguments, Tandem queues, stochastic ordering, flowshops |
13 | Thomas E. Hall, Georgios B. Giannakis |
Bispectral analysis and model validation of texture images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 5(7), pp. 996-1009, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Kimon P. Valavanis, Srinivasan Ramaswamy, Steve P. Landry |
Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 10(1), pp. 79-108, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Intelligent materials handling system, diagnostic intelligence, extended Petri nets, hierarchical decomposition |
13 | Fei-Yue Wang 0001, Michael Mittmann, George N. Saridis |
Coordination specification for CIRSSE robotic platform system using Petri net transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 9(3), pp. 209-233, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Petri net transducer, coordination structure, intelligent machines, communication, command language |
13 | Laurent Younes |
Synchronous Image restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume II, pp. 213-217, 1994, Springer, 3-540-57957-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Klaus Mayr |
Refinements and Extensions of Model Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 217-228, 1993, Springer, 3-540-56944-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Tiehua Cao, Arthur C. Sanderson |
Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets. ![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. 126-145, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Yves Dallery, Stanley B. Gershwin |
Manufacturing flow line systems: a review of models and analytical results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 12(1-2), pp. 3-94, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Manufacturing flow line systems, modelling, performance, evaluation, failures, blocking, analytical methods, approximate analysis, exact analysis |
13 | Jörg Desel, Javier Esparza |
Reachability in Reversible Free Choice Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, pp. 384-397, 1991, Springer, 3-540-53709-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Yixian Yang |
Dyadic Matrices and Their Potential Significance in Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AUSCRYPT ![In: Advances in Cryptology - AUSCRYPT '90, International Conference on Cryptology, Sydney, Australia, January 8-11, 1990, Proceedings, pp. 308-310, 1990, Springer, 3-540-53000-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Hiroyuki Kitagawa, Tosiyasu L. Kunii |
Form transformer - A formalism for Office form manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Operating Systems Engineering ![In: Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, Amagi, Japan, October 1980, pp. 392-406, 1980, Springer, 3-540-11604-4. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #530 of 530 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |
|