<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="http://www.bibsonomy.org/author/Haller"><title>BibSonomy publications for /author/Haller</title><link>BibSonomypublrss/author/Haller</link><description>BibSonomy RSS feed for /author/Haller</description><dc:date>2012-02-15T21:34:14+01:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/201f0fd94ed1843632d2fcbdf3e57cf7e/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23db32e37c5063b44f1ff46f800ad8aed/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28c961af2ba8e957a2d3b8a22c153593a/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/20d3d20cb536bb08fc0477d6a31fe0bcc/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/fgimpel"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/20052b7fdd060e4632fde3400f6748e25/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23496e1bba8c2645aa4f49d494308295a/riedel"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2cade9991ce16f405f324801177a76360/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/29e4b75be8279dc1bfbb4f8c3ac1f144e/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/204fd8d468c8c1e3ca60cce4ffbb8e4cb/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/clemensbaier"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/henningb"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/maxirichter"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/29c572b4edb36b9b232a1fc84261eefae/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/22005db9113e860e5666ab84269d8f104/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2abea6bab3a4179e70f531c932f2a0134/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28c210e4cdb6b86edee6c280d2058ed45/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2ee3a23ae3365c6c00bfbfec7142e71d1/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/20047ed98a6642aa7763345a4ecaba27d/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/292e7b2a54754fa18b8f3e00a977f2c2c/dblp"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/201f0fd94ed1843632d2fcbdf3e57cf7e/dblp"><title>A Novel Approach for Interacting with Linked Open Data.</title><link>http://www.bibsonomy.org/bibtex/201f0fd94ed1843632d2fcbdf3e57cf7e/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-02-06T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Haller&#034;&gt;Armin Haller&lt;/a&gt;,  and &lt;a href=&#034;/author/Groza&#034;&gt;Tudor Groza&lt;/a&gt; &lt;/span&gt;&lt;em&gt;WISE, &lt;/em&gt;&lt;em&gt;volume 6997 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 338-340. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/23db32e37c5063b44f1ff46f800ad8aed/dblp"><title>Scala-virtualized.</title><link>http://www.bibsonomy.org/bibtex/23db32e37c5063b44f1ff46f800ad8aed/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-01-27T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Moors&#034;&gt;Adriaan Moors&lt;/a&gt;, &lt;a href=&#034;/author/Rompf&#034;&gt;Tiark Rompf&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;Philipp Haller&lt;/a&gt;,  and &lt;a href=&#034;/author/Odersky&#034;&gt;Martin Odersky&lt;/a&gt; &lt;/span&gt;&lt;em&gt;PEPM, &lt;/em&gt;&lt;em&gt;page 117-120. &lt;/em&gt;&lt;em&gt;ACM, &lt;/em&gt;(&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/28c961af2ba8e957a2d3b8a22c153593a/dblp"><title>Data-Privacy Assessments for Application Landscapes: A Methodology.</title><link>http://www.bibsonomy.org/bibtex/28c961af2ba8e957a2d3b8a22c153593a/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-01-25T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Haller&#034;&gt;Klaus Haller&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Business Process Management Workshops 2, &lt;/em&gt;&lt;em&gt;volume 100 of Lecture Notes in Business Information Processing, &lt;/em&gt;&lt;em&gt;page 398-410. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/20d3d20cb536bb08fc0477d6a31fe0bcc/dblp"><title>Design of Interpolation Functions for Subpixel-Accuracy Stereo-Vision Systems.</title><link>http://www.bibsonomy.org/bibtex/20d3d20cb536bb08fc0477d6a31fe0bcc/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-01-23T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Haller&#034;&gt;István Haller&lt;/a&gt;,  and &lt;a href=&#034;/author/Nedevschi&#034;&gt;Sergiu Nedevschi&lt;/a&gt; &lt;/span&gt;&lt;em&gt;IEEE Transactions on Image Processing&lt;/em&gt; &lt;em&gt;21(2):889-898&lt;/em&gt; (&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/fgimpel"><title>RaUL: RDFa User Interface Language - A Data Processing Model for Web Applications.</title><link>http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/fgimpel</link><dc:creator>fgimpel</dc:creator><dc:date>2012-01-18T15:56:42+01:00</dc:date><dc:subject>rdf rdfa semantic_web webdevelopment </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Haller&#034;&gt;Armin Haller&lt;/a&gt;, &lt;a href=&#034;/author/Umbrich&#034;&gt;Jürgen Umbrich&lt;/a&gt;,  and &lt;a href=&#034;/author/Hausenblas&#034;&gt;Michael Hausenblas&lt;/a&gt; &lt;/span&gt;&lt;em&gt;WISE, &lt;/em&gt;&lt;em&gt;volume 6488 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 400-410. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2010&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rdf"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rdfa"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantic_web"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/webdevelopment"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/20052b7fdd060e4632fde3400f6748e25/dblp"><title>Real-Time Image Rectification and Stereo Reconstruction System on the GPU.</title><link>http://www.bibsonomy.org/bibtex/20052b7fdd060e4632fde3400f6748e25/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-01-06T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Pantilie&#034;&gt;Cosmin D. Pantilie&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;István Haller&lt;/a&gt;, &lt;a href=&#034;/author/Drulea&#034;&gt;Marius Drulea&lt;/a&gt;,  and &lt;a href=&#034;/author/Nedevschi&#034;&gt;Sergiu Nedevschi&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ISPDC, &lt;/em&gt;&lt;em&gt;page 79-85. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/23496e1bba8c2645aa4f49d494308295a/riedel"><title>Collaborative Business Items</title><link>http://www.bibsonomy.org/bibtex/23496e1bba8c2645aa4f49d494308295a/riedel</link><dc:creator>riedel</dc:creator><dc:date>2012-01-03T14:05:35+01:00</dc:date><dc:subject>myown </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Decker&#034;&gt;Christian Decker&lt;/a&gt;, &lt;a href=&#034;/author/Riedel&#034;&gt;Till Riedel&lt;/a&gt;, &lt;a href=&#034;/author/Beigl&#034;&gt;Michael Beigl&lt;/a&gt;, &lt;a href=&#034;/author/de Souza&#034;&gt;Luciana Moreira Sa de Souza&lt;/a&gt;, &lt;a href=&#034;/author/Spiess&#034;&gt;Patrik Spiess&lt;/a&gt;, &lt;a href=&#034;/author/Müller&#034;&gt;Jens Müller&lt;/a&gt;,  and &lt;a href=&#034;/author/Haller&#034;&gt;Stephan Haller&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Proceedings of IE 07: 3rd International Conference on Intelligent Environments, Ulm, Germany, &lt;/em&gt;&lt;em&gt;page 40–47. &lt;/em&gt;(&lt;em&gt;2007&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/myown"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2cade9991ce16f405f324801177a76360/dblp"><title>Innovation Mobs - Unlocking the Innovation Potential of Virtual Communities.</title><link>http://www.bibsonomy.org/bibtex/2cade9991ce16f405f324801177a76360/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-01-03T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Bullinger&#034;&gt;Angelika Cosima Bullinger&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;Jörg Haller&lt;/a&gt;,  and &lt;a href=&#034;/author/Möslein&#034;&gt;Kathrin Möslein&lt;/a&gt; &lt;/span&gt;&lt;em&gt;AMCIS, &lt;/em&gt;&lt;em&gt;page 540. &lt;/em&gt;&lt;em&gt;Association for Information Systems, &lt;/em&gt;(&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/29e4b75be8279dc1bfbb4f8c3ac1f144e/dblp"><title>Going beyond auto-ID: a service-oriented smart items infrastructure.</title><link>http://www.bibsonomy.org/bibtex/29e4b75be8279dc1bfbb4f8c3ac1f144e/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-12-29T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Spieß&#034;&gt;Patrik Spieß&lt;/a&gt;, &lt;a href=&#034;/author/Bornhövd&#034;&gt;Christof Bornhövd&lt;/a&gt;, &lt;a href=&#034;/author/Lin&#034;&gt;Tao Lin&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;Stephan Haller&lt;/a&gt;,  and &lt;a href=&#034;/author/Schaper&#034;&gt;Joachim Schaper&lt;/a&gt; &lt;/span&gt;&lt;em&gt;J. Enterprise Inf. Management&lt;/em&gt; &lt;em&gt;20(3):356-370&lt;/em&gt; (&lt;em&gt;2007&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/204fd8d468c8c1e3ca60cce4ffbb8e4cb/dblp"><title>Photoelectric Laser Stimulation applied to Latch-Up phenomenon and localization of parasitic transistors in an industrial failure analysis laboratory.</title><link>http://www.bibsonomy.org/bibtex/204fd8d468c8c1e3ca60cce4ffbb8e4cb/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-12-19T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Llido&#034;&gt;R. Llido&lt;/a&gt;, &lt;a href=&#034;/author/Gomez&#034;&gt;J. Gomez&lt;/a&gt;, &lt;a href=&#034;/author/Goubier&#034;&gt;Vincent Goubier&lt;/a&gt;, &lt;a href=&#034;/author/Froidevaux&#034;&gt;N. Froidevaux&lt;/a&gt;, &lt;a href=&#034;/author/Dufayard&#034;&gt;L. Dufayard&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;G. Haller&lt;/a&gt;, &lt;a href=&#034;/author/Pouget&#034;&gt;Vincent Pouget&lt;/a&gt;,  and &lt;a href=&#034;/author/Lewis&#034;&gt;Dean Lewis&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Microelectronics Reliability&lt;/em&gt; &lt;em&gt;51(9-11):1658-1661&lt;/em&gt; (&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/clemensbaier"><title>Software Verification Using k-Induction</title><link>http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/clemensbaier</link><dc:creator>clemensbaier</dc:creator><dc:date>2011-12-08T14:24:14+01:00</dc:date><dc:subject>induction k-induction software verification </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Donaldson&#034;&gt;Alastair F. Donaldson&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;Leopold Haller&lt;/a&gt;, &lt;a href=&#034;/author/Kroening&#034;&gt;Daniel Kroening&lt;/a&gt;,  and &lt;a href=&#034;/author/Rümmer&#034;&gt;Philipp Rümmer&lt;/a&gt; &lt;/span&gt;&lt;em&gt;SAS, &lt;/em&gt;&lt;em&gt;volume 6887 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 351-368. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/induction"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/k-induction"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/software"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/verification"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/henningb"><title>Software Verification Using k-Induction</title><link>http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/henningb</link><dc:creator>henningb</dc:creator><dc:date>2011-12-08T10:25:21+01:00</dc:date><dc:subject>k-induction </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Donaldson&#034;&gt;Alastair F. Donaldson&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;Leopold Haller&lt;/a&gt;, &lt;a href=&#034;/author/Kroening&#034;&gt;Daniel Kroening&lt;/a&gt;,  and &lt;a href=&#034;/author/Rümmer&#034;&gt;Philipp Rümmer&lt;/a&gt; &lt;/span&gt;&lt;em&gt;SAS, &lt;/em&gt;&lt;em&gt;volume 6887 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 351-368. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2011&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/k-induction"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/maxirichter"><title>RaUL: RDFa User Interface Language - A Data Processing Model for Web Applications.</title><link>http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/maxirichter</link><dc:creator>maxirichter</dc:creator><dc:date>2011-12-07T15:04:59+01:00</dc:date><dc:subject>rdf rdfa semantic_web webdevelopment </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Haller&#034;&gt;Armin Haller&lt;/a&gt;, &lt;a href=&#034;/author/Umbrich&#034;&gt;Jürgen Umbrich&lt;/a&gt;,  and &lt;a href=&#034;/author/Hausenblas&#034;&gt;Michael Hausenblas&lt;/a&gt; &lt;/span&gt;&lt;em&gt;WISE, &lt;/em&gt;&lt;em&gt;volume 6488 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 400-410. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2010&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rdf"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rdfa"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantic_web"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/webdevelopment"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/29c572b4edb36b9b232a1fc84261eefae/dblp"><title>Body-and-cad Geometric Constraint Systems</title><link>http://www.bibsonomy.org/bibtex/29c572b4edb36b9b232a1fc84261eefae/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-12-05T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Haller&#034;&gt;Kirk Haller&lt;/a&gt;, &lt;a href=&#034;/author/John&#034;&gt;Audrey Lee-St. John&lt;/a&gt;, &lt;a href=&#034;/author/Sitharam&#034;&gt;Meera Sitharam&lt;/a&gt;, &lt;a href=&#034;/author/Streinu&#034;&gt;Ileana Streinu&lt;/a&gt;,  and &lt;a href=&#034;/author/White&#034;&gt;Neil White&lt;/a&gt; &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2010&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/22005db9113e860e5666ab84269d8f104/dblp"><title>A Platform for Implementing Secure Wireless Ad Hoc Networks</title><link>http://www.bibsonomy.org/bibtex/22005db9113e860e5666ab84269d8f104/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-12-05T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Farkas&#034;&gt;Gyula Farkas&lt;/a&gt;, &lt;a href=&#034;/author/Genge&#034;&gt;Béla Genge&lt;/a&gt;,  and &lt;a href=&#034;/author/Haller&#034;&gt;Piroska Haller&lt;/a&gt; &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2010&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2abea6bab3a4179e70f531c932f2a0134/dblp"><title>Term-based composition of security protocols</title><link>http://www.bibsonomy.org/bibtex/2abea6bab3a4179e70f531c932f2a0134/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-12-05T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Genge&#034;&gt;Béla Genge&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;Piroska Haller&lt;/a&gt;, &lt;a href=&#034;/author/Ratoi&#034;&gt;Ovidiu Ratoi&lt;/a&gt;,  and &lt;a href=&#034;/author/Ignat&#034;&gt;Iosif Ignat&lt;/a&gt; &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/28c210e4cdb6b86edee6c280d2058ed45/dblp"><title>Automated Composition of Security Protocols</title><link>http://www.bibsonomy.org/bibtex/28c210e4cdb6b86edee6c280d2058ed45/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-12-05T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Genge&#034;&gt;Béla Genge&lt;/a&gt;, &lt;a href=&#034;/author/Ignat&#034;&gt;Iosif Ignat&lt;/a&gt;,  and &lt;a href=&#034;/author/Haller&#034;&gt;Piroska Haller&lt;/a&gt; &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2ee3a23ae3365c6c00bfbfec7142e71d1/dblp"><title>Extending WS-Security to Implement Security Protocols for Web Services</title><link>http://www.bibsonomy.org/bibtex/2ee3a23ae3365c6c00bfbfec7142e71d1/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-12-05T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Genge&#034;&gt;Béla Genge&lt;/a&gt;,  and &lt;a href=&#034;/author/Haller&#034;&gt;Piroska Haller&lt;/a&gt; &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/20047ed98a6642aa7763345a4ecaba27d/dblp"><title>Informal specification-based performance evaluation of security protocols</title><link>http://www.bibsonomy.org/bibtex/20047ed98a6642aa7763345a4ecaba27d/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-12-05T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Genge&#034;&gt;Béla Genge&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;Piroska Haller&lt;/a&gt;, &lt;a href=&#034;/author/Ignat&#034;&gt;Iosif Ignat&lt;/a&gt;,  and &lt;a href=&#034;/author/Ratoi&#034;&gt;Ovidiu Ratoi&lt;/a&gt; &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/292e7b2a54754fa18b8f3e00a977f2c2c/dblp"><title>Component based platform for multimedia applications</title><link>http://www.bibsonomy.org/bibtex/292e7b2a54754fa18b8f3e00a977f2c2c/dblp</link><dc:creator>dblp</dc:creator><dc:date>2011-12-05T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Ratoi&#034;&gt;Ovidiu Ratoi&lt;/a&gt;, &lt;a href=&#034;/author/Haller&#034;&gt;Piroska Haller&lt;/a&gt;, &lt;a href=&#034;/author/Salomie&#034;&gt;Ioan Salomie&lt;/a&gt;,  and &lt;a href=&#034;/author/Genge&#034;&gt;Béla Genge&lt;/a&gt; &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2009&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item></rdf:RDF>
