sign in · help · news · about ·

BibSonomy :: author :: Josko ::

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

(46)

<< < 1 | 2 | 3 > >>

Analysis of the Correlation Coefficient Between Component Noise Squared Norms for OFDM Systems.
Nikola Rozic, Franco Chiaraluce, and Josko Radic IEEE Signal Process. Lett. 18(5):311-314 (2011)
to dblp by dblp on Feb 6, 2012, 12:00 AM
URL | BibTeX
Distribution of the noise squared norm in OFDM systems interfered by class a impulsive noise.
Nikola Rozic, and Josko Radic IEEE Communications Letters 14(4):318-320 (2010)
to dblp by dblp on Feb 1, 2012, 12:00 AM
URL | BibTeX
A Conjugate Gradient-Based BPTT-Like Optimal Control Algorithm With Vehicle Dynamics Control Application.
Josip Kasac, Josko Deur, Branko Novakovic, Ilya V. Kolmanovsky, and Francis Assadian IEEE Trans. Contr. Sys. Techn. 19(6):1587-1595 (2011)
to dblp by dblp on Dec 31, 2011, 12:00 AM
URL | BibTeX
Using contract-based component specifications for virtual integration testing and architecture design.
Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, and Ingo Stierand DATE, page 1023-1028. IEEE, (2011)
to dblp by dblp on Sep 2, 2011, 12:00 AM
URL | BibTeX
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.
Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva FMCO, volume 2852 of Lecture Notes in Computer Science, page 71-98. Springer, (2002)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Development of a Telephone Answering Machine in a Lab - FPGAs in Education.
Guido Schumacher, Bernhard Josko, Gerhard Wagner, and Martin Radetzki FPL, volume 1142 of Lecture Notes in Computer Science, page 400-404. Springer, (1996)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
A Compositional Real-Time Semantics of STATEMATE Designs.
Werner Damm, Bernhard Josko, Hardi Hungar, and Amir Pnueli COMPOS, volume 1536 of Lecture Notes in Computer Science, page 186-238. Springer, (1997)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Using a Visual Formalism for Design Verification in Industrial Environments.
Rainer Schlör, Bernhard Josko, and Dieter Werth Services and Visualization: Towards User-Friendly Design, volume 1385 of Lecture Notes in Computer Science, page 208-221. Springer, (1998)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
A Sound and Relatively* Compete Axiomatization of Clarke's Language L4.
Werner Damm, and Bernhard Josko Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 161-175. Springer, (1983)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
SUCCESS 2006 Motivation, Vorgehensweise und Ergebnisse.
Ralf Buschermöhle, Heike Eekhoff, and Bernhard Josko GI Jahrestagung 1, volume 93 of LNI, page 295-301. GI, (2006)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Effective simulation of signals for testing ECG analyzer.
Adam Josko, and Remigiusz J. Rak IEEE T. Instrumentation and Measurement 54(3):1019-1024 (2005)
to dblp by dblp on May 26, 2011, 12:00 AM
URL | BibTeX
A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.
Werner Damm, and Bernhard Josko Acta Inf. (1983)
to dblp by dblp on Jan 11, 2011, 12:00 AM
URL | BibTeX
RFID-based solution for galleries and museums visit modelling using Markov model, BBN's and MAP decisions.
Petar Solic, Nikola Rozic, and Josko Radic IJIIDS 4(6):532-551 (2010)
to dblp by dblp on Nov 24, 2010, 12:00 AM
URL | BibTeX
Bond graph modeling of series-parallel hybrid electric vehicle power train dynamics.
Josko Deur, Mihael Cipek, and Josko Petric SpringSim, page 218. SCS/ACM, (2010)
to dblp by dblp on Nov 23, 2010, 12:00 AM
URL | BibTeX
Reconstruction of the samples corrupted with impulse noise in multicarrier systems.
Josko Radic, and Nikola Rozic WCNC, page 1043-1047. (2009)
to dblp by dblp on Aug 13, 2010, 12:00 AM
URL | BibTeX
Automatic Validation and Verification in a Model-Based Development Process.
Udo Brockmeyer, Werner Damm, Hardi Hungar, and Bernhard Josko MBEES, volume 2005-1 of Informatik-Bericht, page 113-124. TU Braunschweig, Institut für Software Systems Engineering, (2005)
to dblp by dblp on Jul 21, 2010, 4:07 PM
URL | BibTeX
Theoretical analysis of iterative signal reconstruction for impulsive noise mitigation in OFDM systems.
Nikola Rozic, and Josko Radic Int. J. Communication Systems 23(3):277-298 (2010)
to dblp by dblp on Mar 19, 2010, 12:00 AM
URL | BibTeX
Metamodels in Europe: Languages, Tools, and Applications.
Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, and Alberto L. Sangiovanni-Vincentelli IEEE Design & Test of Computers 26(3):38-53 (2009)
to dblp by dblp on Dec 10, 2009, 12:00 AM
URL | BibTeX
Verifying the Correctness of AADL Modules Using Model Checking.
Bernhard Josko REX Workshop, volume 430 of Lecture Notes in Computer Science, page 386-400. Springer, (1989)
to dblp by dblp on Oct 8, 2009, 12:00 AM
URL | BibTeX
Modular Verification of Petri Nets: The Temporal Logic Approach.
Werner Damm, Gert Döhmen, Volker Gerstner, and Bernhard Josko REX Workshop, volume 430 of Lecture Notes in Computer Science, page 180-207. Springer, (1989)
to dblp by dblp on Oct 8, 2009, 12:00 AM
URL | BibTeX

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

a gripper