sign in · help · news · about ·

BibSonomy :: author :: Brüning ::

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

(72)

<< < 1 | 2 | 3 > >>

Extending ASSL: Making UML Metamodel-based Workflows executable.
Jens Brüning, Lars Hamann, and Andreas Wolff ECEASST (2011)
to dblp by dblp on Nov 3, 2011, 12:00 AM
URL | BibTeX
UML Metamodel-based Workflow Modeling and Execution.
Jens Brüning, and Martin Gogolla EDOC, page 97-106. IEEE Computer Society, (2011)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
TCCluster: A Cluster Architecture Utilizing the Processor Host Interface as a Network Interconnect.
Heiner Litz, Maximilian Thürmer, and Ulrich Brüning CLUSTER, page 9-18. IEEE, (2010)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
TTMS: A Task Tree Based Workflow Management System.
Jens Brüning, and Peter Forbrig BMMDS/EMMSAD, volume 81 of Lecture Notes in Business Information Processing, page 186-200. Springer, (2011)
to dblp by dblp on Aug 16, 2011, 12:00 AM
URL | BibTeX
Low Level Parallelization of Nonlinear Diffusion Filtering Algorithms for Cluster Computing Environments.
David Slogsnat, Markus Fischer, Andrés Bruhn, Joachim Weickert, and Ulrich Brüning Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 481-490. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Designing 3-D Nonlinear Diffusion Filters for High Performance Cluster Computing.
Andrés Bruhn, Tobias Jakob, Markus Fischer, Timo Kohlberger, Joachim Weickert, Ulrich Brüning, and Christoph Schnörr DAGM-Symposium, volume 2449 of Lecture Notes in Computer Science, page 290-297. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Making Task Modeling Suitable for Stakeholder-Driven Workflow Specifications.
Peter Forbrig, Anke Dittmar, Jens Brüning, and Maik Wurdel HCI 5, volume 6765 of Lecture Notes in Computer Science, page 51-60. Springer, (2011)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Exploiting Conditional Equivalences in Connection Calculi.
Stefan Brüning KI/ÖGAI, volume 2174 of Lecture Notes in Computer Science, page 122-137. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report.
Stefan Brüning, and Torsten Schaub IPMU, volume 945 of Lecture Notes in Computer Science, page 389-398. Springer, (1994)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Avoiding Non-ground Variables.
Stefan Brüning, and Torsten Schaub ESCQARU, volume 1638 of Lecture Notes in Computer Science, page 92-103. Springer, (1999)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Modeling and Formally Checking Workflow Properties Using UML and OCL.
Jens Brüning, Martin Gogolla, and Peter Forbrig BIR, volume 64 of Lecture Notes in Business Information Processing, page 130-145. Springer, (2010)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Declarative Workflow Modeling with UML Class Diagrams and OCL.
Jens Brüning BPSC, volume 147 of LNI, page 227-228. GI, (2009)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Globally Linear Connection Method.
Stefan Brüning New Generation Comput. 15(4):369-402 (1997)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion.
Peter Baumgartner, and Stefan Brüning J. Autom. Reasoning 19(2):205-262 (1997)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
Dynamische objektorientierte Interaktion und ihre Implementierung im Rahmen eines Schnittstellenverwaltungssystems.
Hinrich Brüning TH Darmstadt, (1990)
to dblp by dblp on Mar 24, 2011, 12:00 AM
BibTeX
Techniques for avoiding redundancy in theorem proving based on the connection method.
Stefan Brüning TH Darmstadt, (1994)
to dblp by dblp on Mar 23, 2011, 12:00 AM
BibTeX
Declarative Models for Business Processes and UI Generation using OCL.
Jens Brüning, and Andreas Wolff ECEASST (2009)
to dblp by dblp on Dec 31, 2010, 12:00 AM
URL | BibTeX
Systeme für eine hocheffiziente elektrische und optische Kurzstreckenübertragung im SAN-Bereich Systems for High-Efficient Electrical and Optical Short-Distance Data Transmission in System-Area-Networks.
Ulrich Brüning, and Ulrich Krackhardt it - Information Technology 45(2):65-71 (2003)
to dblp by dblp on Dec 11, 2010, 12:00 AM
URL | BibTeX
An FPGA-Based Custom High Performance Interconnection Network.
Mondrian Nüssle, Benjamin Geib, Holger Fröning, and Ulrich Brüning ReConFig, page 113-118. IEEE Computer Society, (2009)
to dblp by dblp on Jul 21, 2010, 4:06 PM
URL | BibTeX
An FPGA based verification platform for HyperTransport 3.x.
Heiner Litz, Holger Fröning, Maximilian Thürmer, and Ulrich Brüning FPL, page 631-634. IEEE, (2009)
to dblp by dblp on Jul 21, 2010, 3:58 PM
URL | BibTeX

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