sign in · help · news · about ·

BibSonomy :: author :: Jakubiec ::

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

(10)

<< < 1 > >>

A Functional Scenario for Bytecode Verification of Resource Bounds.
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, and Line Jakubiec CSL, volume 3210 of Lecture Notes in Computer Science, page 265-279. Springer, (2004)
to dblp by dblp on Aug 4, 2011, 12:00 AM
URL | BibTeX
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.
Gilles Barthe, Guillaume Dufay, Line Jakubiec, and Simão Melo de Sousa VMCAI, volume 2294 of Lecture Notes in Computer Science, page 32-45. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
A Formal Executable Semantics of the JavaCard Platform.
Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, and Simão Melo de Sousa ESOP, volume 2028 of Lecture Notes in Computer Science, page 302-319. Springer, (2001)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
Hardware Verification Using Co-induction in COQ.
Solange Coupet-Grimal, and Line Jakubiec TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 91-108. Springer, (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Towards better social integration through mobile web 2.0 ambient assisted living devices.
Tim A. Majchrzak, Adalbert Jakubiec, Martin Lablans, and Frank Ückert SAC, page 821-822. ACM, (2011)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Error Model Application in Neural Reconstruction of Nonlinear Sensor Input Signal.
Jerzy Jakubiec, Piotr Makowski, and Jerzy Roj IEEE T. Instrumentation and Measurement 58(3):649-656 (2009)
to dblp by dblp on Jan 12, 2011, 12:00 AM
URL | BibTeX
Computer simulation study of the relationship between the profile of excitatory postsynaptic potential and stimulus-correlated motoneuron firing.
Maria Piotrkiewicz, Lydia Kudina, and Michal Jakubiec Biological Cybernetics 100(3):215-230 (2009)
to dblp by dblp on Dec 17, 2009, 12:00 AM
URL | BibTeX
Coq and Hardware Verification: A Case Study.
Solange Coupet-Grimal, and Line Jakubiec TPHOLs, volume 1125 of Lecture Notes in Computer Science, page 125-139. Springer, (1996)
to dblp by dblp on Sep 29, 2009, 12:00 AM
URL | BibTeX
On the Data Model for Dynamic Hierarchical Scheduling Problem
Maciej Jakubiec, Micha Materny, and Zbigniew Kotulski (2003)
to todo by utrust on Apr 20, 2008, 8:48 PM
URL | BibTeX
Certifying circuits in Type Theory.
Solange Coupet-Grimal, and Line Jakubiec Formal Asp. Comput. 16(4):352-373 (2004)
to dblp by dblp on Jan 25, 2005, 12:00 AM
URL | BibTeX

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

a gripper