Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Enn Tyugu
@inproceedings{DBLP:conf/ejc/Tyugu15,
author = {Enn Tyugu},
editor = {Tatjana Welzer and
Hannu Jaakkola and
Bernhard Thalheim and
Yasushi Kiyoki and
Naofumi Yoshida},
title = {Abstract handling of Information and Knowledge},
booktitle = {Information Modelling and Knowledge Bases XXVII, 25th International
Conference on Information Modelling and Knowledge Bases {(EJC} 2015),
Maribor, Slovenia, June 8-12, 2015},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {280},
pages = {129--136},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-611-8-129},
doi = {10.3233/978-1-61499-611-8-129},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ejc/Tyugu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splst/TyuguP15,
author = {Enn Tyugu and
Jaan Penjam},
editor = {Jyrki Nummenmaa and
Outi Sievi{-}Korte and
Erkki M{\"{a}}kinen},
title = {Model-based technology of software development in large},
booktitle = {Proceedings of the 14th Symposium on Programming Languages and Software
Tools (SPLST'15), Tampere, Finland, October 9-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1525},
pages = {149--163},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1525/paper-11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/splst/TyuguP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/OjamaaT14,
author = {Andres Ojamaa and
Enn Tyugu},
editor = {Christos G. Panayiotou and
Georgios Ellinas and
Elias Kyriakides and
Marios M. Polycarpou},
title = {Enterprise Security Analysis and Training Experience},
booktitle = {Critical Information Infrastructures Security - 9th International
Conference, {CRITIS} 2014, Limassol, Cyprus, October 13-15, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8985},
pages = {200--208},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-31664-2\_21},
doi = {10.1007/978-3-319-31664-2\_21},
timestamp = {Sun, 02 Jun 2019 21:14:08 +0200},
biburl = {https://dblp.org/rec/conf/critis/OjamaaT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/TyuguHG14,
author = {Enn Tyugu and
Mait Harf and
Pavel Grigorenko},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {A Case Study of Combining Compositional and Object-oriented Software
Development},
booktitle = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
on Model-Driven Engineering and Software Development, Lisbon, Portugal,
7 - 9 January, 2014},
pages = {201--208},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004698502010208},
doi = {10.5220/0004698502010208},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/TyuguHG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsima/Tyugu13,
author = {Enn Tyugu},
editor = {Gabriel Jakobson and
Adam Stotz and
Mitch Kokar and
Tom Ziemke},
title = {Situation awareness and control errors of cyber weapons},
booktitle = {{IEEE} International Multi-Disciplinary Conference on Cognitive Methods
in Situation Awareness and Decision Support, CogSIMA 2013, San Diego,
CA, USA, February 25-28, 2013},
pages = {143--148},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CogSIMA.2013.6523838},
doi = {10.1109/COGSIMA.2013.6523838},
timestamp = {Sun, 08 Aug 2021 01:40:51 +0200},
biburl = {https://dblp.org/rec/conf/cogsima/Tyugu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/KotkasPKT13,
author = {Vahur Kotkas and
Jaan Penjam and
Ahto Kalja and
Enn Tyugu},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {A Model-based Software Technology Proposal},
booktitle = {{MODELSWARD} 2013 - Proceedings of the 1st International Conference
on Model-Driven Engineering and Software Development, Barcelona, Spain,
19 - 21 February, 2013},
pages = {312--315},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004348203120315},
doi = {10.5220/0004348203120315},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/KotkasPKT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cycon/Tyugu12,
author = {Enn Tyugu},
editor = {Christian Czosseck and
Rain Ottis and
Katharina Ziolkowski},
title = {Command and control of cyber weapons},
booktitle = {4th International Conference on Cyber Conflict, CyCon 2012, Tallinn,
Estonia, June 5-8, 2012},
pages = {1--11},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6243984/},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cycon/Tyugu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cycon/Tyugu11,
author = {Enn Tyugu},
editor = {Christian Czosseck and
Enn Tyugu and
Thomas C. Wingfield},
title = {Artificial intelligence in cyber defense},
booktitle = {3rd International Conference on Cyber Conflict, CyCon 2011, Tallinn,
Estonia, June 7-10, 2011},
pages = {1--11},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/document/5954703/},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cycon/Tyugu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ejc/MaigreT11,
author = {Riina Maigre and
Enn Tyugu},
editor = {Jaak Henno and
Yasushi Kiyoki and
Takehiro Tokuda and
Hannu Jaakkola and
Naofumi Yoshida},
title = {Composition of Services on Hierarchical Service Models},
booktitle = {Information Modelling and Knowledge Bases XXIII, 21st European-Japanese
Conference on Information Modelling and Knowledge Bases {(EJC} 2011),
Tallinn, Estonia, June, 6-10, 2011},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {237},
pages = {110--129},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-992-9-110},
doi = {10.3233/978-1-60750-992-9-110},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ejc/MaigreT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ejc/Tyugu11,
author = {Enn Tyugu},
editor = {Jaak Henno and
Yasushi Kiyoki and
Takehiro Tokuda and
Hannu Jaakkola and
Naofumi Yoshida},
title = {When Computers Become too Smart},
booktitle = {Information Modelling and Knowledge Bases XXIII, 21st European-Japanese
Conference on Information Modelling and Knowledge Bases {(EJC} 2011),
Tallinn, Estonia, June, 6-10, 2011},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {237},
pages = {412--418},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-992-9-412},
doi = {10.3233/978-1-60750-992-9-412},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ejc/Tyugu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/KotkasOGMHT11,
author = {Vahur Kotkas and
Andres Ojamaa and
Pavel Grigorenko and
Riina Maigre and
Mait Harf and
Enn Tyugu},
editor = {Jason Liu and
Francesco Quaglia and
Stephan J. Eidenbenz and
Stephen Gilmore},
title = {CoCoViLa as a multifunctional simulation platform},
booktitle = {4th International {ICST} Conference on Simulation Tools and Techniques,
SIMUTools '11, Barcelona, Spain, March 22 - 24, 2011},
pages = {198--205},
publisher = {{ICST/ACM}},
year = {2011},
url = {https://doi.org/10.4108/icst.simutools.2011.245553},
doi = {10.4108/ICST.SIMUTOOLS.2011.245553},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simutools/KotkasOGMHT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cycon/2011,
editor = {Christian Czosseck and
Enn Tyugu and
Thomas C. Wingfield},
title = {3rd International Conference on Cyber Conflict, CyCon 2011, Tallinn,
Estonia, June 7-10, 2011},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/5945935/proceeding},
isbn = {978-1-61284-245-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cycon/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/GrigorenkoT10,
author = {Pavel Grigorenko and
Enn Tyugu},
title = {Higher-Order Attribute Semantics of Flat Declarative Languages},
journal = {Comput. Informatics},
volume = {29},
number = {2},
pages = {251--280},
year = {2010},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/83},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/GrigorenkoT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/LorentsT09,
author = {Peeter Lorents and
Enn Tyugu},
editor = {Hamid R. Arabnia and
David de la Fuente and
Jos{\'{e}} Angel Olivas},
title = {Lattices of Knowledge Systems},
booktitle = {Proceedings of the 2009 International Conference on Artificial Intelligence,
{ICAI} 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes},
pages = {515--520},
publisher = {{CSREA} Press},
year = {2009},
timestamp = {Sun, 01 Nov 2009 16:07:13 +0100},
biburl = {https://dblp.org/rec/conf/icai/LorentsT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/KivimaaOT08,
author = {J{\"{u}}ri Kivimaa and
Andres Ojamaa and
Enn Tyugu},
editor = {Roberto Setola and
Stefan Geretshuber},
title = {Graded Security Expert System},
booktitle = {Critical Information Infrastructure Security, Third International
Workshop, {CRITIS} 2008, Rome, Italy, October 13-15, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5508},
pages = {279--286},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03552-4\_25},
doi = {10.1007/978-3-642-03552-4\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/critis/KivimaaOT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/MaigreKMT08,
author = {Riina Maigre and
Peep K{\"{u}}ngas and
Mihhail Matskin and
Enn Tyugu},
editor = {Abdelhamid Mellouk and
Jun Bi and
Guadalupe Ortiz and
Dickson K. W. Chiu and
Manuela Popescu},
title = {Handling Large Web Services Models in a Federated Governmental Information
System},
booktitle = {Third International Conference on Internet and Web Applications and
Services, {ICIW} 2008, 8-13 June 2008, Athens, Greece},
pages = {626--631},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICIW.2008.67},
doi = {10.1109/ICIW.2008.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciw/MaigreKMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jckbse/MaigreGKT08,
author = {Riina Maigre and
Pavel Grigorenko and
Peep K{\"{u}}ngas and
Enn Tyugu},
editor = {Maria Virvou and
Taichi Nakamura},
title = {Stratified Composition of Web Services},
booktitle = {Knowledge-Based Software Engineering, Proceedings of the Eighth Joint
Conference on Knowledge-Based Software Engineering, {JCKBSE} 2008,
August 25-28, 2008, University of Piraeus, Piraeus, Greece},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {180},
pages = {49--58},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-900-4-49},
doi = {10.3233/978-1-58603-900-4-49},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jckbse/MaigreGKT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/faia/2007-159,
author = {Enn Tyugu},
title = {Algorithms and Architectures of Artificial Intelligence},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {159},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=6945},
isbn = {978-1-58603-770-3},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/2007-159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hinc/Tyugu07,
author = {Enn Tyugu},
editor = {John Impagliazzo and
Timo J{\"{a}}rvi and
Petri Paju},
title = {Computing and Computer Science in the Soviet Baltic Region},
booktitle = {History of Nordic Computing 2 - Second {IFIP} {WG} 9.7 Conference,
HiNC2, Turku, Finland, August 21-23, 2007, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {303},
pages = {29--37},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-03757-3\_3},
doi = {10.1007/978-3-642-03757-3\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hinc/Tyugu07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/MatskinMT07,
author = {Mihhail Matskin and
Riina Maigre and
Enn Tyugu},
title = {Compositional Logical Semantics for Business Process Languages},
booktitle = {International Conference on Internet and Web Applications and Services
{(ICIW} 2007), May 13-19, 2007, Le Morne, Mauritius},
pages = {38},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICIW.2007.24},
doi = {10.1109/ICIW.2007.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciw/MatskinMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msv/OjamaaT07,
author = {Andres Ojamaa and
Enn Tyugu},
editor = {Hamid R. Arabnia},
title = {Rich Components of Extendable Simulation Platform},
booktitle = {Proceedings of the 2007 International Conference on Modeling, Simulation
{\&} Visualization Methods, {MSV} 2007, Las Vegas, Nevada, USA,
June 25-28, 2007},
pages = {121--127},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Wed, 12 Dec 2007 16:54:59 +0100},
biburl = {https://dblp.org/rec/conf/msv/OjamaaT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Tyugu06,
author = {Enn Tyugu},
title = {Understanding knowledge architectures},
journal = {Knowl. Based Syst.},
volume = {19},
number = {1},
pages = {50--56},
year = {2006},
url = {https://doi.org/10.1016/j.knosys.2005.07.006},
doi = {10.1016/J.KNOSYS.2005.07.006},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/Tyugu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jckbse/GrigorenkoT06,
author = {Pavel Grigorenko and
Enn Tyugu},
editor = {Enn Tyugu and
Takahira Yamaguchi},
title = {Deep Semantics of Visual Languages},
booktitle = {Knowledge-Based Software Engineering, Proceedings of the Seventh Joint
Conference on Knowledge-Based Software Engineering, {JCKBSE} 2006,
August 28-31, 2006, Tallinn, Estonia},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {140},
pages = {83--95},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1595},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jckbse/GrigorenkoT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swws/MatskinT06,
author = {Mihhail Matskin and
Enn Tyugu},
editor = {Hamid R. Arabnia},
title = {Logic for Higher-Order Workflow of Composite Web Services},
booktitle = {Proceedings of the 2006 International Conference on Semantic Web {\&}
Web Services, {SWWS} 2006, Las Vegas, Nevada, USA, June 26-29, 2006},
pages = {122--128},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Tue, 05 Dec 2006 13:08:49 +0100},
biburl = {https://dblp.org/rec/conf/swws/MatskinT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jckbse/2006,
editor = {Enn Tyugu and
Takahira Yamaguchi},
title = {Knowledge-Based Software Engineering, Proceedings of the Seventh Joint
Conference on Knowledge-Based Software Engineering, {JCKBSE} 2006,
August 28-31, 2006, Tallinn, Estonia},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {140},
publisher = {{IOS} Press},
year = {2006},
isbn = {978-1-58603-640-9},
timestamp = {Mon, 16 Feb 2009 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jckbse/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ejc/Tyugu05,
author = {Enn Tyugu},
editor = {Yasushi Kiyoki and
Jaak Henno and
Hannu Jaakkola and
Hannu Kangassalo},
title = {Describing Knowledge Architectures},
booktitle = {Information Modelling and Knowledge Bases XVII, 15th European-Japanese
Conference on Information Modelling and Knowledge Bases {(EJC} 2005),
Tallinn, Estonia, May 16-20, 2005},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {136},
pages = {329--340},
publisher = {{IOS} Press},
year = {2005},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=791},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ejc/Tyugu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isws/TyuguM05,
author = {Enn Tyugu and
Mihhail Matskin},
editor = {Hamid R. Arabnia},
title = {Logical Instruments for Dynamic Web Service Composition},
booktitle = {Proceedings of The 2005 International Symposium on Web Services and
Applications, {ISWS} 2005, Las Vegas, Nevada, USA, June 27-30, 2005},
pages = {87--93},
publisher = {{CSREA} Press},
year = {2005},
timestamp = {Thu, 16 Feb 2006 15:58:57 +0100},
biburl = {https://dblp.org/rec/conf/isws/TyuguM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/Tyugu05,
author = {Enn Tyugu},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Metainterfaces Support Structural and Object-Oriented Software Composition},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} 2005, Las Vegas, Nevada, USA, June 27-29,
2005, Volume 1},
pages = {189--194},
publisher = {{CSREA} Press},
year = {2005},
timestamp = {Tue, 31 Jan 2006 11:57:16 +0100},
biburl = {https://dblp.org/rec/conf/serp/Tyugu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GrigorenkoST05,
author = {Pavel Grigorenko and
Ando Saabas and
Enn Tyugu},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Visual tool for generative programming},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {249--252},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081747},
doi = {10.1145/1081706.1081747},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GrigorenkoST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrigorenkoST05,
author = {Pavel Grigorenko and
Ando Saabas and
Enn Tyugu},
editor = {John Boyland and
G{\"{o}}rel Hedin},
title = {{COCOVILA} - Compiler-Compiler for Visual Languages},
booktitle = {Proceedings of the Fifth Workshop on Language Descriptions, Tools,
and Applications, LDTA@ETAPS 2005, Edinburgh, UK, April 3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {4},
pages = {137--142},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.009},
doi = {10.1016/J.ENTCS.2005.05.009},
timestamp = {Tue, 13 Dec 2022 10:43:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrigorenkoST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/Tyugu04,
author = {Enn Tyugu},
editor = {Hamid R. Arabnia},
title = {Modularity of Knowledge},
booktitle = {Proceedings of the International Conference on Artificial Intelligence,
{IC-AI} '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1},
pages = {295--301},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 19 Nov 2004 14:58:57 +0100},
biburl = {https://dblp.org/rec/conf/icai/Tyugu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/Tyugu03,
author = {Enn Tyugu},
editor = {Hamid R. Arabnia and
Rose Joshua and
Youngsong Mun},
title = {Formalization of Knowledge Systems},
booktitle = {Proceedings of the International Conference on Artificial Intelligence,
{IC-AI} '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2},
pages = {654--658},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Fri, 10 Oct 2003 13:38:40 +0200},
biburl = {https://dblp.org/rec/conf/icai/Tyugu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/LammermannT02,
author = {Sven L{\"{a}}mmermann and
Enn Tyugu},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Computational Frames as Metainterfaces},
booktitle = {Proceedings of the International Conference on Artificial Intelligence,
{IC-AI} '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3},
pages = {1094--1099},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Fri, 31 Oct 2003 09:21:57 +0100},
biburl = {https://dblp.org/rec/conf/icai/LammermannT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HallT01,
author = {Robert J. Hall and
Enn Tyugu},
title = {Guest Editorial},
journal = {Autom. Softw. Eng.},
volume = {8},
number = {1},
pages = {5--6},
year = {2001},
url = {https://doi.org/10.1023/A:1008795107038},
doi = {10.1023/A:1008795107038},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/HallT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/MatskinT01,
author = {Mihhail Matskin and
Enn Tyugu},
title = {Strategies of Structural Synthesis of Programs and its Extensions},
journal = {Comput. Artif. Intell.},
volume = {20},
number = {1},
pages = {1--25},
year = {2001},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/508},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/MatskinT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HarfKKKT01,
author = {Mait Harf and
Kristiina Kindel and
Vahur Kotkas and
Peep K{\"{u}}ngas and
Enn Tyugu},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Automated Program Synthesis for Java Programming Language},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov
Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
July 2-6, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2244},
pages = {157--164},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45575-2\_17},
doi = {10.1007/3-540-45575-2\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/HarfKKKT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/LammermannT01,
author = {Sven L{\"{a}}mmermann and
Enn Tyugu},
title = {A Specification Logic for Dynamic Composition of Services},
booktitle = {21st International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2001 Workshops), 16-19 April 2001, Phoenix, AZ, USA, Proceedings},
pages = {157--162},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CDCS.2001.918700},
doi = {10.1109/CDCS.2001.918700},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/LammermannT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/LammermannTV01,
author = {Sven L{\"{a}}mmermann and
Enn Tyugu and
Vladimir Vlassov},
editor = {Victor E. Malyshkin},
title = {Concurrent Implementation of Structurally Synthesized Programs},
booktitle = {Parallel Computing Technologies, 6th International Conference, PaCT
2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2127},
pages = {277--284},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44743-1\_27},
doi = {10.1007/3-540-44743-1\_27},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/LammermannTV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/Tyugu00,
author = {Enn Tyugu},
editor = {Hamid R. Arabnia},
title = {A Specification Logic for Reconfigurable Computing},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Mon, 08 Dec 2003 16:35:08 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/Tyugu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/TyuguMP99,
author = {Enn Tyugu and
Mihhail Matskin and
Jaan Penjam},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Applications of Structural Synthesis of Programs},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {551--569},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_31},
doi = {10.1007/3-540-48119-2\_31},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/TyuguMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/VlassovAT98,
author = {Vladimir Vlassov and
Mattin Addibpour and
Enn Tyugu},
title = {{NUTS:} a Distributed Object-oriented Platform with High Level Communication
Functions},
journal = {Comput. Artif. Intell.},
volume = {17},
number = {4},
pages = {305--335},
year = {1998},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/629},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/VlassovAT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/Tyugu98,
author = {Enn Tyugu},
editor = {Serge Demeyer and
Jan Bosch},
title = {From Visual Specifications to Executable Code},
booktitle = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops,
Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1543},
pages = {499--501},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49255-0\_165},
doi = {10.1007/3-540-49255-0\_165},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/Tyugu98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/TyuguV97,
author = {Enn Tyugu and
R. Valt},
title = {Visual Programming in {NUT}},
journal = {J. Vis. Lang. Comput.},
volume = {8},
number = {5-6},
pages = {523--544},
year = {1997},
url = {https://doi.org/10.1006/jvlc.1997.0069},
doi = {10.1006/JVLC.1997.0069},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/TyuguV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MatskinT97,
author = {Mihhail Matskin and
Enn Tyugu},
title = {Strategies of Structural Synthesis of Programs},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {305--306},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632857},
doi = {10.1109/ASE.1997.632857},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MatskinT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/TyuguA96,
author = {Enn Tyugu and
Mattin Addibpour},
title = {Declarative reflection tools for agent shells},
journal = {Future Gener. Comput. Syst.},
volume = {12},
number = {2-3},
pages = {203--215},
year = {1996},
url = {https://doi.org/10.1016/0167-739X(96)88793-0},
doi = {10.1016/0167-739X(96)88793-0},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/TyuguA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SidarkeviciuteT96,
author = {Diana Sidarkeviciute and
Enn Tyugu and
Ago Kuusik},
title = {A knowledge-based toolkit for software visualisation},
booktitle = {Proceedings of the 11th Knowledge-Based Software Engineering Conference,
{KBSE} 1996, Syracuse, NY, USA, September 25-28, 1996},
pages = {125--133},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/KBSE.1996.552830},
doi = {10.1109/KBSE.1996.552830},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SidarkeviciuteT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AddibpourT95,
author = {Mattin Addibpour and
Enn Tyugu},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Structural Synthesis of Programs from Refined User Requirements (Programming
Boiler Control in {NUT)}},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {13--34},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027229},
doi = {10.1007/BFB0027229},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AddibpourT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Tyugu95,
author = {Enn Tyugu},
title = {From Object-Oriented to Knowledge-Based Programming {(NUT} System
Development Experience)},
booktitle = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
Conference, Boston, Massachusetts, USA, November 12-15, 1995},
pages = {88--95},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/KBSE.1995.490123},
doi = {10.1109/KBSE.1995.490123},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Tyugu95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Tyugu94,
author = {Enn Tyugu},
title = {Using classes as specifications for automatic construction of programs
in the {NUT} system},
journal = {Autom. Softw. Eng.},
volume = {1},
number = {3-4},
pages = {315--334},
year = {1994},
url = {https://doi.org/10.1007/BF00871707},
doi = {10.1007/BF00871707},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Tyugu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Tyugu94,
author = {Enn Tyugu},
title = {Inductive Logic Programming : {S} Muggleton (Ed.)},
journal = {Knowl. Based Syst.},
volume = {7},
number = {2},
pages = {149--150},
year = {1994},
url = {https://doi.org/10.1016/0950-7051(94)90030-2},
doi = {10.1016/0950-7051(94)90030-2},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/Tyugu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Tyugu94a,
author = {Enn Tyugu},
title = {Artificial intelligence through search : {C} Thornton and {B} du Boulay},
journal = {Knowl. Based Syst.},
volume = {7},
number = {2},
pages = {150},
year = {1994},
url = {https://doi.org/10.1016/0950-7051(94)90031-0},
doi = {10.1016/0950-7051(94)90031-0},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/Tyugu94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-2/Tyugu94,
author = {Enn Tyugu},
editor = {John S. Gero and
Enn Tyugu},
title = {Attribute models of design objects},
booktitle = {Formal Design Methods for CAD, Proceedings of the {IFIP} {TC5/WG5.2}
Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19
June, 1994},
series = {{IFIP} Transactions},
volume = {{B-18}},
pages = {33--44},
publisher = {Elsevier},
year = {1994},
timestamp = {Tue, 14 Jan 2003 15:32:39 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-2/Tyugu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip5-2/1994,
editor = {John S. Gero and
Enn Tyugu},
title = {Formal Design Methods for CAD, Proceedings of the {IFIP} {TC5/WG5.2}
Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19
June, 1994},
series = {{IFIP} Transactions},
volume = {{B-18}},
publisher = {Elsevier},
year = {1994},
isbn = {0-444-81970-3},
timestamp = {Tue, 14 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-2/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nato/1993,
editor = {Brian H. Mayoh and
Enn Tyugu and
Jaan Penjam},
title = {Constraint Programming, Proceedings of the {NATO} Advanced Study Institute
on Constraint Programming, Parnu, Estonia, August 13-24, 1993},
series = {{NATO} {ASI} Series},
volume = {131},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-642-85983-0},
doi = {10.1007/978-3-642-85983-0},
isbn = {978-3-642-85985-4},
timestamp = {Sun, 14 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aei/Tyugu93,
author = {Enn Tyugu},
title = {Large engineering knowledge bases},
journal = {Artif. Intell. Eng.},
volume = {8},
number = {4},
pages = {265--270},
year = {1993},
url = {https://doi.org/10.1016/0954-1810(93)90009-5},
doi = {10.1016/0954-1810(93)90009-5},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aei/Tyugu93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/MayohTU93,
author = {Brian H. Mayoh and
Enn Tyugu and
Tarmo Uustalu},
editor = {Brian H. Mayoh and
Enn Tyugu and
Jaan Penjam},
title = {Constraint Satisfaction and Constraint Programming: {A} Brief Lead-In},
booktitle = {Constraint Programming, Proceedings of the {NATO} Advanced Study Institute
on Constraint Programming, Parnu, Estonia, August 13-24, 1993},
series = {{NATO} {ASI} Series},
volume = {131},
pages = {1--16},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-85983-0\_1},
doi = {10.1007/978-3-642-85983-0\_1},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/MayohTU93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/TyuguU93,
author = {Enn Tyugu and
Tarmo Uustalu},
editor = {Brian H. Mayoh and
Enn Tyugu and
Jaan Penjam},
title = {Higher-Order Functional Constraint Networks},
booktitle = {Constraint Programming, Proceedings of the {NATO} Advanced Study Institute
on Constraint Programming, Parnu, Estonia, August 13-24, 1993},
series = {{NATO} {ASI} Series},
volume = {131},
pages = {116--139},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-85983-0\_5},
doi = {10.1007/978-3-642-85983-0\_5},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/TyuguU93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/PenjamT93,
author = {Jaan Penjam and
Enn Tyugu},
editor = {Brian H. Mayoh and
Enn Tyugu and
Jaan Penjam},
title = {Constraints in {NUT}},
booktitle = {Constraint Programming, Proceedings of the {NATO} Advanced Study Institute
on Constraint Programming, Parnu, Estonia, August 13-24, 1993},
series = {{NATO} {ASI} Series},
volume = {131},
pages = {330--349},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-85983-0\_13},
doi = {10.1007/978-3-642-85983-0\_13},
timestamp = {Sun, 14 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/PenjamT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Tyugu92,
author = {Enn Tyugu},
title = {Eco-logic: Logic-based approaches to ecological modelling : {D} Robertson,
{A} Bundy, {R} Muetzelfeldt, {M} Haggith and {M} Uschold},
journal = {Knowl. Based Syst.},
volume = {5},
number = {2},
pages = {167},
year = {1992},
url = {https://doi.org/10.1016/0950-7051(92)90007-3},
doi = {10.1016/0950-7051(92)90007-3},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/Tyugu92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mi/Tyugu94,
author = {Enn Tyugu},
editor = {Koichi Furukawa and
Donald Michie and
Stephen H. Muggleton},
title = {Large heterogeneous knowledge bases},
booktitle = {Machine Intelligence 13, Machine Intelligence and Inductive Learning,
Loch Lomond, UK, 1992},
pages = {269--288},
publisher = {Clarendon Press, Oxford},
year = {1992},
timestamp = {Sat, 30 Apr 2022 12:43:31 +0200},
biburl = {https://dblp.org/rec/conf/mi/Tyugu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Tyugu91,
author = {Enn Tyugu},
title = {Three New-Generation Software Environments},
journal = {Commun. {ACM}},
volume = {34},
number = {6},
pages = {46--59},
year = {1991},
url = {https://doi.org/10.1145/103701.103708},
doi = {10.1145/103701.103708},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Tyugu91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Tyugu91,
author = {Enn Tyugu},
title = {Editorial},
journal = {Knowl. Based Syst.},
volume = {4},
number = {1},
pages = {3},
year = {1991},
url = {https://doi.org/10.1016/0950-7051(91)90040-9},
doi = {10.1016/0950-7051(91)90040-9},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/Tyugu91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Tyugu91a,
author = {Enn Tyugu},
title = {Knowledge-based programming environments},
journal = {Knowl. Based Syst.},
volume = {4},
number = {1},
pages = {4--15},
year = {1991},
url = {https://doi.org/10.1016/0950-7051(91)90041-Y},
doi = {10.1016/0950-7051(91)90041-Y},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/Tyugu91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tyugu91,
author = {Enn Tyugu},
title = {Higher Order Dataflow Schemas},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {185--198},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90306-M},
doi = {10.1016/0304-3975(91)90306-M},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tyugu91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/balt/MintsT91,
author = {Grigori Mints and
Enn Tyugu},
editor = {Janis Barzdins and
Dines Bj{\o}rner},
title = {The Programming System {PRIZ}},
booktitle = {Baltic Computer Science, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {502},
pages = {1--17},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0019353},
doi = {10.1007/BFB0019353},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/balt/MintsT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/balt/MintsST91,
author = {Grigori Mints and
Jan M. Smith and
Enn Tyugu},
editor = {Janis Barzdins and
Dines Bj{\o}rner},
title = {Type-theoretical Semantics of Some Declarative Languages},
booktitle = {Baltic Computer Science, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {502},
pages = {18--32},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0019354},
doi = {10.1007/BFB0019354},
timestamp = {Wed, 31 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/balt/MintsST91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MintsT90,
author = {Grigori Mints and
Enn Tyugu},
title = {Editorial},
journal = {J. Log. Program.},
volume = {9},
number = {2{\&}3},
pages = {139--140},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90036-5},
doi = {10.1016/0743-1066(90)90036-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MintsT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MintsT90a,
author = {Grigori Mints and
Enn Tyugu},
title = {Propositional Logic Programming and Priz System},
journal = {J. Log. Program.},
volume = {9},
number = {2{\&}3},
pages = {179--193},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90039-8},
doi = {10.1016/0743-1066(90)90039-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MintsT90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KotovNT89,
author = {Vadim E. Kotov and
Alexander S. Narin'ani and
Enn Tyugu},
editor = {Gerhard X. Ritter},
title = {The {USSR} Academy of Sciences Start Project},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {623--626},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/KotovNT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Tyugu89,
author = {Enn Tyugu},
editor = {Hannu Jaakkola and
Seppo Linnainmaa},
title = {Propositional Logic Programming and Type Thoeries},
booktitle = {Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings
of the 2nd SCAI, Tampere, Finland, June 12-15, 1989},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {4},
pages = {863--871},
publisher = {{IOS} Press},
year = {1989},
timestamp = {Thu, 01 Aug 2019 11:47:47 +0200},
biburl = {https://dblp.org/rec/conf/scai/Tyugu89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aei/Tyugu88,
author = {Enn Tyugu},
title = {Intelligent engineering software research at the Tallinn Institute
of Cybernetics},
journal = {Artif. Intell. Eng.},
volume = {3},
number = {4},
pages = {227--228},
year = {1988},
url = {https://doi.org/10.1016/0954-1810(88)90016-7},
doi = {10.1016/0954-1810(88)90016-7},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aei/Tyugu88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MintsT88,
author = {Grigori Mints and
Enn Tyugu},
title = {The Programming System {PRIZ}},
journal = {J. Symb. Comput.},
volume = {5},
number = {3},
pages = {359--375},
year = {1988},
url = {https://doi.org/10.1016/S0747-7171(88)80035-X},
doi = {10.1016/S0747-7171(88)80035-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MintsT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MintsT87,
author = {Grigori Mints and
Enn Tyugu},
title = {Corrigendum: Semantics of a Declarative Language},
journal = {Inf. Process. Lett.},
volume = {25},
number = {2},
pages = {139},
year = {1987},
timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/MintsT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MintsT86,
author = {Grigori Mints and
Enn Tyugu},
title = {Semantics of a Declarative Language},
journal = {Inf. Process. Lett.},
volume = {23},
number = {3},
pages = {147--151},
year = {1986},
url = {https://doi.org/10.1016/0020-0190(86)90115-8},
doi = {10.1016/0020-0190(86)90115-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MintsT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Tyugu86,
author = {Enn Tyugu},
editor = {Hans{-}J{\"{u}}rgen Kugler},
title = {The Future of Logic Programming - Response},
booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
Congress, Dublin, Ireland, September 1-5, 1986},
pages = {225--228},
publisher = {North-Holland/IFIP},
year = {1986},
timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Tyugu86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Tyugu85,
author = {Enn Tyugu},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Language and example of knowledge-based programming},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {59--72},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_4},
doi = {10.1007/3-540-16444-8\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/aii/Tyugu85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MintsT82,
author = {Grigori Mints and
Enn Tyugu},
title = {Justifications of the Structural Synthesis of Programs},
journal = {Sci. Comput. Program.},
volume = {2},
number = {3},
pages = {215--240},
year = {1982},
url = {https://doi.org/10.1016/0167-6423(83)90016-3},
doi = {10.1016/0167-6423(83)90016-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MintsT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Tyugu80,
author = {Enn Tyugu},
editor = {Simon H. Lavington},
title = {Towards Practical Synthesis of Programs},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {207--219},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Tyugu80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Tyugu79,
author = {Enn Tyugu},
editor = {Andrei P. Ershov and
Donald E. Knuth},
title = {The structural synthesis of programs},
booktitle = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
Urgench, Uzbek SSR, USSR, September 16-22, 1979},
series = {Lecture Notes in Computer Science},
volume = {122},
pages = {290--303},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-11157-3\_31},
doi = {10.1007/3-540-11157-3\_31},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Tyugu79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Tyugu75,
author = {Enn Tyugu},
editor = {Andrei P. Ershov and
Cornelis H. A. Koster},
title = {A programming system with automatic program synthesis},
booktitle = {Methods of Algorithmic Language Implementation [Symposium, September
10-13, 1975, Novosibirsk, Russia, Proceedings]},
series = {Lecture Notes in Computer Science},
volume = {47},
pages = {251--267},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-08065-1\_16},
doi = {10.1007/3-540-08065-1\_16},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Tyugu75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Tyugu71,
author = {Enn Tyugu},
editor = {Charles V. Freiman and
John E. Griffith and
Jack L. Rosenfeld},
title = {A Data Base and Problem Solver for Computer-Aided Design},
booktitle = {Information Processing, Proceedings of {IFIP} Congress 1971, Volume
2 - Applications, Ljubljana, Yugoslavia, August 23-28, 1971},
pages = {1046--1049},
publisher = {North-Holland},
year = {1971},
timestamp = {Fri, 26 Jul 2019 15:39:52 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Tyugu71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
