Publications DTAI

1981

Articles in internationally reviewed journals

3 references

• Ballieu, Gerard; Lewi, Johan; Willems, Yves. A microprogramming language at Register Transfer Level, Microprocessing and Microprogramming (The Euromicro Journal), 1981

  @article{133165,
    author = "Ballieu, Gerard and Lewi, Johan and Willems, Yves",
    title = "A microprogramming language at {R}egister {T}ransfer {L}evel",
    journal = "Microprocessing and Microprogramming (The Euromicro Journal)",
    month = Dec,
    year = "1981",
    url = "https://lirias.kuleuven.be/handle/123456789/133165",
  }
  

• Bruynooghe, Maurice. Solving combinatorial search problems by intelligent backtracking, Information Processing Letters, volume 12, issue 1, pages 36-39, 1981

  @article{124460,
    author = "Bruynooghe, Maurice",
    title = "Solving combinatorial search problems by intelligent backtracking",
    journal = "Information Processing Letters",
    volume = "12",
    number = "1",
    pages = "36--39",
    year = "1981",
    doi = "10.1016/0020-0190(81)90074-0",
    url = "https://lirias.kuleuven.be/handle/123456789/124460",
  }
  

• De Schreye, Danny; Van Daele, Alphons. A new technique to deal with cuntz-algebras, Mathematische Annalen, volume 257, issue 3, pages 397-401, 1981

  @article{39154,
    author = "De Schreye, Danny and Van Daele, Alphons",
    title = "A new technique to deal with cuntz-algebras",
    journal = "Mathematische Annalen",
    volume = "257",
    number = "3",
    pages = "397--401",
    year = "1981",
    url = "https://lirias.kuleuven.be/handle/123456789/39154",
  }
  

Papers at international conferences and symposia, published in full in proceedings

2 references

• Ballieu, Gerard; Willems, Yves; Lewi, Johan. Effective use of microprogramming capabilities, Paris, EUROMICRO 81, Seventh Symposium on Microprocessing and Microprogramming, September 7-10, 1981

  @inproceedings{132526,
    author = "Ballieu, Gerard and Willems, Yves and Lewi, Johan",
    title = "Effective use of microprogramming capabilities",
    booktitle = "EUROMICRO 81, Seventh Symposium on Microprocessing and Microprogramming, September 7-10",
    month = Sep,
    year = "1981",
    url = "https://lirias.kuleuven.be/handle/123456789/132526",
  }
  

• Bruynooghe, Maurice. Intelligent backtracking for an interpreter of Horn clause logic programs, Domolki, B.; Gergely, T (eds.), Colloquium Mathematical Logic in Computer Science, Salgotarjan, Hungary, September 1978, Mathematical Logic in Computer Science, Proc. Colloquium, Salgotarjan, Sept '78, pages 215-257, North Holland, 1981

  @inproceedings{131372,
    author = "Bruynooghe, Maurice",
    title = "Intelligent backtracking for an interpreter of {H}orn clause logic programs",
    booktitle = "Mathematical Logic in Computer Science, Proc. Colloquium, Salgotarjan, Sept '78, ",
    editor = "Domolki, B. and Gergely, T.",
    publisher = "North Holland",
    pages = "215--257",
    year = "1981",
    url = "https://lirias.kuleuven.be/handle/123456789/131372",
  }
  

Papers at other conferences and symposia, published in full in proceedings

1 reference

• Bruynooghe, Maurice. Prolog voor het ontwikkelen van prototype informatiesystemen, Symposium IBM-NFWO, Brussel, Belgium, December 1981, Symposium IBM-NFWO 1981, pages 149-151

  @inproceedings{132269,
    author = "Bruynooghe, Maurice",
    title = "Prolog voor het ontwikkelen van prototype informatiesystemen",
    booktitle = "Symposium IBM-NFWO 1981, ",
    pages = "149--151",
    month = Dec,
    year = "1981",
    url = "https://lirias.kuleuven.be/handle/123456789/132269",
  }
  

Internal reports

2 references

• Ballieu, Gerard. Microprograms for the calling sequence in C-programs, CW Reports, volume CW25, 9 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1981

  @techreport{134630,
    author = "Ballieu, Gerard",
    title = "Microprograms for the calling sequence in {C}-programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW25",
    month = May,
    year = "1981",
    url = "https://lirias.kuleuven.be/handle/123456789/134630",
  }
  

• Bruynooghe, Maurice; Pereira, Louis M.. Revision of top-down logical reasoning through intelligent backtracking, CW Reports, volume CW23, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1981

  @techreport{132528,
    author = "Bruynooghe, Maurice and Pereira, Louis M.",
    title = "Revision of top-down logical reasoning through intelligent backtracking",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW23",
    month = Mar,
    year = "1981",
    url = "https://lirias.kuleuven.be/handle/123456789/132528",
  }
  

 
Last update local database Sun Jun 16 2013 0:17 am; It contains now 9772 items.

Yearly overview: