Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
Primary links
Projects
Active Projects
Archived Projects
Tools
Research
Model Integrated Computing
Smart Cities
Distributed Object Computing
Network Embedded Systems
Cyber-Physical Systems
Education Technology
Smart Mobility
Modeling and Analysis of Complex Systems
Careers
Internships
Calendar
Proposal Questionnaire
Printers
jhenry
Home
ISIS Publications
List
Filter
Export 276 results:
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
Author
is
Karsai, Gabor
[Clear All Filters]
1986
Biegl, C.
,
G. Karsai
,
J. Sztipanovits
,
J. Bourne
,
R. Mushlin
, and
C. Harrison
,
"
Execution Environment for Intelligent Real-Time Systems
",
8th Annual IEEE/EMBS Conference
, Dallas, TX, pp. 807--811, 1986.
Tagged
XML
BibTex
Google Scholar
Biegl, C.
,
G. Karsai
,
J. Sztipanovits
,
J. Bourne
,
R. Mushlin
, and
C. Harrison
,
"
Experiment Design Language for Intelligent MRI Systems
",
8th Annual IEEE/EMBS Conference
, Dallas, TX, pp. 803--807, 1986.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
,
C. Biegl
, and
G. Karsai
,
"
Programming Model for Distributed Intelligent Systems
",
Proceedings of the Conference on Artificial Intelligence for Space Applications
, pp. 365--373, 1986.
Tagged
XML
BibTex
Google Scholar
1987
Sztipanovits, J.
,
G. Karsai
, and
C. Biegl
,
"
Automated Testing and Integration of Heterogeneous Systems
",
Proceedings of the Intersociety Energy Conversion Engineering Conference
, Philadelphia, PA, pp. 145--154, 1987.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
,
G. Karsai
, and
C. Biegl
,
"
Cooperative Systems for Real-Time Process Monitoring and Diagnostics
",
Proceeding of the AI-Japan
, Osaka, Japan, 1987.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
C. Biegl
,
W. Blokland
,
J. Sztipanovits
,
K. Kawamura
,
N. Miyasaka
, and
M. Inui
,
"
Intelligent Supervisory Controller for Gas Distribution Network
",
Proceedings of the American Control Conference
, pp. 1353--1358, 1987.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
,
C. Biegl
,
G. Karsai
,
J. Bourne
,
R. Mushlin
, and
C. Harrison
,
"
Knowledge-Based Experiment Builder for Magnetic Resonance Imaging (MRI) Systems
",
Proceedings of the 3rd IEEE Conference on Artificial Intelligence Applications
, pp. 126--133, 1987.
Tagged
XML
BibTex
Google Scholar
1988
Karsai, G.
,
J. Sztipanovits
, and
J. S. Gero
,
"
Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy
",
Artificial Intelligence in Engineering: Robotics and Processes
: Elsevier, pp. 387--402, 1988.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
Declarative Programming Techniques for Engineering
,
: Vanderbilt University, 1988.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
,
G. Karsai
, and
C. Biegl
,
"
Graph Model-Based Approach to the Representation, Interpretation and Execution of Real-Time Signal Processing Systems
",
International Journal of Intelligent Systems
, vol. 3, pp. 269--280, 1988.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
C. Biegl
,
S. Padalkar
,
J. Sztipanovits
,
K. Kawamura
,
N. Miyasaka
, and
M. Inui
,
"
Knowledge-Based Approach to Real-Time Supervisory Control
",
Amercian Control Conference
, Atlanta, GA, pp. 620--626, 1988.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
, and
G. Karsai
,
"
Knowledge-Based Techniques in Instrumentation
",
IEEE EMBS Magazine
, vol. 7, pp. 13--17, 1988.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
,
G. Karsai
, and
C. Biegl
,
"
Modeling, Model Interpretation and Intelligent Control
",
3rd IEEE International Symposium on Intelligent Control
, Arlington , VA, pp. 46--50, 1988.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
,
G. Karsai
, and
B. Purves
,
"
Model-Based Approach for Intelligent Control
",
Fourth SPIE Conference on Space Station Automation
, Cambridge, MA, pp. 46--65, 1988.
Tagged
XML
BibTex
Google Scholar
Download:
ModelBasedApproachforIntelligentControl.pdf
(1.71 MB)
Padalkar, S.
,
G. Karsai
, and
J. Sztipanovits
,
"
Graph-Based Real-Time Fault Diagnostics
",
4th Conference on Artificial Intelligence for Space Applications
, Huntsville, AL, pp. 115--123, January, 1988.
Tagged
XML
BibTex
Google Scholar
1990
Sztipanovits, J.
,
G. Karsai
,
S. Padalkar
,
C. Biegl
,
N. Miyasaka
, and
K. Okuda
,
"
Intelligent Monitoring and Diagnostics for Plant Automation
",
IEEE International Conference on Robotics and Automation
, Cincinnati, OH, pp. 1390--1397, 1990.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
J. Sztipanovits
,
S. Padalkar
, and
C. Biegl
,
"
Model Based Techniques for Intelligent Process Control
",
Artificial Intelligence in Engineering
, vol. 2: Elsevier, pp. 79--94, 1990.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
J. Sztipanovits
,
S. Padalkar
,
C. Biegl
,
N. Miyasaka
, and
K. Okuda
,
"
Models and Model building in Intelligent Process Control Systems
",
IEEE International Symposium on Intelligent Control
, pp. 351--357, 1990.
Tagged
XML
BibTex
Google Scholar
Wilkes, M.
,
D. L. Lynd
,
J. Sztipanovits
, and
G. Karsai
,
"
The Multigraph Approach to Parallel, Distributed, Structurally Adaptive Signal Processing
",
IEEE International Conference on Acousitc and Signal Processing
, pp. 2037--2040, 1990.
Tagged
XML
BibTex
Google Scholar
Andersen, K.
,
G. E. Cook
,
K. Ramaswamy
, and
G. Karsai
,
"
Artificial Neural Networks Applied to Arc Welding Process Modeling and Control
",
IEEE - IAS Transactions
, vol. 26, pp. 824--830, September, 1990.
Tagged
XML
BibTex
Google Scholar
1991
Padalkar, S.
,
J. Sztipanovits
,
G. Karsai
,
N. Miyasaka
, and
K. Okuda
,
"
Real-Time Fault Diagnostics
",
IEEE Expert
, vol. 6, pp. 75--85, 1991.
Tagged
XML
BibTex
Google Scholar
Carnes, R.
,
J. Davis
,
C. Biegl
, and
G. Karsai
,
"
Integrated Modeling for Planning, Simulation and Diagnosis
",
IEEE Conference on AI Simulation {\&} Planning in High Autonomy Systems
, Cocoa Beach, FL, pp. 273--282, April, 1991.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
J. Sztipanovits
,
S. Padalkar
, and
C. Biegl
,
"
A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics
",
AIChE Annual Meeting, microfilm
, Los Angeles, CA, November, 1991.
Tagged
XML
BibTex
Google Scholar
1992
Karsai, G.
,
K. Andersen
,
G. E. Cook
, and
R. J. Barnett
,
"
Neural Network Methods for the Modeling and Control of Welding Processes
",
Journal of Intelligent Manufacturing
, pp. 229--235, 1992.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
,
T. Bapty
,
C. Biegl
,
A. Ledeczi
,
G. Karsai
, and
J. Sztipanovits
,
"
Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System
",
Proceedings of the International Conference on Signal Processing Applications and Technology
, Boston, MA, pp. 573--582, February, 1992.
Tagged
XML
BibTex
Google Scholar
Ledeczi, A.
,
B. Abbott
,
C. Biegl
,
G. Karsai
, and
J. Sztipanovits
,
"
Modeling Parallel Hardware Architectures
",
International Conference on Signal Processing Applications and Technology
, Boston, MA, pp. 274--281, January, 1992.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
J. Sztipanovits
,
S. Padalkar
,
C. Biegl
,
N. Miyasaka
, and
K. Okuda
,
"
Model Based Intelligent Process Control for Cogenerator Plants
",
Journal of Parallel and Distributed Systems
, vol. 15, pp. 90--103, June, 1992.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_1992_Model_Base.pdf
(545.01 KB)
1993
Ledeczi, A.
,
B. Abbott
,
C. Biegl
,
T. Bapty
,
G. Karsai
, and
J. Sztipanovits
,
"
Parallel DSP System Integration
",
Microprocessors and Microsystems
, vol. 17, pp. 460--470, 1993.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
S. Padalkar
,
H. Franke
, and
J. Sztipanovits
,
"
"Model-based Programming Tools for Integrated Monitoring, Simulation, Diagnosis, and Control"
",
Proc. of Computing in Aerospace 9, AIAA paper 93-4578
, 1993.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_1993_Model_base.pdf
(141.99 KB)
Sztipanovits, J.
,
G. Karsai
,
M. Wilkes
, and
D. L. Lynd
,
"
The Multigraph and Structural Adaptivity
",
IEEE Transactions on Signal Processing
, vol. 41, pp. 2695--2717, August, 1993.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
,
T. Bapty
,
C. Biegl
,
G. Karsai
, and
J. Sztipanovits
,
"
Model-Based Approach for Software Synthesis
",
IEEE Software
, vol. 10, pp. 42--52, May, 1993.
Tagged
XML
BibTex
Google Scholar
1994
Padalkar, S.
,
J. Sztipanovits
,
G. Karsai
,
N. Miyasaka
, and
K. Okuda
,
"
Real-Time Fault Diagnostics with Multiple-Aspect Models
",
IEEE International Conference on Robotics and Automation
, Sacramento, CA, pp. 803--808, April, 1994.
Tagged
XML
BibTex
Google Scholar
Moore, M.
,
G. Karsai
, and
J. Sztipanovits
,
"
Model-Based Programming for Parallel Image Processing
",
IEEE International Conference on Image Processing
, Austin, TX, pp. 811--815, January, 1994.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
S. Padalkar
,
J. Sztipanovits
, and
F. DeCaria
,
"
Activity Modeling
",
Foundation of Computer Aided Process Design, microfilm publication
, Snowmass, CO, July, 1994.
Tagged
XML
BibTex
Google Scholar
1995
Ledeczi, A.
,
T. Bapty
,
G. Karsai
, and
J. Sztipanovits
,
"
Modeling Paradigm for Parallel Signal Processing
",
The Australian Computer Journal
, vol. 27, pp. 92--102, August, 1995.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
"
A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming
",
IEEE Computer
, vol. 28, pp. 36--44, March, 1995.
Tagged
XML
BibTex
Google Scholar
Padalkar, S.
,
G. Karsai
,
J. Sztipanovits
, and
F. DeCaria
,
"
Online Diagnostics Makes Manufacturing More Robust
",
Chemical Engineering Magazine
, pp. 80--83, March, 1995.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
J. Sztipanovits
,
S. Padalkar
, and
F. DeCaria
,
"
Model-embedded On-line Problem Solving Environment for Chemical Engineering
",
International Conference on Engineering of Complex Computer Systems
, Ft Lauderdale, FL, pp. 227--233, November, 1995.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_11_6_1995_Model_embe.pdf
(180.47 KB)
Sztipanovits, J.
,
G. Karsai
,
C. Biegl
,
T. Bapty
,
A. Ledeczi
, and
D. Malloy
,
"
MULTIGRAPH: An Architecture for Model-Integrated Computing
",
Proceedings of the International Conference on Engineering of Complex Computer Systems
, Ft. Lauderdale, FL, pp. 361--368, November, 1995.
Tagged
XML
BibTex
Google Scholar
Download:
Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf
(146.05 KB)
1996
Karsai, G.
,
S. Padalkar
,
H. Franke
, and
J. Sztipanovits
,
"
A Practical Method For Creating Plant Diagnostics Applications
",
Integrated Computer-Aided Engineering
, vol. 3, pp. 291--304, 1996.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_1996_A_Practica.pdf
(364.48 KB)
Davis, J.
,
T. Bapty
,
G. Karsai
,
D. Malloy
,
J. Sztipanovits
, and
T. Tibbals
,
"
Model Based Data Validation
",
Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention
, Mobile, AL, April, 1996.
Tagged
XML
BibTex
Google Scholar
1997
Karsai, G.
, and
F. DeCaria
,
"
Model-Integrated On-line Problem-Solving Environment for Chemical Engineering
",
IFAC Control Engineering Practice
, vol. 5, pp. 1--9, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_1997_Model_Inte_.pdf
(180.47 KB)
Sztipanovits, J.
, and
G. Karsai
,
"
Model-Integrated Computing
",
IEEE Computer
, vol. 30, pp. 110--112, April, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Sztipanovi_J_4_0_1997_Model_Inte.pdf
(53.27 KB)
Karsai, G.
,
J. Sztipanovits
,
A. Ledeczi
, and
M. Moore
,
"
Model-Integrated System Development: Models, Architecture and Process
",
21st Annual International Computer Software and Application Conference (COMPSAC)
, Bethesda, MD, pp. 176--181, August, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_8_0_1997_Model_Inte.pdf
(4.73 MB)
Misra, A.
,
G. Karsai
, and
J. Sztipanovits
,
"
Model-Integrated Development of Complex Applications
",
Fifth International Symposium on Assessment of Software Tools
, Pittsburgh, PA, pp. 14--23, June, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Misra_A_6_0_1997_Model_Inte.pdf
(235.84 KB)
Moore, M.
,
J. Sztipanovits
,
G. Karsai
, and
J. Nichols
,
"
A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing
",
SPIE Conference on Parallel and Distributed Methods for Image Processing
, San Diego, CA, pp. 31--45, June, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Moore_MS_6_0_1997_A_Model_In.pdf
(265.03 KB)
Misra, A.
,
G. Karsai
,
J. Sztipanovits
,
A. Ledeczi
, and
M. Moore
,
"
A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing
",
International Conference and Workshop on Engineering of Computer Based Systems
, Monterey, CA, pp. 203--210, March, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Misra_A_3_24_1997_A_Model_In.pdf
(170.66 KB)
Franke, H.
,
J. Sztipanovits
, and
G. Karsai
,
"
Model-Integrated Computing
",
Hawaii Systems of the World Manufacturing Congress
, Auckland, New Zealand, November, 1997.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
, and
G. Karsai
,
"
Model-Integrated Computing Environment
",
ACM SIGSOFT Software Engineering Notes
, vol. 22, pp. 72--73, September, 1997.
Tagged
XML
BibTex
Google Scholar
1998
Karsai, G.
,
J. Sztipanovits
, and
H. Franke
,
"
Towards Specification of Program Synthesis in Model-Integrated Computing
",
ECBS-98
, Jerusalem, Israel, pp. 226--233, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_1998_Towards_Sp.pdf
(359.33 KB)
1
2
3
4
5
6
next ›
last »