sign in · help · news · about ·

BibSonomy :: author :: Petrucci ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(104)

<< < 1 | 2 | 3 > >>

Parallel Nested Depth-First Searches for LTL Model Checking.
Sami Evangelista, Laure Petrucci, and Samir Youcef ATVA, volume 6996 of Lecture Notes in Computer Science, page 381-396. Springer, (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
Optimized Management of Power and Performance for Virtualized Heterogeneous Server Clusters.
Vinicius Petrucci, Enrique V. Carrera, Orlando Loques, Julius C. B. Leite, and Daniel Mossé CCGRID, page 23-32. IEEE, (2011)
to dblp by dblp on Jul 14, 2011, 12:00 AM
URL | BibTeX
An Approach to Distributed State Space Exploration for Coloured Petri Nets.
Lars Michael Kristensen, and Laure Petrucci ICATPN, volume 3099 of Lecture Notes in Computer Science, page 474-483. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
The Petri Net Markup Language: Concepts, Technology, and Tools.
Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, and Michael Weber ICATPN, volume 2679 of Lecture Notes in Computer Science, page 483-505. Springer, (2003)
to dblp by dblp and 1 other user on Jul 5, 2011, 12:00 AM
URL | BibTeX
Concurrent Systems Analysis Using ECATNets.
Faiza Belala, Mohamed Bettaz, and Laure Petrucci-Dauchy Logic Journal of the IGPL 8(2):149-164 (2000)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Modular Analysis of Petri Nets.
Søren Christensen, and Laure Petrucci Comput. J. 43(3):224-242 (2000)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Cooperative CBR System for Peer Agent Committee Formation.
Hager Karoui, Rushed Kanawati, and Laure Petrucci AP2PC, volume 4461 of Lecture Notes in Computer Science, page 51-62. Springer, (2006)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
Modular State Spaces for Prioritised Petri Nets.
Charles Lakos, and Laure Petrucci Monterey Workshop, volume 6662 of Lecture Notes in Computer Science, page 136-156. Springer, (2010)
to dblp by dblp on Jun 14, 2011, 12:00 AM
URL | BibTeX
Specification and validation of a concurrent system: an educational project.
Gérard Berthelot, and Laure Petrucci STTT 3(4):372-381 (2001)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
A dynamic optimization model for power and performance management of virtualized clusters.
Vinicius Petrucci, Orlando Loques, and Daniel Mossé e-Energy, page 225-233. ACM, (2010)
to dblp by dblp on Aug 11, 2010, 12:00 AM
URL | BibTeX
Dynamic optimization of power and performance for virtualized server clusters.
Vinicius Petrucci, Orlando Loques, and Daniel Mossé SAC, page 263-264. ACM, (2010)
to dblp by dblp on Jul 21, 2010, 4:01 PM
URL | BibTeX
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.
Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, and Nicolas Trèves Petri Nets, volume 6128 of Lecture Notes in Computer Science, page 318-327. Springer, (2010)
to dblp by dblp on Jul 21, 2010, 3:57 PM
URL | BibTeX
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.
Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, and Laure Petrucci Petri Nets, volume 6128 of Lecture Notes in Computer Science, page 145-164. Springer, (2010)
to dblp by dblp on Jul 21, 2010, 3:57 PM
URL | BibTeX
Photoelectron resonance capture ionization-aerosol mass spectrometry of the ozonolysis products of oleic acid particles: Direct measure of higher molecular weight oxygenates
Zahardis, B LaFranchi, and Giuseppe Petrucci Journal of Geophysical Research-Atmospheres 110(D8):D08307, doi:10.1029/2004JD005336 (April 2005)Times Cited: 2 Cited Reference Count: 67 D08307 .
to imported by gsmith on Jun 22, 2010, 7:38 PM
URL | BibTeX
A differentially pumped particle inlet for sampling of atmospheric aerosols into a time-of-flight mass spectrometer: Optical characterization of the particle beam
Giuseppe Petrucci, P Farnsworth, P Cavalli, and N Omenetto Aerosol Science and Technology 33(1-2):105--121 (July 2000)
to imported by gsmith on Jun 22, 2010, 7:38 PM
URL | BibTeX
Water-soluble oligomer formation from acid-catalyzed reactions of levoglucosan in proxies of atmospheric aqueous aerosols
Holmes, and Giuseppe Petrucci Environmental Science \& Technology 40(16):4983--4989 (August 2006)072PI Times Cited:0 Cited References Count:35 .
to imported by gsmith on Jun 22, 2010, 7:38 PM
URL | BibTeX
Detection of free amino acids in proxies of marine aerosol by photoelectron resonance capture ionization aerosol mass spectrometry
Zahardis, S Geddes, and Giuseppe Petrucci International Journal of Environmental Analytical Chemistry 88(3):177--184 (2008)264CF Times Cited:0 Cited References Count:37 .
to imported by gsmith on Jun 22, 2010, 7:38 PM
URL | DOI | BibTeX
The oleic acid-ozone heterogeneous reaction system: products, kinetics, secondary chemistry, and atmospheric implications of a model system -- a review
Zahardis, and Giuseppe Petrucci Atmospheric Chemistry and Physics (2007)
to imported by gsmith on Jun 22, 2010, 7:38 PM
BibTeX
Photoelectron resonance capture ionization mass spectrometry of fatty acids in olive oil
James Zahardis, Brian W LaFranchi, and Giuseppe A Petrucci European Journal of Lipid Science and Technology 108(11):925--935 (January 2006)
to Acids, Beams, Capture Chromatographic Controlled Dimensions, Electrospray-Ionization, Fatty Generating Hazelnut Heterogeneous Ionization, Mass Methyl-Esters, Oil, Oleic-Acid, Olive Ozonolysis, Particle Photoelectron Reaction, Reactive Resonance Spectrometry, Techniques, Uptake Vegetable-Oils, by gsmith on Jun 22, 2010, 7:38 PM
URL | DOI | BibTeX
A comprehensive characterization of photoelectron resonance capture ionization aerosol mass spectrometry for the quantitative and qualitative analysis of organic particulate matter
Brian LaFranchi, and Giuseppe Petrucci International Journal of Mass Spectrometry 258(1-3):120--133 (2006)
to imported by gsmith on Jun 22, 2010, 7:38 PM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100