Janis Barzdin
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
24 | EE | Janis Barzdins, Audris Kalnins, Edgars Rencis, Sergejs Rikacovs: Model Transformation Languages and Their Implementation by Bootstrapping Method. Pillars of Computer Science 2008: 130-145 |
23 | EE | Janis Barzdins, Rusins Freivalds, Carl H. Smith: Learning with belief levels. J. Comput. Syst. Sci. 74(4): 527-545 (2008) |
2007 | ||
22 | EE | Janis Barzdins, Andris Zarins, Karlis Cerans, Audris Kalnins, Edgars Rencis, Lelde Lace, Renars Liepins, Arturs Sprogis: GrTP: Transformation Based Graphical Tool Building Platform. MDDAUI 2007 |
2004 | ||
21 | EE | Audris Kalnins, Janis Barzdins, Edgars Celms: Model Transformation Language MOLA. MDAFA 2004: 62-76 |
2002 | ||
20 | Audris Kalnins, Janis Barzdins, Edgars Celms, Lelde Lace, Martins Opmanis, Karlis Podnieks, Andris Zarins: The First Step Towards Generic Modelling Tool. BalticDB&IS 2002: 167-180 | |
2001 | ||
19 | EE | Audris Kalnins, Karlis Podnieks, Andris Zarins, Edgars Celms, Janis Barzdins: Editor Definition Language and Its Implementation. Ershov Memorial Conference 2001: 530-537 |
18 | EE | Janis Barzdins, Rusins Freivalds, Carl H. Smith: Towards Axiomatic Basis of Inductive Inference. FCT 2001: 1-13 |
1998 | ||
17 | EE | Ugis Sarkans, Janis Barzdins: Using Attribute Grammars for Description of Inductive Inference Search Space. ALT 1998: 400-408 |
16 | EE | Janis Barzdins, Rusins Freivalds, Carl H. Smith: A Logic of Discovery. Discovery Science 1998: 401-402 |
1997 | ||
15 | Janis Barzdins, Rusins Freivalds, Carl H. Smith: Learning Formulae from Elementary Facts. EuroCOLT 1997: 272-285 | |
1996 | ||
14 | Janis Barzdins, Ugis Sarkans: Incorporating Hypothetical Knowledge into the Process of Inductive Synthesis. ALT 1996: 156-168 | |
13 | Janis Barzdins, Rusins Freivalds, Carl H. Smith: Learning with Confidence. STACS 1996: 207-218 | |
1995 | ||
12 | EE | Janis Barzdins, Ilona Etmane, Audris Kalnins, Karlis Podnieks: Towards Integrated Computer Aided Systems and Software Engineering Tool for Information Systems Design. ADBIS 1995: 3-11 |
11 | Janis Barzdins, Guntis Barzdins, Audris Kalnins: Rule-Based Approach to Business Modeling. SEKE 1995: 161-165 | |
1994 | ||
10 | Janis Barzdins: Towards Efficient Inductive Synthesis from Input/Output Examples (Abstract). AII/ALT 1994: 1 | |
9 | Janis Barzdins, Audris Kalnins, Karlis Podnieks, Ilona Etmane, Andrejs J. Auzins, A. Kalis, P. Krastins, S. Rozenfelds: GRADE Windows: an integrated CASE tool for information system development. SEKE 1994: 54-61 | |
1993 | ||
8 | Janis Barzdins, Guntis Barzdins, Kalvis Apsitis, Ugis Sarkans: Towards Efficient Inductive Synthesis of Expressions from Input/Output Examples. ALT 1993: 59-72 | |
1991 | ||
7 | Janis Barzdins, Dines Bjørner: Baltic Computer Science, Selected Papers Springer 1991 | |
6 | Rusins Freivalds, Janis Barzdins, Karlis Podnieks: Inductive Inference of Recursive Functions: Complexity Bounds. Baltic Computer Science 1991: 111-155 | |
5 | Andrejs J. Auzins, Janis Barzdins, Janis Bicevskis, Karlis Cerans, Audris Kalnins: Automatic Construction of Test Sets: Theoretical Approach. Baltic Computer Science 1991: 286-359 | |
4 | Janis Barzdins, Guntis Barzdins: Towards Efficient Inductive Synthesis: Rapid Construction of Local Regularities. Nonmonotonic and Inductive Logic 1991: 132-140 | |
1977 | ||
3 | Janis Barzdin, Janis Bicevskis, Audris Kalnins: Automatic Construction of Complete Sample System for Program Testing. IFIP Congress 1977: 57-62 | |
1975 | ||
2 | Janis Barzdin, Janis Bicevskis, Audris Kalnins: Construction of Complete Sample System for Correctness Testing. MFCS 1975: 1-12 | |
1972 | ||
1 | Janis Barzdin: On synthesizing programs given by examples. International Sympoisum on Theoretical Programming 1972: 56-63 |
1 | Kalvis Apsitis | [8] |
2 | Andrejs J. Auzins | [5] [9] |
3 | Guntis Barzdins | [4] [8] [11] |
4 | Janis Bicevskis | [2] [3] [5] |
5 | Dines Bjørner | [7] |
6 | Edgars Celms | [19] [20] [21] |
7 | Karlis Cerans | [5] [22] |
8 | Ilona Etmane | [9] [12] |
9 | Rusins Freivalds | [6] [13] [15] [16] [18] [23] |
10 | A. Kalis | [9] |
11 | Audris Kalnins | [2] [3] [5] [9] [11] [12] [19] [20] [21] [22] [24] |
12 | P. Krastins | [9] |
13 | Lelde Lace | [20] [22] |
14 | Renars Liepins | [22] |
15 | Martins Opmanis | [20] |
16 | Karlis Podnieks | [6] [9] [12] [19] [20] |
17 | Edgars Rencis | [22] [24] |
18 | Sergejs Rikacovs | [24] |
19 | S. Rozenfelds | [9] |
20 | Ugis Sarkans | [8] [14] [17] |
21 | Carl H. Smith | [13] [15] [16] [18] [23] |
22 | Arturs Sprogis | [22] |
23 | Andris Zarins | [19] [20] [22] |