sign in · help · news · about ·

BibSonomy :: author :: Betti ::

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

(59)

<< < 1 | 2 | 3 > >>

Performance Analysis of Underwater Swarm Sensor Networks.
Marco Tabacchiera, Samuela Persia, Chiara Lodovisi, and Silvello Betti BWCCA, page 333-338. IEEE, (2011)
to dblp by dblp on Dec 27, 2011, 12:00 AM
URL | BibTeX
Emerging memory technologies for reconfigurable routing in FPGA architecture.
Pierre-Emmanuel Gaillardon, M. Haykel Ben Jamaa, Giovanni Betti Beneventi, Fabien Clermidy, and Luca Perniola ICECS, page 62-65. IEEE, (2010)
to dblp by dblp on Nov 30, 2011, 12:00 AM
URL | BibTeX
A New Bound for the Minimum Distance of a Cyclic Code From Its Defining Set.
E. Betti, and M. Sala IEEE Transactions on Information Theory 52(8):3700-3706 (2006)
to dblp by dblp on Oct 31, 2011, 12:00 AM
URL | BibTeX
Partial Types and Intervals.
Mariangiola Dezani-Ciancaglini, and Betti Venneri SIAM J. Comput. 19(4):644-568 (1990)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Principal Type Schemes for an Extended Type Theory.
Simona Ronchi Della Rocca, and Betti Venneri Theor. Comput. Sci. (1984)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
O'Klaim: A Coordination Language with Mobile Mixins.
Lorenzo Bettini, Viviana Bono, and Betti Venneri COORDINATION, volume 2949 of Lecture Notes in Computer Science, page 20-38. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
The Klaim Project: Theory and Practice.
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, and Betti Venneri Global Computing, volume 2874 of Lecture Notes in Computer Science, page 88-150. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Intersection Types as Logical Formulae.
Betti Venneri J. Log. Comput. 4(2):109-124 (1994)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Coordinating Mobile Object-Oriented Code.
Lorenzo Bettini, Viviana Bono, and Betti Venneri COORDINATION, volume 2315 of Lecture Notes in Computer Science, page 56-71. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Towards Object-Oriented Klaim.
Lorenzo Bettini, Viviana Bono, and Betti Venneri Electr. Notes Theor. Comput. Sci. (2001)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Extending Java to dynamic object behaviors.
Lorenzo Bettini, Sara Capecchi, and Betti Venneri Electr. Notes Theor. Comput. Sci. 82(7):33-52 (2003)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Hyperformulae, Parallel Deductions and Intersection Types.
Beatrice Capitani, Michele Loreti, and Betti Venneri Electr. Notes Theor. Comput. Sci. 50(2):178-195 (2001)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Delegation by object composition.
Lorenzo Bettini, Viviana Bono, and Betti Venneri Sci. Comput. Program. 76(11):992-1014 (2011)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
A Predictable Execution Model for COTS-Based Embedded Systems.
Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, and Russell Kegley IEEE Real-Time and Embedded Technology and Applications Symposium, page 269-279. IEEE Computer Society, (2011)
to dblp by dblp on May 16, 2011, 12:00 AM
URL | BibTeX
Event-Driven Privacy Aware Infrastructure for Social and Health Systems Interoperability: CSS Platform.
Giampaolo Armellin, Dario Betti, Fabio Casati, Annamaria Chiasera, Gloria Martínez, Jovan Stevovic, and Tefo James Toai ICSOC, volume 6470 of Lecture Notes in Computer Science, page 708-710. (2010)
to dblp by dblp on May 9, 2011, 12:00 AM
URL | BibTeX
A Mobile Portfolio to Support Communities of Practice in Science Education.
Oriel A. Herrera, Sergio F. Ochoa, H. Andrés Neyem, Maurizio Betti, Roberto G. Aldunate, and David A. Fuller HCI 15, volume 4564 of Lecture Notes in Computer Science, page 416-425. Springer, (2007)
to dblp by dblp on Apr 26, 2011, 12:00 AM
URL | BibTeX
Hard Real-Time Performances in Multiprocessor-Embedded Systems Using ASMP-Linux.
Emiliano Betti, Daniel P. Bovet, Marco Cesati, and Roberto Gioiosa EURASIP J. Emb. Sys. (2008)
to dblp by dblp on Feb 28, 2011, 12:00 AM
URL | BibTeX
The Classical Model of Science: a millennia-old model of scientific rationality.
Willem R. de Jong, and Arianna Betti Synthese 174(2):185-203 (2010)
to dblp by dblp on Dec 3, 2010, 12:00 AM
URL | BibTeX
Introduction.
Arianna Betti, and Willem R. de Jong Synthese 174(2):181-183 (2010)
to dblp by dblp on Dec 3, 2010, 12:00 AM
URL | BibTeX
Lesniewski's characteristica universalis.
Arianna Betti Synthese 174(2):295-314 (2010)
to dblp by dblp on Dec 3, 2010, 12:00 AM
URL | BibTeX

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