sign in · help · news · about ·

BibSonomy :: author :: Jacobi ::

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

(155)

<< < 1 | 2 | 3 > >>

Aintno: Demonstration of Information Accountability on the Web.
Joe Pato, Sharon Paradesi, Ian Jacobi, Fuming Shih, and Sam Wang SocialCom/PASSAT, page 1072-1080. IEEE, (2011)
to dblp by dblp on Jan 30, 2012, 12:00 AM
URL | BibTeX
A fragment based alignment in linear space.
Jan Mendonca Correa, Alba Cristina Magalhaes Alves de Melo, Ricardo P. Jacobi, and Azzedine Boukerche BIBM Workshops, page 42-49. IEEE, (2011)
to dblp by dblp on Jan 22, 2012, 12:00 AM
URL | BibTeX
System Design Based on Single Language and Single-Chip Java ASIP Microcontroller.
Sérgio Akira Ito, Luigi Carro, and Ricardo Pezzuol Jacobi DATE, page 703-707. IEEE Computer Society, (2000)
to dblp by dblp on Jan 6, 2012, 12:00 AM
URL | BibTeX
Hierarchical Dynamics.
Martin Nilsson Jacobi Encyclopedia of Complexity and Systems Science, Springer, (2009)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
Anatomy of a Small Pascal Compiler.
Peter Schulthess, and Christian Jacobi IEEE Trans. Software Eng. 9(2):191 (1983)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Towards Model-driven Evolution of Data Warehouses.
Christian Kurze, Marcus Hofmann, Frieder Jacobi, André Müller, and Peter Gluchowski ICEIS 1, page 356-360. SciTePress, (2011)
to dblp by dblp on Sep 28, 2011, 12:00 AM
URL | BibTeX
Linked Rules: Principles for Rule Reuse on the Web.
Ankesh Khandelwal, Ian Jacobi, and Lalana Kagal RR, volume 6902 of Lecture Notes in Computer Science, page 108-123. Springer, (2011)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
FOAF+SSL: RESTful Authentication for the Social Web
Henry Story, Bruno Harbulot, Ian Jacobi, and Mike Jones (June 2009)
to imported by zazi on Aug 19, 2011, 12:45 PM
BibTeX
Constraint updating.
Walter Hower, and Stephan Jacobi J. Exp. Theor. Artif. Intell. 10(1):25-36 (1998)
to dblp by dblp on Aug 15, 2011, 12:00 AM
URL | BibTeX
Fine-grained conflict resolution in constraint satisfaction problems.
Walter Hower, and Stephan Jacobi J. Exp. Theor. Artif. Intell. 10(1):37-47 (1998)
to dblp by dblp on Aug 15, 2011, 12:00 AM
URL | BibTeX
Identification of Fungal Infection and Nitrogen Deficiency in Wheat Crop using Remote Sensing.
Jan Jacobi IGARSS, page 664-667. IEEE, (2006)
to dblp by dblp on Aug 14, 2011, 12:00 AM
URL | BibTeX
Rule-Based Trust Assessment on the Semantic Web.
Ian Jacobi, Lalana Kagal, and Ankesh Khandelwal RuleML Europe, volume 6826 of Lecture Notes in Computer Science, page 227-241. Springer, (2011)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Kriegskunst zu Fuß
Johann Jacobi von Wallhausen Oppenheim, (1915)
to Technik begriff disziplin disziplinarmacht foucault gute-abrichtung holzkamp institution lernen macht machtökonomie sanktion section-analyse section-institution überwachung by antje on Jul 8, 2011, 9:44 AM
BibTeX
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
Sven Beyer, Christian Jacobi 0002, Daniel Kroening, Dirk Leinenbach, and Wolfgang J. Paul CHARME, volume 2860 of Lecture Notes in Computer Science, page 51-65. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving.
Christian Jacobi 0002 CAV, volume 2404 of Lecture Notes in Computer Science, page 309-323. Springer, (2002)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.
Michael Backes, Christian Jacobi 0002, and Birgit Pfitzmann FME, volume 2391 of Lecture Notes in Computer Science, page 310-329. Springer, (2002)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
How to Read, Make and Store Chess Moves.
A. G. Bell, and N. Jacobi Comput. J. 22(1):71-75 (1979)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Formal Verification of the VAMP Floating Point Unit.
Christoph Berg, and Christian Jacobi 0002 CHARME, volume 2144 of Lecture Notes in Computer Science, page 325-339. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
A Feasible and Adaptive Water-Usage Prediction and Allocation Based on a Machine Learning Method.
Divas Karimanzira, and Marco Jacobi UKSim, page 324-329. IEEE, (2008)
to dblp by dblp on Jun 24, 2011, 12:00 AM
URL | BibTeX
Applying ELAN Strategies in Simulating Processors over Simple Architectures.
Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, and Reiner W. Hartenstein Electr. Notes Theor. Comput. Sci. 70(6):84-99 (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX

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