Suche in der Hochschulbibliografie

Treffer 41-50 von 64

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 5 von 7
• 
• 

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 41
  49GBVUOB_ALMA7114554012000350149GBVUOB_ALMA71145540120003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71145540120003501
  Artikel
  Modeling the masking of tones by Schroeder-phase harmonic tone complexes

  von Eugen Rasumow ; Martin Hansen ; Stephan D. Ewert

  2009

  Details anzeigen

  Enthalten in: Proceedings ; Vol. 1 Berlin : DEGA, 2009 (2009), Seite 368-371 XXXV, 566 S.

  Sprache: Englisch
• 42
  49GBVUOB_ALMA2123659939000350149GBVUOB_ALMA21236599390003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236599390003501
  Artikel
  Efficient model checking for duration calculus

  von Martin Fränzle ; Michael R. Hansen

  2009

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Hansen, Michael R. ([-1994])Fränzle, Martin ([1998-])

  Enthalten in: International journal of software and informatics 3 (2009), 2/3, S. 171 - 196

  Sprache: Englisch

  >> Volltext
• 43
  49GBVUOB_ALMA7141138001000350149GBVUOB_ALMA71411380010003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411380010003501
  Artikel
  Efficient model checking for duration calculus based on branching-time approximations

  von Martin Fränzle ; Michael R. Hansen

  2008

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Hansen, Michael R. ([-1994])Fränzle, Martin ([1998-])

  Enthalten in: 6th IEEE International Conference on Software Engineering and Formal Methods Los Alamitos, Calif., 2008 S. 63 - 72

  Sprache: Englisch
• 44
  49GBVUOB_ALMA7141147934000350149GBVUOB_ALMA71411479340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411479340003501
  Artikel
  Deciding an interval logic with accumulated durations

  von Martin Fränzle ; Michael R. Hansen

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Hansen, Michael R. ([-1994])Fränzle, Martin ([1998-])

  Enthalten in: Tools and algorithms for the construction and analysis of systems Berlin [u.a.], 2007

  Sprache: Englisch
• 45
  49GBVUOB_ALMA2123675862000350149GBVUOB_ALMA21236758620003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236758620003501
  Artikel
  Effects of behavioural time budgets and nest-building efficiency on male reproductive performance in red bishops (Euplectes orix)

  von Markus Metz ; Nicole Geberzahn ; Lars H. Hansen ; Georg M. Klump ; Thomas W. P. Friedl

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Klump, Georg M.Friedl, Thomas W. P.Metz, Markus ([2002-])

  Enthalten in: Journal of ornithology 148 (2007), S. [145] - 155

  Sprache: Englisch

  >> Volltext
• 46
  49GBVUOB_ALMA7141141387000350149GBVUOB_ALMA71411413870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411413870003501
  Artikel
  Bounded model construction for duration calculus

  von Jacob Enslev ; Anne-Sofie Nielsen ; Martin Fränzle ; Michael R. Hansen

  2005

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Hansen, Michael R. ([-1994])

  Enthalten in: Proceedings of the 17th Nordic Workshop Programming Theory Neil Jones ..., eds., 2005

  Sprache: Englisch
• 47
  49GBVUOB_ALMA2123638623000350149GBVUOB_ALMA21236386230003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236386230003501
  Artikel
  A robust interpretation of duration calculus

  von Martin Fränzle ; Michael R. Hansen

  2004

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Hansen, Michael R. ([-1994])Fränzle, Martin ([1998-])

  Enthalten in: Nordic Workshop on Programming Theory (NWPT) 2004 2004 3 S. <3>

  Sprache: Englisch

  >> Volltext
• 48
  49GBVUOB_ALMA2123712811000350149GBVUOB_ALMA21237128110003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237128110003501
  Artikel
  Vocal repertoires and element sharing in the red bishop (Euplectes orix)

  von Lars H. Hansen ; Georg M. Klump ; Thomas W. P. Friedl

  2001

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Klump, Georg M.Friedl, Thomas W. P.

  Enthalten in: Contributions to the XXVII International Ethological Conference Berlin [u.a.], 2001 S. 170

  Sprache: Englisch

  >> Volltext
• 49
  49GBVUOB_ALMA7141140904000350149GBVUOB_ALMA71411409040003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411409040003501
  Artikel
  Perception of band-specific speech quality distortions : detection and pairwise comparison

  von Martin Hansen ; Birger Kollmeier

  2000

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Kollmeier, BirgerHansen, Martin ([-1999])

  Enthalten in: Acustica 86 (2000), S. 338 - 349

  Sprache: Englisch
• 50
  49GBVUOB_ALMA7141137517000350149GBVUOB_ALMA71411375170003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411375170003501
  Artikel
  Objective modeling of speech quality with a psychoacoustically validated auditory model

  von Martin Hansen ; Birger Kollmeier

  2000

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Kollmeier, BirgerHansen, Martin ([-1999])

  Enthalten in: Journal of the Audio Engineering Society 48 (2000), S. 395 - 408

  Sprache: Englisch