Works matching DE "PROGRAMMING language semantics"
1
- Minds & Machines, 2007, v. 17, n. 2, p. 203, doi. 10.1007/s11023-007-9062-6
- Article
2
- Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 864, doi. 10.1007/s10559-009-9159-4
- Article
3
- Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 1008, doi. 10.1007/s10559-009-9165-6
- Panchenko, B.;
- Pysanko, I.
- Article
4
- Mathematics (2227-7390), 2022, v. 10, n. 17, p. 3092, doi. 10.3390/math10173092
- Aygün, Halis;
- Güner, Elif;
- Miñana, Juan-José;
- Valero, Oscar
- Article
5
- 2020
- Peters, Kirstin;
- Tini, Simone
- Editorial
6
- Acta Informatica, 2012, v. 49, n. 2, p. 69, doi. 10.1007/s00236-012-0151-5
- Stahl, Christian;
- Vogler, Walter
- Article
7
- Acta Informatica, 2007, v. 44, n. 5, p. 323, doi. 10.1007/s00236-007-0049-9
- Morris, Joseph;
- Tyrrell, Malcolm
- Article
8
- Acta Informatica, 2000, v. 37, n. 2, p. 83, doi. 10.1007/s002360000038
- Ben-Amram, Amir M.;
- Jones, Neil D.
- Article
9
- International Journal of Combinatorial Optimization Problems & Informatics, 2015, v. 6, n. 2, p. 28
- González, Juan J.;
- Florencia-Juarez, Rogelio;
- Fraire, Héctor J.;
- Pazos, Rodolfo A.;
- Cruz-Reyes, Laura;
- Gómez, Claudia
- Article
10
- Drug Development, 2010, v. 5, p. 44
- Fritz, Norbert;
- Mauron, Charlotte
- Article
11
- Journal of Information Systems Technology & Planning, 2010, v. 3, n. 6, p. 42
- Shomper, Keith A.;
- Erikson, Mark P.
- Article
12
- Journal of Advanced Computational Intelligence & Intelligent Informatics, 2021, v. 25, n. 4, p. 442, doi. 10.20965/jaciii.2021.p0442
- Liu, Liqi;
- Wang, Qinglin;
- Li, Yuan
- Article
13
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 801, doi. 10.1142/S012905411100843X
- COLLINS, PIETER;
- ZAPREEV, IVAN S.;
- Bournez, Oliver;
- Potapov, Igor
- Article
14
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 119, doi. 10.1142/S0129054111007885
- BARBUTI, ROBERTO;
- MAGGIOLO-SCHETTINI, ANDREA;
- MILAZZO, PAOLO;
- TINI, SIMONE;
- Pérez-Jiménez, Mario J.
- Article
15
- Mathematical Thinking & Learning, 2021, v. 23, n. 2, p. 170, doi. 10.1080/10986065.2020.1779012
- Bråting, Kajsa;
- Kilhamn, Cecilia
- Article
16
- EURASIP Journal on Wireless Communications & Networking, 2016, v. 2016, n. 1, p. 1, doi. 10.1186/s13638-016-0746-6
- Lee, JongHyup;
- Kwon, Taekyoung
- Article
17
- ITNOW, 2007, v. 49, n. 3, p. 14, doi. 10.1093/itnow/bwl132
- Article
18
- Air & Space Power Journal, 2013, v. 27, n. 3, p. 64
- Article
19
- Software & Systems Modeling, 2024, v. 23, n. 5, p. 1053, doi. 10.1007/s10270-024-01210-z
- Combemale, Benoit;
- Gray, Jeff;
- Jézéquel, Jean-Marc;
- Rumpe, Bernhard
- Article
20
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1197, doi. 10.1007/s10270-016-0553-x
- Cheng, Zheng;
- Monahan, Rosemary;
- Power, James F.
- Article
21
- Software & Systems Modeling, 2013, v. 12, n. 3, p. 517, doi. 10.1007/s10270-011-0226-8
- Gerth, Christian;
- Küster, Jochen;
- Luckey, Markus;
- Engels, Gregor
- Article
22
- Software & Systems Modeling, 2005, v. 4, n. 3, p. 297, doi. 10.1007/s10270-004-0064-z
- Devos, Frank;
- Steegmans, Eric
- Article
23
- Software & Systems Modeling, 2005, v. 4, n. 3, p. 277, doi. 10.1007/s10270-005-0085-2
- Cavalcanti, Ana;
- Sampaio, Augusto;
- Woodcock, Jim
- Article
24
- Software & Systems Modeling, 2005, v. 4, n. 2, p. 189, doi. 10.1007/s10270-004-0062-1
- Hall, Jon G.;
- Rapanotti, Lucia;
- Jackson, Michael
- Article
25
- Journal of Applied Mathematics & Computational Mechanics, 2024, v. 23, n. 2, p. 79, doi. 10.17512/jamcm.2024.2.07
- Steingartner, William;
- Novitzká, Valerie;
- Schreiner, Wolfgang
- Article
26
- Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica, 2024, v. 57, p. 117, doi. 10.71352/ac.57.141
- Bereczky, Péter;
- Horpácsi, Dániel;
- Thompson, Simon
- Article
27
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 7, p. 695, doi. 10.1109/TSE.2014.2323977
- Song, JaeSeung;
- Cadar, Cristian;
- Pietzuch, Peter
- Article
28
- IEEE Transactions on Software Engineering, 2008, v. 34, n. 1, p. 33, doi. 10.1109/TSE.2007.70740
- Bartoletti, Massimo;
- Degano, Pierpaolo;
- Ferrari, Gian Luigi;
- Zunino, Roberto
- Article
29
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 12, p. 799, doi. 10.1109/TSE.2007.70759
- Strein, Dennis;
- Lincke, Rüdiger;
- Lundberg, Jonas;
- Löwe, Welf
- Article
30
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 10, p. 709, doi. 10.1109/TSE.2007.70726
- Article
31
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 10, p. 831, doi. 10.1109/TSE.2006.105
- Chao Liu;
- Long Fei;
- Xifeng Yan;
- Jiawei Han;
- Midkiff, Samuel P.
- Article
32
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 8, p. 797, doi. 10.1109/TSE.2002.1027801
- Mori, Giulio;
- Paternò, Fabio;
- Santoro, Carmen
- Article
33
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 8, p. 747, doi. 10.1109/TSE.2002.1027798
- Cheng, Betty H.C.;
- Wang, Enoch Y.
- Article
34
- IEEE Transactions on Software Engineering, 1999, v. 25, n. 1, p. 33, doi. 10.1109/32.748917
- Paulo, Fabiano Borges;
- Masiero, Paulo Ceasar;
- de Oliveira, Maria Cristina Ferreira
- Article
35
- Journal of Electronic Commerce Research, 2017, v. 18, n. 1, p. 32
- Shuai Yang;
- Yiping Song;
- Pancras, Joseph
- Article
36
- Journal of Engineering (2314-4912), 2013, p. 1, doi. 10.1155/2013/182525
- Poggi, Agostino;
- Tomaiuolo, Michele
- Article
37
- Computer Science Education, 2021, v. 31, n. 1, p. 60, doi. 10.1080/08993408.2020.1783155
- Xu, Zhen;
- Ritzhaupt, Albert D.;
- Umapathy, Karthikeyan;
- Ning, Yang;
- Tsai, Chin-Chung
- Article
38
- Computer Science Education, 2006, v. 16, n. 3, p. 197, doi. 10.1080/08993400600912376
- Eckerdal, Anna;
- McCartney, Robert;
- Moström, Jan Erik;
- Ratcliffe, Mark;
- Zander, Carol
- Article
39
- Symmetry (20738994), 2023, v. 15, n. 1, p. 70, doi. 10.3390/sym15010070
- Ghasab, Ehsan Lotfali;
- Chaharpashlou, Reza;
- Lopes, António M.
- Article
40
- Scientific Annals of the 'Alexandru Ioan Cuza' University of Iasi: Economic Sciences Series, 2010, p. 417
- Article
41
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 773, doi. 10.1093/jigpal/jzx023
- Article
42
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 758, doi. 10.1093/jigpal/jzx027
- MIKEC, LUKA;
- PERKOV, TIN;
- VUKOVIĆ, MLADEN
- Article
43
- International Journal of Computers, Communications & Control, 2010, v. 5, n. 5, p. 775, doi. 10.15837/ijccc.2010.5.2237
- Article
44
- Journal of Algorithms & Computational Technology, 2010, v. 4, n. 4, p. 575, doi. 10.1260/1748-3018.4.4.575
- Saravanan, K.;
- Kripeshwari, S.;
- Thangavelu, Arunkumar
- Article
45
- Computer-Aided Design & Applications, 2011, v. 8, n. 3, p. 449, doi. 10.3722/cadaps.2011.449-464
- Giannini, Franca;
- Montani, Erika;
- Monti, Marina;
- Pernot, Jean-Philippe
- Article
46
- Computational Linguistics, 2008, v. 34, n. 2, p. 289, doi. 10.1162/coli.2008.34.2.289
- Pradhan, Sameer S.;
- Ward, Wayne;
- Martin, James H.
- Article
47
- Computational Linguistics, 2008, v. 34, n. 2, p. 257, doi. 10.1162/coli.2008.34.2.257
- Punyakanok, Vasin;
- Roth, Dan;
- Wen-tau Yih
- Article
48
- Computational Linguistics, 2008, v. 34, n. 2, p. 193, doi. 10.1162/coli.2008.34.2.193
- Moschitti, Alessandro;
- Pighin, Daniele;
- Basili, Roberto
- Article
49
- Computational Linguistics, 2008, v. 34, n. 2, p. 161, doi. 10.1162/coli.2008.34.2.161
- Toutanova, Kristina;
- Haghighi, Aria;
- Manning, Christopher D.
- Article
50
- International Journal of General Systems, 2016, v. 45, n. 7/8, p. 864, doi. 10.1080/03081079.2016.1205711
- Belohlavek, R.;
- Vychodil, V.
- Article