MarÓti, MiklÓs
130  results:
Search for persons X
?
1

Rapid Design Space Exploration with Constraint Programming:

, In: 2022 IEEE Workshop on Design Automation for CPS and IoT (DESTION),
 
?
3

Domain-Specific Modeling Languages in Computer-Based Learni..:

Hutchins, Nicole M. ; Biswas, Gautam ; Zhang, Ningyu...
International Journal of Artificial Intelligence in Education.  30 (2020)  4 - p. 537-580 , 2020
 
?
4

C2STEM: a System for Synergistic Learning of Physics and Co..:

Hutchins, Nicole M. ; Biswas, Gautam ; Maróti, Miklós...
Journal of Science Education and Technology.  29 (2020)  1 - p. 83-100 , 2020
 
?
6

C2STEM: a System for Synergistic Learning of Physics and Co..:

Hutchins, Nicole M. ; Biswas, Gautam ; Maróti, Miklós...
Journal of Science Education and Technology.  29 (2019)  1 - p. 83-100 , 2019
 
?
7

Teaching Cybersecurity with Networked Robots:

, In: Proceedings of the 50th ACM Technical Symposium on Computer Science Education,
Lédeczi, Ákos ; MarÓti, MiklÓs ; Zare, Hamid... - p. 885-891 , 2019
 
?
8

Animal-Borne Anti-Poaching System:

, In: Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services,
 
?
9

Animal-Borne Acoustic Gunshot Detector (poster):

, In: Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services,
 
?
11

Quasiorder lattices of varieties:

Gyenizse, Gergő ; Maróti, Miklós
Algebra universalis.  79 (2018)  2 - p. , 2018
 
?
12

A visual programming environment for introducing distribute..:

Broll, Brian ; Lédeczi, Ákos ; Zare, Hamid...
Journal of Parallel and Distributed Computing.  118 (2018)  - p. 189-200 , 2018
 
?
13

A Visual Programming Environment for Learning Distributed P..:

, In: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education,
Broll, Brian ; Lédeczi, Akos ; Volgyesi, Peter... - p. 81-86 , 2017
 
?
14

Monoidal intervals on three- and four-element sets:

Dormán, Miklós ; Makay, Géza ; Maróti, Miklós.
Acta Scientiarum Mathematicarum.  81 (2015)  3-4 - p. 399-424 , 2015
 
?
15

Towards a theory for cyber-physical systems modeling:

, In: Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems,
 
1-15