|
|
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. |
Real Time Syst. |
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. |
BIBE |
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. |
BIBE |
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. |
FBIT |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Robert Lorenz 0001, Sebastian Mauser, Gabriel Juhás |
How to synthesize nets from languages: a survey. |
WSC |
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. |
FCT |
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. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Carlotta Orsenigo, Carlo Vercellis |
Predicting HIV Protease-Cleavable Peptides by Discrete Support Vector Machines. |
EvoBIO |
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. |
SIES |
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. |
MICCAI (2) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Nadia Busi, Claudio Zandron |
Computing with Genetic Gates. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Maria Bina, Dimitrios C. Karaiskos, George M. Giaglis |
Motives and Barriers Affecting the Use of Mobile Data Services. |
ICMB |
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. |
Trans. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
14 | David R. Gilbert, Monika Heiner |
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. |
ICATPN |
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. |
ISBI |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Caruso, David J. Milham, Steve Orobec |
Emerging industry standard for managing next generation transport networks: TMF MTOSI. |
NOMS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser |
Synchronous + Concurrent + Sequential = Earlier than + Not later than. |
ACSD |
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. |
FCCM |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Steven Rigby, Melissa Dark |
Designing a flexible, multipurpose remote lab for the IT curriculum. |
SIGITE Conference |
2006 |
DBLP DOI BibTeX RDF |
curriculum, IT education, remote labs |
14 | Nadia Busi, Claudio Zandron |
Computing with Genetic Gates, Proteins, and Membranes. |
Workshop on Membrane Computing |
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. |
Data Management in a Connected World |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Baldan, Andrea Corradini 0001 |
On the Concurrent Semantics of Algebraic Graph Grammars. |
Formal Methods in Software and Systems Modeling |
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. |
CSB |
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. |
POLICY |
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. |
LSGRID |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Yang An, Bo Zhao, Fuling Bian |
Geo Web Services Based on Semantic. |
ER (Workshops) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Hans Albrecht Schmid |
Performance Problems of Large Operational Systems Based on Web Services and a Solution. |
IEEE SCC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Peter Sanders 0001, Sebastian Egner, Jan H. M. Korst |
Fast Concurrent Access to Parallel Disks. |
Algorithmica |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Holger Mauch |
Evolving Petri Nets with a Genetic Algorithm. |
GECCO |
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. |
CMSB |
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. |
CMSB |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 |
Petri Nets over Partial Algebra. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Fabian Breg, Constantine D. Polychronopoulos |
Java virtual machine support for object serialization. |
Java Grande |
2001 |
DBLP DOI BibTeX RDF |
Java |
14 | Karsten Schmidt 0004 |
How to Calculate Symmetries of Petri Nets. |
Acta Informatica |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Blair Nonnecke, Jennifer Preece |
Persistence and Lurkers in Discussion Lists: A Pilot Study. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Jeffrey L. Kretsch |
Shuttle Radar Topography Mission Overview. |
AIPR |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Xiuwen Liu, DeLiang L. Wang |
Range image segmentation using a relaxation oscillator network. |
IEEE Trans. Neural Networks |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Cédric Bertolini, Hélène Paugam-Moisy, Didier Puzenat |
Priming an Artificial Associative Memory. |
IWANN (1) |
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. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Larry Gilg |
Known Good Die. |
J. Electron. Test. |
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. |
CONCUR |
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. |
Application and Theory of Petri Nets |
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. |
IEEE Trans. Software Eng. |
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. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Ryszard Janicki, Maciej Koutny |
Invariants and Paradigms of Concurrency Theory. |
PARLE (2) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Wlodzimierz M. Zuberek |
Modified M-timed Petri nets in modelling and performance evaluation of systems. |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #546 of 546 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |
|