|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 86 occurrences of 69 keywords
|
|
|
Results
Found 546 publication records. Showing 546 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Franco Cicirelli, Angelo Furfaro, Libero Nigro |
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 35(2), pp. 153-179, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks |
14 | Patricia Buendia |
Reconstructing Mutational Pathways from Serial Evolutionary Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2007, October 14-17, 2007, Harvard Medical School, Boston, MA, USA, pp. 815-820, 2007, IEEE Computer Society, 978-1-4244-1509-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Majid Masso, Iosif I. Vaisman |
A Novel Sequence-Structure Approach for Accurate Prediction of Resistance to HIV-1 Protease Inhibitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2007, October 14-17, 2007, Harvard Medical School, Boston, MA, USA, pp. 952-958, 2007, IEEE Computer Society, 978-1-4244-1509-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Akiyuki Iwasaki, Tadasuke Nozoe, Takashi Kawauchi, Masahiro Okamoto |
Design of Bio-inspired Fault-tolerant Adaptive Routing Based on Enzymatic Feedback Control in the Cell: Towards Averaging Load Balance in the Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBIT ![In: Frontiers in the Convergence of Bioscience and Information Technologies 2007, FBIT 2007, Jeju Island, Korea, October 11-13, 2007, pp. 845-850, 2007, IEEE Computer Society, 978-0-7695-2999-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | 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 |
|
14 | Nadia Busi, Claudio Zandron |
On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings, pp. 173-186, 2007, Springer, 978-3-540-74239-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Gennady Verkhivker |
Computational Proteomics of Biomolecular Interactions in Sequence and Structure Space of the Tyrosine Kinome: Evolutionary Constraints and Protein Conformational Selection Determine Binding Signatures of Cancer Drugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings, pp. 604-611, 2007, Springer, 978-3-540-73399-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Carlotta Orsenigo, Carlo Vercellis |
Predicting HIV Protease-Cleavable Peptides by Discrete Support Vector Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoBIO ![In: Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics, 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007, Proceedings, pp. 197-206, 2007, Springer, 978-3-540-71782-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
HIV protease, cleavable peptides prediction, discrete support vector machines |
14 | Óscar R. Ribeiro, João M. Fernandes |
Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Second International Symposium on Industrial Embedded Systems, SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6, 2007, pp. 266-273, 2007, IEEE, 1-4244-0840-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | C. J. Rose, Samantha J. Mills, J. P. B. O'Connor, Giovanni A. Buonaccorsi, Caleb Roberts, Yvonne Watson, Brandon J. Whitcher, Gordon C. Jayson, Alan Jackson, Geoffrey J. M. Parker |
Quantifying Heterogeneity in Dynamic Contrast-Enhanced MRI Parameter Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II, pp. 376-384, 2007, Springer, 978-3-540-75758-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Nadia Busi, Claudio Zandron |
Computing with Genetic Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 105-114, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Maria Bina, Dimitrios C. Karaiskos, George M. Giaglis |
Motives and Barriers Affecting the Use of Mobile Data Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMB ![In: International Conference on Mobile Business (ICMB 2007), July 9-11, 2007, Toronto, Ontario, Canada, pp. 15, 2007, IEEE Computer Society, 0-7695-2803-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Muffy Calder, Stephen Gilmore, Jane Hillston |
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comp. Sys. Biology ![In: Transactions on Computational Systems Biology VII, pp. 1-23, 2006, Springer, 3-540-48837-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | David R. Gilbert, Monika Heiner |
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. ![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. 181-200, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Dirk Ryan Padfield, Jens Rittscher, Thomas Sebastian, Nick Thomas, Badrinath Roysam |
Spatio-temporal cell cycle analysis using 3D level set segmentation of unstained nuclei in line scan confocal fluorescence images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 1036-1039, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Caruso, David J. Milham, Steve Orobec |
Emerging industry standard for managing next generation transport networks: TMF MTOSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: Management of Integrated End-to-End Communications and Services, 10th IEEE/IFIP Network Operations and Management Symposium, NOMS 2006, Vancouver, Canada, April 3-7, 2006. Proceedings, 2006, IEEE, 1-4244-0143-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser |
Synchronous + Concurrent + Sequential = Earlier than + Not later than. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pp. 261-272, 2006, IEEE Computer Society, 0-7695-2556-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yongfeng Gu, Tom Van Court, Martin C. Herbordt |
Integrating FPGA Acceleration into the Protomol Molecular Dynamics Code: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 14th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2006), 24-26 April 2006, Napa, CA, USA, Proceedings, pp. 315-316, 2006, IEEE Computer Society, 0-7695-2661-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Steven Rigby, Melissa Dark |
Designing a flexible, multipurpose remote lab for the IT curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 7th Conference on Information Technology Education, SIGITE 2006, Minneapolis, Minnesota, USA, October 19-21, 2006, pp. 161-164, 2006, ACM, 1-59593-521-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
curriculum, IT education, remote labs |
14 | Nadia Busi, Claudio Zandron |
Computing with Genetic Gates, Proteins, and Membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers, pp. 250-265, 2006, Springer, 3-540-69088-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Paul Brown, Peter J. Haas, Jussi Myllymaki, Hamid Pirahesh, Berthold Reinwald, Yannis Sismanis |
Toward Automated Large-Scale Information Integration and Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Management in a Connected World ![In: Data Management in a Connected World, Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday, pp. 161-180, 2005, Springer, 3-540-26295-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Baldan, Andrea Corradini 0001 |
On the Concurrent Semantics of Algebraic Graph Grammars. ![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. 3-23, 2005, Springer, 3-540-24936-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Tarek S. Najdi, Chin-Rang Yang, Bruce E. Shapiro, G. Wesley Hatfield, Eric Mjolsness |
Application of a Generalized MWC Model for the Mathematical Simulation of Metabolic Pathways Regulated by Allosteric Enzymes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2005, Stanford, CA, USA, August 8-11, 2005, pp. 279-288, 2005, IEEE Computer Society, 0-7695-2344-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Christopher S. Campbell, Eser Kandogan, Adam November, Rob Barrett, Paul P. Maglio |
Policity: An Experimental Evaluation of Policy-Based Administration in a City Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 6-8 June 2005, Stockholm, Sweden, pp. 119-122, 2005, IEEE Computer Society, 0-7695-2265-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yukako Tohsato, Takahiro Kosaka, Susumu Date, Shinji Shimojo, Hideo Matsuda |
Heterogeneous Database Federation Using Grid Technology for Drug Discovery Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSGRID ![In: Grid Computing in Life Science, First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31 - June 1, 2004, Revised Selected andInvited Papers, pp. 43-52, 2004, Springer, 3-540-25208-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Yang An, Bo Zhao, Fuling Bian |
Geo Web Services Based on Semantic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, COMWIM, ECDM, CoMoA, DGOV, and ECOMO, Shanghai, China, November 8-12, 2004, Proceedings, pp. 139-157, 2004, Springer, 3-540-23722-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Hans Albrecht Schmid |
Performance Problems of Large Operational Systems Based on Web Services and a Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2004 IEEE International Conference on Services Computing (SCC 2004), 15-18 September 2004, Shanghai, China, pp. 73-81, 2004, IEEE Computer Society, 0-7695-2225-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Peter Sanders 0001, Sebastian Egner, Jan H. M. Korst |
Fast Concurrent Access to Parallel Disks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 35(1), pp. 21-55, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Holger Mauch |
Evolving Petri Nets with a Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II, pp. 1810-1811, 2003, Springer, 3-540-40603-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Kwang-Hyun Cho, Sung-Young Shin, Hyeon-Woo Lee, Olaf Wolkenhauer |
Simulation Study of the TNF alpha Mediated NF-kappa B Signaling Pathway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings, pp. 171, 2003, Springer, 3-540-00605-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Kwang-Hyun Cho, Sung-Young Shin, Hyun Woo Kim, Olaf Wolkenhauer, Brian McFerran, Walter Kolch |
Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings, pp. 127-141, 2003, Springer, 3-540-00605-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 |
Petri Nets over Partial Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unifying Petri Nets ![In: Unifying Petri Nets, Advances in Petri Nets, pp. 126-172, 2001, Springer, 3-540-43067-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Fabian Breg, Constantine D. Polychronopoulos |
Java virtual machine support for object serialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, June 2-4, 2001, pp. 173-180, 2001, ACM, 1-58113-359-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java |
14 | Karsten Schmidt 0004 |
How to Calculate Symmetries of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(7), pp. 545-590, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Blair Nonnecke, Jennifer Preece |
Persistence and Lurkers in Discussion Lists: A Pilot Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Jeffrey L. Kretsch |
Shuttle Radar Topography Mission Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPR ![In: 29th Applied Image Pattern Recognition Workshop (AIPR 2000), 16-18 October 2000, Washington, DC, USA, Proceedings, pp. 276-282, 2000, IEEE Computer Society, 0-7695-0978-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Xiuwen Liu, DeLiang L. Wang |
Range image segmentation using a relaxation oscillator network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 10(3), pp. 564-573, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Cédric Bertolini, Hélène Paugam-Moisy, Didier Puzenat |
Priming an Artificial Associative Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Foundations and Tools for Neural Modeling, International Work-Conference on Artificial and Natural Neural Networks, IWANN '99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume I, pp. 348-356, 1999, Springer, 3-540-66069-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Cascaded processing, Artificial neural networks, Associative memory, Connectionism, Priming |
14 | Piotr Chrzastowski-Wachtel |
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem. ![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. 268-281, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Larry Gilg |
Known Good Die. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 10(1-2), pp. 15-25, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
known good die, KGD, chip scale (size) package, multi-chip module (MCM), wafer probe, membrane probe card, buckling beam probe card, KGD carrier, CSP, burn-in |
14 | Nadia Busi, Roberto Gorrieri |
A Petri Net Semantics for pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 145-159, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | 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 |
|
14 | Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(2), pp. 89-107, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net |
14 | 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 |
|
14 | Ryszard Janicki, Maciej Koutny |
Invariants and Paradigms of Concurrency Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 59-74, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Wlodzimierz M. Zuberek |
Modified M-timed Petri nets in modelling and performance evaluation of systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 261-268, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #546 of 546 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |
|