.

Δημοσιεύσεις



Δημοσιεύσεις σε Περιοδικά

A. Tsalgatidou,
Re-engineering and Automation of Business Processes: Criteria for Selecting Supporting Tools
Effective Databases for Text and Document Management , 2003

Z.Tsiatsoulis, J.Y.Cotronis,
Testing and Debugging Message Passing Programs in Synergy with their Specifications
Fundamenta Informaticae , vol 41.3 , pages 341-366 , 2000

J.Y.Cotronis, Z.Tsiatsoulis,
Specification composition for the verification of message passing program composition
Microprocessing and Microprocessors 21 , pages 595-603 , 1998

D. Theotokis, G. Gyftodimos, P.Georgiadis and G. Philokyprou,
VIBDaST: A Virtual Interactive Book as a Data Structures Teaching Aid
ACM SIGCSE/SIGCUE Bulletin , vol 29.3 , pages 111-113 , 1997

A. Tsalgatidou, P. Louridas, G. Schizas and T. Fesakis,
Multilevel Petri Nets for Modeling and Simulating Organizational Dynamic Behaviour
Simulation & Gaming, Special Issue on Simulation of Information Systems , vol 27.4 , pages 484-506 , 1996

M. Spiliopoulou, M. Hatzopoulos, J.Y. Cotronis,
Parallel Optimisation of Large Join Queries with Set Operators and Aggregates in a Parallel Environment Supporting Pipeline
IEEE-TKDE , vol 8.3 , 1996

D. Anagnostopoulos, M. Nikolaidou, P.Georgiadis and G. Gyftodimos,
Aplying Real Time Simulation in the LAN: Modeling Considerations
System Analysis Modeling and Simulation 18-19 , pages 701-704 , 1995

A. Tsalgatidou, D. Gouscos, C. Halatsis,
Towards the Development of Effective and Flexible Information Systems
Australian Journal of Information Systems , vol 1.2 , 1994

J.Y.Cotronis, A.N.Refenes and E.Eberbach,
Language Support for Concurrent Symbolic and Numeric Systems
Software - Concepts and Tools 15 , pages 105-124 , 1994

J.Y.Cotronis, A.N.Refenes and E.Eberbach,
Language Support for Concurrent Symbolic and Numeric Systems
Software - Concepts and Tools 15 , pages 105-124 , 1994

P. Stamatopoulos, I. Karali and C. Halatsis,
A Tour Advisory System Using a Logic Programming Approach
ACM Applied Computing Review journal , vol 1.1 , pages 18-25 , 1993

A. Tsalgatidou, P. Loucopoulos,
Rule-Based Behaviour Modelling (RBM): Specification and Validation of Information Systems Dynamics
Information and Software Technology , vol 33.6 , pages 425-433 , 1991

A. Tsalgatidou,
Modelling and Animating the Dynamics of Information Systems
Information Processing Letters 36 , pages 123-127 , 1990



Δημοσιεύσεις που περιλαμβάνονται σε Πρακτικά Συνεδρίων

A. Tsalgatidou, G. Athanasopoulos, P. Liaskovitis,
A UML Profile for Software Architectures and Peer to Peer Dependable Applications
Presented in CAISE05 Forum, Porto, Portugal , 2005

A. Tsalgatidou, G. Athanasopoulos, M. Pantazoglou,
Semantically Enhanced Discovery of Heterogeneous Services
Proceedings of the 1st International IFIP/WG12.5 Working Conference on Industrial Applications on Semantic Web (IASW05), Jyväskylä, Finland , 2005

A. Tsalgatidou, M. Pantazoglou, G. Athanasopoulos,
Semantically Enhanced Unified Service Discovery
Proceedings of the W3C Workshop on Frameworks for Semantics in Web Services,Innsbruck, Austria , 2005

T. Pilioura, G.D. Kapos, A. Tsalgatidou,
PYRAMID-S: A Scalable Infrastructure for Semantic Web Service Publication and Discovery
Proceedings of RIDE-DGS 2004:14th International Workshop on Research Issues on Data Engineering, in conjunction with the IEEE Conference on Data Engineering (ICDE 2004) , 2004

T. Pilioura, G.D. Kapos, A. Tsalgatidou,
A Scalable Infrastructure for Unified Publication and Discovery in Heterogeneous Service Registries
Forum of CAiSE 04, The 16th International Conference on Advance Information Systems Engineering , 2004

T. Pilioura, G.D. Kapos, A. Tsalgatidou,
Seamless Federation of Heterogeneous Services Registries
Proceedings of EC-Web 2004 , 2004

G.D. Kapos, A. Tsalgatidou, M. Nikolaidou,
A Web Service-based Platform for CSCW over Heterogeneous End-User Applications
Proceedings of the 17th International Conference on Parallel and Distributed Computing Systems , 2004

T. Pilioura, A. Tsalgatidou, A. Batsakis,
Using WSDL/UDDI and DAML-S in web service discovery
Proceedings of the WWW 2003 Workshop on E-Services and the Semantic Web , 2003

J.Y.Cotronis, Z. Tsiatsoulis,
Modular MPI and PVM Components
in Proceedings Recent Advances in PVM and MPI 2002 , pages 252-259 , 2002

G. E. Gyftodimos,
On Modeling an Interactive Evolutionary World
Procs. of Int. Conf. on Simulation ESM2001 , pages 37-42 , 2001

J.Y.Cotronis,
Modular MPI Components and the Composition of Grid Applications
Proc. of the Tenth Euromicro Workshop on Parallel, Distributed and Network-based Processing , pages 154-161 IEEE Computer Society press , 2001

J.Y. Cotronis,
Reusable message passing components
in Proceedings 8th PDP2000 Euromicro Workshop on Parallel and Distributed Processing , pages 398-405 IEEE Computer Society press , 2000

J.Y. Cotronis, Z. Tsiatsoulis, C. Kouniakis,
Composition of Message Passing Applications On-Demand
LNCS 1908 , pages 192-199 Springer , 2000

D. Theotokis, G.D. Kapos, C. Vassilakis, A. Sotiropoulou, G. Gyftodimos,
Distributed Information Systems Tailorability: A Component Aproach
Procs. of 7nth IEEE \"Workshop on Future Trends of Distributed Computing Systems\" , pages 95-101 , 1999

N. Dragios, G.D. Kapos, S. Mantzouranis, D. Theotokis, and G. Gyftodimos,
Designing Tailorable Information Systems Using a Component Focused Role Model (CFRM)
Procs. of 7th Hellenic Conference on Informatics , pages 20-28 , 1999

Z.Tsiatsoulis, G.Dózsa, J.Cotronis, P.Kacsuk,
Associating Composition of Petri Net Specifications with Application Designs in GRADE
Proc. of the Seventh Euromicro Workshop on Parallel and Distributed Processing , pages 204-211 IEEE Computer Society press , 1999

Z.Tsiatsoulis, J.Cotronis, E. Floros,
Testing and debugging message Passing applications based on the synergy of program and specification executions
Proc. of the Seventh Euromicro Workshop on Parallel and Distributed Processing , pages 196-203 IEEE Computer Society press , 1999

J.Y. Cotronis, E. Avgeri and G. Krallis,
Porting Applications between PVM and Parix under Ensemble
in Proc. 6th Euromicro Workshop on Parallel and Distributed Processing , pages 409-415 IEEE Computer Science , 1998

J.Y. Cotronis,
Developing Message Passing Applications on MPICH under Ensemble
in Proceedings Recent Advances in PVM and MPI , pages 145-152 , 1998

J.Y. Cotronis, P. Kacsuk, Z. Tsiatsoulis, G. Dózsa, E. Floros,
Integration of Formal Specifications into GRADE
Proceedings Dapsys 98 , pages 39-46 , 1998

D. Theotokis, G. Gyftodimos P.Georgiadis and G. Philokyprou,
ATOMA: A Component Object Oriented framework for Computer Based Learning
Procs. of 3rd Int. Conf. on Computer Based Learning in Science CBLIS\'97 , pages 1-15 , 1997

D. Theotokis, G. Gyftodimos and P.Georgiadis,
Objects or Components: Staticality or Dynamicity in object oriented composition. An aproach using roles and mixins
Procs. of 6th Hellenic Conference on Informatics \"Towards the Information Society, Trends and Activities in Information and Communication Technologies\" , pages 335-345 , 1997

L. Katsaros, C. Poulkas, D. Theotokis and G. Gyftodimos,
Code reuse and object-oriented systems. Using a helper class to enforce dynamic behaviour
Procs. of 6th Hellenic Conference on Informatics \"Towards the Information Society, Trends and Activities in Information and Communication Technologies\" , pages 323-334 , 1997

Γ. Κοτρώνης, Ε. Αυγέρη, Γ. Κράλλης,
Μεταφορά Εφαρμογών σε Περιβάλλοντα Μεταβίβασης Μηνυμάτων με την Υποστήριξη της Μεθοδολογίας Ensemble
Πρακτικά 6ου Πανελλήνιου Συνεδρίου Πληροφορικής , pages 757-770 , 1997

J.Y. Cotronis and Z. Tsiatsoulis,
Composition of Specifications of Message Passing Applications Composed by the Ensemble Methodology
Πρακτικά 6ου Πανελλήνιου Συνεδρίου Πληροφορικής , pages 299-312 , 1997

J.Y.Cotronis, Z.Tsiatsoulis,
Specification composition for the verification of message passing program composition
In Proc. Encress 97. 3rd International Conference on Reliability, Quality & Safety of Software-Intensive Systems Chapman and Hall , 1997

T. Theoharis, J.Y.Cotronis,
FlexParDB: An RDBMS employing Intra-query and Operator parallelism
in Proc. Applications of HPC in Engineering , pages 33-42 Computational Mechanics Publications , 1997

J.Y. Cotronis,
Message Passing Program Development by Ensemble
in Proceedings Recent Advances in PVM and MPI , pages 242-249 , 1997

P. Stamatopoulos and I. Karali,
Logic as Vehicle for Real Life Applications
Proceedings of the First Panhellenic Symposium in Logic , pages 205-210 , 1997

I. Karali and C. Halatsis,
Modular Logic Programming and Abstract Data Types
Proceedings of the First Panhellenic Symposium in Logic , pages 229-236 , 1997

D. Theotokis, G. Gyftodimos and P.Georgiadis,
ATOMS: A Methodology for Component Object Oriented Software Development Aplied in the Educational Context
Procs. of 3rd Int. Conf. (IEE / IBM) on Object Oriented Information Systems, OOIS ‘96 , pages 226-242 , 1996

J.Y Cotronis,
Efficient Composition and Automatic Initialization of Arbitrarily Structured PVM Programs
Proceedings, First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering Chapman & Hall , 1996

J.Y.Cotronis, E.Floros, N.Papazis,
Efficient Composition of PVM programs
HPCN96 , 1996

J.Y.Cotronis,
Efficient Program Composition on Parix by the Ensemble Methodology
Euromicro Conference 96 , 1996

M. Spiliopoulou, G. Gyftodimos and G.A. Papadopoulos,
Using Constraints and Hypothetical Reasoning in Hypermedia Exploration for Educational Purposes
Procs. of \"Multimedia and Hypermedia Systems\" Conf. MIPRO\'95 , pages 88-94 , 1995

Γ. Γυφτοδήμος, Γ. Φιλοκύπρου,
Mιά Σημασιολογική Προσέγγιση γιά την Oργάνωση ενός Aνοικτού Yπολογιστικού Mαθησιακού Mικρόκοσμου, με βάση Eξι Λογικούς Xαρακτηρισμούς
Πρακτ. 2ου Πανελλ. Συν. \"Διδακτική των Mαθηματικών και Πληροφορική στην Eκπαίδευση\" , pages 655-668 , 1995

G. Gyftodimos, D. Rigopoulos and M. Spiliopoulou,
Exploring Archaeological Information through an Open Hypermedia System
Int. Conf. CAA\'95 Analecta Praehistorica Leidensia, vol. 28, \"Intrfacing the Past\" , pages 497-505 , 1995

D. Anagnostopoulos, M. Nikolaidou, P.Georgiadis, G. Gyftodimos,
Network Simulation: A real Time Simulation Methodology
Procs. of \"Summer Computer Simulation Conference\" SCSC\'95 , pages 21-26 , 1995

D. Anagnostopoulos, M. Nikolaidou, P.Georgiadis and G. Gyftodimos,
Aplying Real Time Simulation in the LAN Domain: Modelling Considerations
Procs. of Int. Mult. Conf. in Simulation IMACS-SAS\'95 , pages 701-704 , 1995

D. Anagnostopoulos, G. Gyftodimos, P.Georgiadis and M. Nikolaidou,
Aplying Real Time Simulation: The Computer Networks Domain
Procs. of IASTED Aplied Informatics Conference , pages 298-300 , 1995

D. Anagnostopoulos, P.Georgiadis, G. Gyftodimos, G. Doukidis,
Establishing the Real Time Simulation Concept through a Four-Phase Methodology
Procs of European Simulation Multiconf. ESM\'95 , pages 15-19 , 1995

J.Y. Cotronis,
A Methodology for Initiating Arbitrary Structured Programs in Parix by Interpreting Graphs
Proceedings of ZEUS 95 IOS Press , 1995

Karali and C. Halatsis,
A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics
Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development (TAPSOFT\'95) Lecture Notes in Computer Science (915) , pages 486-500 Springer Verlag , 1995

A. Tsalgatidou, D. Gouscos, C. Halatsis,
Dynamic Process Modelling through Multi-level RBNs
Proceedings of the 4th Conf. on Dynamic Modelling of Information Systems (DYNMOD-IV) , pages 327-341 , 1994

A. Tsalgatidou, D. Gouscos, C. Halatsis,
Specifying and Validating Requirements: The VENUS system
Proceedings of TOOLS-EUROPE 94 , pages 89-102 , 1994

G. Gyftodimos, M. Spiliopoulou,
Organizing a Hypermedia Environment for Learning Purposes
\"Cognitive Psychology and Computers in Primary Education\" , pages 283-295 ASI F-Series, Springer -Verlag , 1994

· C. Halatsis, P. Stamatopoulos, I. Karali, C. Mourlas, D. Gouscos, D. Margaritis, C. Fouskakis, A. Kolokouris, P. Xinos, M. Reeve, A. Veron, K. Schuerman and L.-L. Li,
MaTourA: Multi-agent Tourist Advisor
Proceedings of the International Conference on Information and Communication Technology in the Field of Tourism (ENTER\'94) , pages 140-147 Springer-Verlag , 1994

Karali and C. Halatsis,
Abstract Data Type Support in Prolog and its Relation to Parallelism
Proceedings of the ACM Symposium on Applied Computing 1994(SAC\'94) , pages 415-419 , 1994

P. Stamatopouloσ, D. Margaritis and C. Halatsis,
Extending a parallel CLP language to support the development of multi-agent systems
Proceedings of the ACM Symposium on Applied Computing 1994 (SAC\'94) , pages 410-414 , 1994

Karali and C. Halatsis,
A Practical Module System for Logic Programming and its Semantics
Proceedings of the IEEE 6th International Conference on Tools with Artificial Intelligence (TAI\'94) , pages 708-711 , 1994

C. Mourlas, C. Halatsis,
MAGE: A Massively Agent Execution System for Logic Programming
PARLE , pages 737-740 , 1994

A. Tsalgatidou, D. Gouscos, C. Halatsis,
Rule-Based Behaviour Modelling of Information Systems
Proceedings of HICSS-26,Vol. IV IEEE Computer Society Press , pages 409-418 , 1993

M.Spiliopoulou, J.Y.Cotronis and M.Hatzopoulos,
Parallel Optimisation of Join Queries Using an Enhanced Iterative Improvement Technique
PARLE 93, Proceedings of the 5th International PARLE Conference Lecture Notes in Computer Science, Springer-Verlag , pages 716-719 , 1993

I. Karali, E. Pelecanos and C. Halatsis,
A Versatile Module System for Prolog Mapped to Flat Prolog
Proceedings of the ACM Symposium on Applied Computing 1993 (SAC\'93) , 1993

P. Stamatopoulos, I. Karali and C. Halatsis,
PETINA --- Tour Generation Using the ElipSys Inference System
Proceedings of the ACM Symposium on Applied Computing 1992 (SAC\'92) , pages 320-327 , 1992

C. Mourlas, C. Halatsis,
Extensions to a Parallel Prolog System to Support Real-Time Applications
PARLE , pages 551-565 , 1992

Γ. Γυφτοδήμος, M. Σπηλιοπούλου,
O Mίτος της Aριάδνης ως Eργαλείο Eπανα- προσανατολισμού σε ένα Hypertext Σημασιολογικό Δίκτυο
Πρακτ. 3ου Πανελλ. Συν. Πληροφορικής EΠY , pages 292-31 , 1991

C. Halatsis, I. Karali and E. Pelecanos,
Modules and Abstract Data Types as Extensions of the ElipSys Language
Πρακτικά 3ου Πανελλήνιου Συνέδριου Πληροφορικής , pages 87-99 , 1991

C. Halatsis, M. Katzouraki, M. Hatzopoulos, P. Stamatopoulos, I. Karali, C. Mourlas, M. Gergatsoulis, E. Pelecanos,
PETINA: PErsonalized Tourist INformation Advisor
Πρακτικά 3ου Πανελλήνιου Συνέδριου Πληροφορικής , pages 590-605 , 1991

A. Tsalgatidou, V. Karakostas, P. Loucopoulos,
Rule-Based Requirements Specification and Validation
Proceedings of CAISE-90 Lecture Notes in Computer Science , pages 251-264 Springer-Verlag , 1990

Γ.Φιλοκύπρου, K.Xαλάτσης, M.Xατζόπουλος, Γ. Kοτρώνης, Δ. Nικολός, N. Φλέσσας, Π. Γαρίδης, M. Σπηλιοπούλου,
Παράλληλη Eκτέλεση Eρωταποκρίσεων Bάσεων Δεδομένων
2ο Πανελλήνιο Συνέδριο Πληροφορικής , pages 100-110 , 1988



Δημοσίευση Βιβλίων

Y. Cotronis, J. Dongarra,
Recent Advances in Parallel Virtual Machine and Message Passing Interface
LNCS 2131 , 2001



Δημοσιεύσεις που περιλαμβάνονται σε Βιβλία

A. Tsalgatidou, P. Loucopoulos,
An object-oriented rule-based approach to the dynamic modelling of Information Systems
Dynamic Modelling of Information Systems North-Holland/Elsevier Science Publishers , 1991

Έρευνα > Μεθοδολογίες, Τεχνικές και Εργαλεία Ανάπτυξης Λογισμικού > Δημοσιεύσεις