Skip to main content
Department of Software Engineering
Institute of Informatics, University of Szeged

RGAI

Search form

  • Home
  • Research & Development
  • Trainings
  • Conferences
  • Publications
  • People
  • EU Projects
  • Partners
  • Groups
    • AI4SW
    • Inclouded
    • IoLT - Internet of Living Things
    • IoT Cloud
  • Jobs
  • Szakmai Gyakorlat
  • COVID-19
  • Pince Akadémia

A Test Environment for Investigation of Dynamic Load Balancing in Transputer Networks

Schrettner L, Jelly IE.  1993.  A Test Environment for Investigation of Dynamic Load Balancing in Transputer Networks. Transputer and Occam Engineering Series. 36:284-295.
  • Read more about A Test Environment for Investigation of Dynamic Load Balancing in Transputer Networks
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

Interactive diagnosis and testing of logic programs

Horváth T, Gyimóthy T, Alexin Z, Kocsis F.  1993.  Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.
  • Read more about Interactive diagnosis and testing of logic programs
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

A Parallel Design Method for Producing Valid Protocols

Schrettner L, Bohus M.  1994.  A Parallel Design Method for Producing Valid Protocols. Proc. of 8th Symposium on Microcomputer and Microprocessor Applications. :689-697.
  • Read more about A Parallel Design Method for Producing Valid Protocols
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

The {IDT} System and its Application for Learning Prolog Programs

Kókai G, Alexin Z, Kocsis F.  1994.  The {IDT} System and its Application for Learning Prolog Programs. Sixth International Conference on Artificial Intelligence and Information-Control Systems of Robots. :315-320.
  • Read more about The {IDT} System and its Application for Learning Prolog Programs
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

Effective Algorithmic Debugging for Inductive Logic Programming

Paakki J, Gyimóthy T, Horváth T.  1994.  Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.
  • Read more about Effective Algorithmic Debugging for Inductive Logic Programming
  • Google Scholar
  • BibTeX
Page last modified: January 17, 2012

Static Slicing of Logic Programs

Gyimóthy T, Paakki J.  1995.  Static Slicing of Logic Programs. AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging. :85–105.
  • Read more about Static Slicing of Logic Programs
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

O caracterizare structurala a multimilor partiale D-continue

Romila B, Preda C, Holló C..  1995.  O caracterizare structurala a multimilor partiale D-continue. Studii si Cercetari Matematice. 47:81-96.
  • Read more about O caracterizare structurala a multimilor partiale D-continue
  • Google Scholar
  • BibTeX
Page last modified: January 17, 2012

Comunicare si concurentă în CSP

Holló C..  1995.  Comunicare si concurentă în CSP.
  • Read more about Comunicare si concurentă în CSP
  • Google Scholar
  • BibTeX
Page last modified: January 17, 2012

Tehnici de modelare în psihologie bazate pe teoria Fuzzy. Aplicatii pentru recunoasterea motivatiilor

Holló C..  1995.  Tehnici de modelare în psihologie bazate pe teoria Fuzzy. Aplicatii pentru recunoasterea motivatiilor.
  • Read more about Tehnici de modelare în psihologie bazate pe teoria Fuzzy. Aplicatii pentru recunoasterea motivatiilor
  • Google Scholar
  • BibTeX
Page last modified: January 17, 2012

Independent and-parallelization of logic programs using static slicing

Paakki J, Gyimóthy T, Horváth T.  1995.  Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
  • Read more about Independent and-parallelization of logic programs using static slicing
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012
  • first
  • previous
  • …
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • …
  • next
  • last

Copyright © 2026, Department of Software Engineering (SED), Institute of Informatics, University of Szeged