BibSonomy :: author  ::

bookmarks

publications

(40)

• Approximate performance analysis of heavily loaded slotted downlink channel in a wireless CDMA system supporting integrated voice/data services.
  Jacek Swiderski IEEE Transactions on Wireless Communications 4 484-494 (2005)
  to dblp by dblp on 2008-05-29 00:00:00
  | URL | BibTeX  
• Termination of Programs using Term Rewriting and SAT Solving.
  Jürgen Giesl and Peter Schneider-Kamp and René Thiemann and Stephan Swiderski and Manh Thang Nguyen and Danny De Schreye and Alexander Serebrenik Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Proving Termination by Bounded Increase.
  Jürgen Giesl and René Thiemann and Stephan Swiderski and Peter Schneider-Kamp CADE 443-459 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• Epileptic Seizure Prediction Using Lyapunov Exponents and Support Vector Machine.
  Bartosz Swiderski and Stanislaw Osowski and Andrzej Cichocki and Andrzej Rysz ICANNGA (2) 373-381 (2007)
  to dblp by dblp on 2007-07-06 00:00:00
  | URL | BibTeX  
• Eine Wissensbasis zur rechnerunterstützten Arbeitsplanerzeugung.
  Hans-Jürgen Warnecke and Hermann Kühnle and H. Wiedenmann WIMPEL 59-71 (1988)
  to dblp by dblp on 2006-09-18 00:00:00
  | URL | BibTeX  
• Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages.
  Jürgen Giesl and Stephan Swiderski and Peter Schneider-Kamp and René Thiemann RTA 297-312 (2006)
  to dblp by dblp on 2006-08-22 00:00:00
  | URL | BibTeX  
• Approximate performance analysis of real-time traffic over heavily loaded networks with timed token protocols.
  Jacek Swiderski IEEE/ACM Trans. Netw. 4 470-478 (1996)
  to dblp by dblp on 2006-03-02 00:00:00
  | URL | BibTeX  
• CHAMP: Ein Expertensystem zur wissensbasierten Erstellung.
  T. Mielke WIMPEL 86-97 (1988)
  to dblp by dblp on 2004-05-19 00:00:00
  | URL | BibTeX  
• Ein Expertensystem zur Auswahl von Greifern und Sensoren für Roboter Anwendungen.
  T. Doll and D. Huber WIMPEL 142-156 (1988)
  to dblp by dblp on 2004-05-19 00:00:00
  | URL | BibTeX  
• Werkzeuge für die wissensbasierte Diagnose im industriellen Bereich.
  Bernd Breutmann and H. Liebsch and G. Seng WIMPEL 416-428 (1988)
  to dblp by dblp on 2004-05-19 00:00:00
  | URL | BibTeX