Zoltán Pap

According to our database1, Zoltán Pap authored at least 19 papers between 2002 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Artificial intelligence voice assistant implementation possibilities in interactive toy for preschool age children.
Proceedings of the 19th IEEE International Symposium on Intelligent Systems and Informatics, 2021

2014
The Incremental Maintenance of Transition Tour.
Fundam. Informaticae, 2014

2012
Exploiting interest-based proximity for content recommendation in peer-to-peer networks.
IET Commun., 2012

Smoothing method for solving NCP and economic equilibria.
Proceedings of the 10th IEEE Jubilee International Symposium on Intelligent Systems and Informatics, 2012

2009
Using Change Impact Analysis to Select Tests for Extended Finite State Machines.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications.
Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009

An Approach for Test Selection for EFSMs Using a Theorem Prover.
Proceedings of the Testing of Software and Communication Systems, 2009

Random node sampling in Kademlia.
Proceedings of the 6th International ICST Conference on Broadband Communications, 2009

2008
RESERV: A Distributed, Load Balanced Information System for Grid Applications.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007
Peer-to-peer based distributed file systems.
Int. J. Internet Protoc. Technol., 2007

A Bounded Incremental Test Generation Algorithm for Finite State Machines.
Proceedings of the Testing of Software and Communicating Systems, 2007

2006
Iterative automatic test generation method for telecommunication protocols.
Comput. Stand. Interfaces, 2006

Analyzing the Impact of Protocol Changes on Tests.
Proceedings of the Testing of Communicating Systems, 2006

2005
Standardized languages for telecommunication systems.
Comput. Stand. Interfaces, 2005

On the Theory of Patching.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

On FSM-Based Fault Diagnosis.
Proceedings of the Testing of Communicating Systems, 2005

2003
Applying Mutation Analysis to SDL Specifications.
Proceedings of the SDL 2003: System Design, 2003

2002
Standardized Event Pair Based Test Generation Method Using TSS&TP.
Acta Cybern., 2002

Automatic Test Selection based on CEFSM Specifications.
Acta Cybern., 2002


  Loading...