Miklós Maróti

According to our database, Miklós Maróti authored at least 60 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

On the use of majority for investigating primeness of 3-permutability.

Gergo Gyenizse, Miklós Maróti, László Zádori

Int. J. Algebra Comput., February, 2023

2022

Critical Relations of Crowns in Critical Times of Coronavirus Depression.

Ádám Kunos, Miklós Maróti, László Zádori

Order, 2022

2021

Congruence permutability is prime.

Gergo Gyenizse, Miklós Maróti, László Zádori

CoRR, 2021

2020

n-Permutability is not join-prime for n ≥ 5.

Gergo Gyenizse, Miklós Maróti, László Zádori

Int. J. Algebra Comput., 2020

Domain-Specific Modeling Languages in Computer-Based Learning Environments: a Systematic Approach to Support Science Learning through Computational Modeling.

Nicole M. Hutchins, Gautam Biswas, Ningyu Zhang, Caitlin Snyder, Ákos Lédeczi, Miklós Maróti

Int. J. Artif. Intell. Educ., 2020

2019

Correction to: On Finite Generability of Clones of Finite Posets.

Ádám Kunos, Miklós Maróti, László Zádori

Order, 2019

On Finite Generability of Clones of Finite Posets.

Ádám Kunos, Miklós Maróti, László Zádori

Order, 2019

Computing Version Spaces in the Qualitative Approach to Multicriteria Decision Aid.

Miguel Couceiro, Miklós Maróti, Tamás Waldhauser, László Zádori

Int. J. Found. Comput. Sci., 2019

Teaching Cybersecurity with Networked Robots.

Ákos Lédeczi, Miklós Maróti, Hamid Zare, Bernard Yett, Nicole Hutchins, Brian Broll, Péter Völgyesi, Michael B. Smith, Timothy Darrah, Mary Metelko, Xenofon D. Koutsoukos, Gautam Biswas

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Animal-Borne Acoustic Gunshot Detector.

György Kalmár, George Wittemyer, Péter Völgyesi, Henrik Barner Rasmussen, Miklós Maróti, Ákos Lédeczi

Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Animal-Borne Anti-Poaching System.

György Kalmár, George Wittemyer, Péter Völgyesi, Henrik Barner Rasmussen, Miklós Maróti, Ákos Lédeczi

Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

2018

A visual programming environment for introducing distributed computing to secondary education.

Brian Broll, Ákos Lédeczi, Hamid Zare, Dung Nguyen Do, János Sallai, Péter Völgyesi, Miklós Maróti, Lesa Brown, Chris Vanags

J. Parallel Distributed Comput., 2018

A Design-Based Approach to a Classroom-Centered OELE.

Nicole Hutchins, Gautam Biswas, Miklos Maroti, Ákos Lédeczi, Brian Broll

Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

2017

A Visual Programming Environment for Learning Distributed Programming.

Brian Broll, Ákos Lédeczi, Péter Völgyesi, János Sallai, Miklos Maroti, Alexia Carrillo, Stephanie L. Weeden-Wright, Chris Vanags, Joshua D. Swartz, Melvin Lu

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Introducing Parallel and Distributed Computing to K12.

Brian Broll, Ákos Lédeczi, Péter Völgyesi, János Sallai, Miklós Maróti, Chris Vanags

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

2014

PinPtr: a high-precision GPS cloud service.

Will Hedgecock, Miklos Maroti, Ákos Lédeczi, Péter Völgyesi, Rueben A. Banalagay

Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

Accurate real-time relative localization using single-frequency GPS.

Will Hedgecock, Miklos Maroti, Ákos Lédeczi, Péter Völgyesi, Rueben A. Banalagay

Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure.

Miklós Maróti, Tamás Kecskés, Róbert Kereskényi, Brian Broll, Péter Völgyesi, László Jurácz, Tihamer Levendovszky, Ákos Lédeczi

Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Online Collaborative Environment for Designing Complex Computational Systems.

Miklós Maróti, Róbert Kereskényi, Tamás Kecskés, Péter Völgyesi, Ákos Lédeczi

Proceedings of the International Conference on Computational Science, 2014

Towards a theory for cyber-physical systems modeling.

Gabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013

A special case of the Stahl conjecture.

János Kincses, Géza Makay, Miklós Maróti, József Osztényi, László Zádori

Eur. J. Comb., 2013

RegTrack: a differential relative gps tracking solution.

Will Hedgecock, Miklos Maroti, János Sallai, Péter Völgyesi, Ákos Lédeczi

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

High-accuracy differential tracking of low-cost GPS receivers.

Will Hedgecock, Miklos Maroti, János Sallai, Péter Völgyesi, Ákos Lédeczi

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

2012

Finitely Related Clones and Algebras with Cube Terms.

Petar Markovic, Miklós Maróti, Ralph McKenzie

Order, 2012

Reflexive digraphs with near unanimity polymorphisms.

Miklós Maróti, László Zádori

Discret. Math., 2012

2011

RF angle of arrival-based node localisation.

Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi, Miklos Maroti

Int. J. Sens. Networks, 2011

LinkBench: Benchmark and metric framework for wireless sensor networks.

Krisztian Veress, Miklos Maroti

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

2010

Software development for a novel WSN platform.

Péter Völgyesi, János Sallai, Ákos Lédeczi, Prabal Dutta, Miklós Maróti

Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

Using RF received phase for indoor tracking.

János Sallai, Ákos Lédeczi, Isaac Amundson, Xenofon D. Koutsoukos, Miklós Maróti

Proceedings of the 6th Workshop on Hot Topics in Embedded Networked Sensors, 2010

2009

On the Scope of Averaging for Frankl's Conjecture.

Gábor Czédli, Miklós Maróti, E. Tamás Schmidt

Order, 2009

Two Notes on the Variety Generated by Planar Modular Lattices.

Gábor Czédli, Miklós Maróti

Order, 2009

The existence of a near-unanimity term in a finite algebra is decidable.

Miklós Maróti

J. Symb. Log., 2009

2007

CD(4) has bounded width

Catarina Carvalho, Víctor Dalmau, Petar Markovic, Miklós Maróti

CoRR, 2007

inTrack: High Precision Tracking of Mobile Sensor Nodes.

Branislav Kusy, György Balogh, János Sallai, Ákos Lédeczi, Miklós Maróti

Proceedings of the Wireless Sensor Networks, 2007

2006

The Jónsson-Kiefer Property.

Kira V. Adaricheva, Ralph McKenzie, Eric Richard Zenk, Miklós Maróti, James B. Nation

Stud Logica, 2006

Elapsed time on arrival: a simple and versatile primitive for canonical time synchronisation services.

Branislav Kusy, Prabal Dutta, Philip Alexander Levis, Miklós Maróti, Ákos Lédeczi, David E. Culler

Int. J. Ad Hoc Ubiquitous Comput., 2006

Node density independent localization.

Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Lambert G. L. T. Meertens

Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

2005

Countersniper system for urban warfare.

Ákos Lédeczi, András Nádas, Péter Völgyesi, György Balogh, Branislav Kusy, János Sallai, Gábor Pap, Sebestyen Dóra, Károly Molnár, Miklós Maróti, Gyula Simon

ACM Trans. Sens. Networks, 2005

Software composition and verification for sensor networks.

Péter Völgyesi, Miklós Maróti, Sebestyen Dóra, Esteban Osses, Ákos Lédeczi

Sci. Comput. Program., 2005

Radio interferometric geolocation.

Miklós Maróti, Péter Völgyesi, Sebestyen Dóra, Branislav Kusy, András Nádas, Ákos Lédeczi, György Balogh, Károly Molnár

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

A Concurrency Abstraction for Reliable Sensor Network Applications.

János Sallai, Miklós Maróti, Ákos Lédeczi

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Sensor node localization using mobile acoustic beacons.

Manish Kushwaha, Károly Molnár, János Sallai, Péter Völgyesi, Miklós Maróti, Ákos Lédeczi

Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Multiple simultaneous acoustic source localization in urban terrain.

Ákos Lédeczi, Péter Völgyesi, Miklos Maroti, Gyula Simon, György Balogh, András Nádas, Branislav Kusy, Sebestyen Dóra

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

2004

Composition and cloning in modeling and meta-modeling.

Gabor Karsai, Miklós Maróti, Ákos Lédeczi, Jeff Gray, Janos Sztipanovits

IEEE Trans. Control. Syst. Technol., 2004

Finite basis problems and results for quasivarieties.

Miklós Maróti, Ralph McKenzie

Stud Logica, 2004

Shooter Localization in Urban Terrain.

Miklos Maroti, Gyula Simon, Ákos Lédeczi, Janos Sztipanovits

Computer, 2004

Sensor network-based countersniper system.

Gyula Simon, Miklós Maróti, Ákos Lédeczi, György Balogh, Branislav Kusy, András Nádas, Gábor Pap, János Sallai, Ken Frampton

Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, 2004

The flooding time synchronization protocol.

Miklós Maróti, Branislav Kusy, Gyula Simon, Ákos Lédeczi

Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, 2004

Directed Flood-Routing Framework for Wireless Sensor Networks.

Miklós Maróti

Proceedings of the Middleware 2004, 2004

Constraint-guided dynamic reconfiguration in sensor networks.

Sachin Kogekar, Sandeep Neema, Brandon Eames, Xenofon D. Koutsoukos, Ákos Lédeczi, Miklos Maroti

Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

Acoustic Ranging in Resource-Constrained Sensor Networks.

János Sallai, György Balogh, Miklós Maróti, Ákos Lédeczi, Branislav Kusy

Proceedings of the International Conference on Wireless Networks, 2004

Robust Multi-Hop Time Synchronization in Sensor Networks.

Miklos Maroti, Branislav Kusy, Gyula Simon, Ákos Lédeczi

Proceedings of the International Conference on Wireless Networks, 2004

Domain Independent Generative Modeling.

Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Péter Völgyesi

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Framework for the Rapid Development of Modeling Environments.

Ákos Lédeczi, Miklos Maroti, Péter Völgyesi

Proceedings of the Advanced Topics in Database Research, Vol. 3, 2004

2002

Model Reuse with Metamodel-Based Transformations.

Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf

Proceedings of the Software Reuse: Methods, 2002

2001

Composing Domain-Specific Design Environments.

Ákos Lédeczi, Arpad Bakay, Miklos Maroti, Péter Völgyesi, Greg Nordstrom, Jonathan Sprinkle, Gabor Karsai

Computer, 2001

2000

Equations of tournaments are not finitely based.

Jaroslav Jezek, Petar Markovic, Miklós Maróti, Ralph McKenzie

Discret. Math., 2000

Towards a standard for model specification and storage.

Dinesh Deva, Jonathan Sprinkle, Greg Nordstrom, Miklos Maroti

Proceedings of the IEEE International Conference on Systems, 2000

Model-Integrated Embedded Systems.

Ákos Lédeczi, Arpad Bakay, Miklos Maroti

Proceedings of the Self-Adaptive Software, First International Workshop, 2000

1999

Metaprogrammable Toolkit for Model-Integrated Computing.

Ákos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999