Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
127 | David R. Cok, Joseph Kiniry |
ESC/Java2: Uniting ESC/Java and JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASSIS ![In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, pp. 108-128, 2004, Springer, 3-540-24287-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
116 | Néstor Cataño, Marieke Huisman |
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 272-289, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ESC/Java, Java, specification, smart cards, static checking |
106 | Perry R. James, Patrice Chalin |
Extended static checking in JML4: benefits of multiple-prover support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 609-614, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ESC, ESC4, JML4, theorem provers, Java modeling language, static verification, extended static checking |
76 | Young Gil Kim, Norman C. Beaulieu |
Lossless Selection Combining without Channel State Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 1328-1332, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
71 | Cormac Flanagan, K. Rustan M. Leino |
Houdini, an Annotation Assistant for ESC/Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 500-517, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
61 | Sangmin Seo, Jaejin Lee, Zehra Sura |
Design and implementation of software-managed caches for multicores with local memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 14-18 February 2009, Raleigh, North Carolina, USA, pp. 55-66, 2009, IEEE Computer Society, 978-1-4244-2932-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Jason Cong, Sung Kyu Lim |
Edge separability-based circuit clustering with application to multilevel circuit partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(3), pp. 346-357, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Taehun Hwang, Kihong Park, Seung-Jin Heo, Sihyoung Lee |
Integrated Chassis Controller Design of Active Steering and Active Braking Systems Using CL Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 632-640, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Active Front Steering(AFS), Electronic Stability Control(ESC), Characteristic Locus(CL) Method, Integrated Chassis Control(ICC) |
56 | Yu Gu 0001, Ting Zhu 0001, Tian He 0001 |
ESC: Energy Synchronized Communication in Sustainable Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009. ICNP 2009, Princeton, NJ, USA, 13-16 October 2009, pp. 52-62, 2009, IEEE Computer Society, 978-1-4244-4634-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
56 | Aleksy Schubert, Jacek Chrzaszcz |
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SET ![In: Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland, pp. 337-348, 2006, Springer, 978-0-387-39387-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Walter Ameling (eds.) |
First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![Springer, 3-540-12723-2 The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Eduard Gerecke |
Schnelle Bewegung der Blockwände bei der Magnetisiergun von Eisen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 412-418, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | E. Godehardt, Otto Richter |
Application of Graph Theory in Modelling of Biological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 580-587, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | F. C. Kingdon, P. Loretto |
The Application of Microprocessors within Analogue Computer Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 181-186, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Johann Maierhofer, Helmuth Schmitt, Siegfried Trosch |
Software Simulation with Boris. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 239-244, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Colin Jefferson |
Modelling the Naturally Commutated DC Link Converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 434-439, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Felix Breitenecker |
Comparison of Digital and Hybrid Simulation of Regulator Plants with Alternatively Continuous and Discrete Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 261-266, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Hieronymus Gruber |
Sequential Systems: A Framework for the Definition of a General Simulation Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 82-87, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Jürgen Perl |
Controlling Processes Using Net Models and Dynamic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 357-361, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Horst A. Richter, A. Reul, Ch. Mittermayer |
Cardiosvascular Simulation for Pulsating Perfusion of Heart Valves in Mitral- or Aorta Position. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 474-479, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Willi Klösgen, W. Schwarz |
Interactive Planning Tools for Professionals: The Use of the Model Base System MBS and Future Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 625-630, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Erik H. D'Hollander, H. Simoens |
A Simulator of Homogeneous Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 187-192, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Wilfried Tettweiler |
MAPLIS - A Matrix Oriented Language for Modelling and Interactive Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 314-319, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | G. Bassett, A. K. Kochhar |
Computer Simulation of Material Requirements Planning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 595-605, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Dirk L. Kettenis |
The COSMOS Modelling and Simulation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 251-260, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Henk G. Sol |
Simulation Based Inquiry Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 58-62, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Dietmar P. F. Möller, Ewald Hennig |
A Nonlinear Circulatory Model for Artificial Heart Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 466-473, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Winfried Hahn |
Computer Design Language - Version Munich (CDLM): A Multi-Level Simulation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 207-212, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | R. M. Johnson |
Simulation of Vibration of a Crane Structure During Hoist Mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 383-389, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Petra Winkler, Uwe Großmann |
Transients of Gas Exchange Processes within the Upper Skin, Simulated by the Capillary Loop Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 492-497, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Jakov J. Crnkovic |
The Formal Theory of Simulation from the Users Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 112-117, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Klaus Diekmann |
Model Design and Simulation of a Certain Class of Nonlinear Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 106-111, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Kurt U. Hellmold |
The Modular Construction of Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 53-57, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Heimo H. Adelsberger |
Modeling and Simulation in ADA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 273-280, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Dieter Wendisch |
Simulation Program for Interactive Broadband Dialogue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 397-405, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Friedrich Wilhelm Fuchs, Johan Charles Bendien |
Simulation of Converter Fed A. C. Drives Using an Advance Frequency Domain Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 440-445, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | W. Wiening, Heinrich Rake |
Digital Simulation of Standard Configurations of Heating, Ventilating and Air-Conditioning Equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 454-459, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | D. R. De Buyser, Ghislain C. Vansteenkiste |
Building an On-Line Sensor for Biomass through Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 390-396, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Drago Matko, Rihard Karba, P. Omersel, Borut Zupancic, M. Sega |
A Practical Approach to the Simulation of Small Industrial Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 556-561, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Manfred Peschel, Felix Breitenecker, W. Mende |
On a New Concept for the Simulation of Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 93-98, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Alexander Karavas, Franz Regen, Lothar Krings, Walter Ameling |
Calculation of Open Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 245-250, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Peter Ijewski, Bernhard Schürmann, Michael Bruns |
Design of a Simulation System for Train-to-Train Container Transfer Stations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 343-350, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Th. F. J. Heeren, A. C. M. Hopman |
Decision Support System for Bankhall Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 606-613, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | J. Paul Landauer |
SIMSTAR - An Attached Multiprocessor for Dynamic System Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 155-174, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Ingrid Bausch-Gall |
Practical Experiences with an ACSL Implementation of an Existing FORTRAN Model for a Radar System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 307-313, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | François E. Cellier, Magnus Rimvall |
Computer Aided Control Systems Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 1-21, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | M. Lázaro, Luis Puigjaner, L. Martinez, Francisco Recasens |
Process Modeling and Optimization with Evolution-Operation Techniques: Application to Furfural Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 549-555, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Rihard Karba, Ales Mrhar, F. Bremsak, Drago Matko, F. Kozjek, M. Atanasijevic |
Nonlinear Pharmacokinetical Modelling and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 513-518, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Slobodan Andric |
Discrete System Dynamic Simulation - Interactive Language SDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 219-224, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | D. Sahm, Dean C. Karnopp |
Simulation of Electric Battery Dynamics Using Bond Graph Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 368-375, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Felix Breitenecker, Josef Kaliman |
Simulation of Pathological Blood Pressure Behaviour after Treadmill Test in Patients with Coarctation of the Aorta. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 480-485, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Wolfgang Bär |
A Frequency Domain Method for Control Systems Design of a Reduced Model of a Chemical Reactor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 568-573, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Franz Regen, Lothar Krings, Walter Ameling |
Simulation of Job Execution in the M5PS Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 329-336, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Wolfgang H. Zangemeister, Lawrence Stark |
Simulations of Analytical Eye and Head Models Using Optimum Criteria Explain the Neural Fine Control of Fast Eye and Head Movements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 504-512, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | H.-D. Engelmann |
Development of Model by Example for Recovery of Aqueous Acetic Acid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 70-76, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Hartmut Buschmann |
A68SIM - Discrete Event Simulation in ALGOL 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 301-306, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Granino A. Korn |
Direct-Exectuing Languages for Interactive Simulation and Computer-Aided Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 225-233, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Phuoc Tran-Gia |
Simulation of Instationary Processes for Performance Evaluations of Switching Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 362-367, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Gino Baron |
Low Order Models for Multistage Systems with Discrete Legendre Orthogonal Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 99-105, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Robert K. Bell, Pervez-Walter Ernest |
The Four Levels of Flow Control in SPIRO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 287-294, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Hans Fuss |
Simulation of Distributed Systems: A Competitive 3-Body Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 323-328, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Ghislain C. Vansteenkiste |
Simulation Methodology for Improved Process Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 32-43, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | N. Dahmen |
FORCASD - An Evaluation Net Oriented Program System for Modelling and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 267-272, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Jerry T. Bosley, Wayne L. McCowan |
Guidance Law Analysis Using Modular 6-DOF Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 419-433, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Rudolf Danda, B. Wüst |
Application of Simulation to the Planning of Generating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 614-619, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | S. W. Brok, Len Dekker, Eugene J. H. Kerckhoffs, Anthonie B. Ruighaver, Henk J. Sips |
Architecture and Programmature of the MIMD-Structured Delft Parallel Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 125-139, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Dobrivoje Popovic |
State of the Art in Parameter and State Estimation of Complex Systems by Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 22-31, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Klaus Waldschmidt |
Simulation in Modern Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 44-49, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Wolfgang Kleinert, Dietmar Solar, F. Berger |
Status Report on TU Vienna's Hybrid Time Sharing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 193-200, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Hans-Joachim Lenz |
A Test Bench for Batch Inspection Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 201-206, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Eugene J. H. Kerckhoffs, J. Potucek, Miroslav Snorek |
Simulation of Myocardial Fibre Action Potential Generation Units on the Delft Parallel Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 538-548, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Armin Schöne |
Simulation Techniques and Design in Engineering - Foundations, Methods and Possibilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 77-81, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Istvan Molnár |
Some Problems in Research of General Simulation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 88-92, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Johannes Krauth, Robert Schaback |
An Interactive System for Simulation and Graphic Evaluation of Discrete and Continuous Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 234-238, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Florian P. Kolb |
Results from a Simulation Model Describing a Biological, Sensory Feedback Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 588-594, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Oskar Hoffmann, J. T. Zierski |
Analysis of the Intracranial Pulse Pressure Relationship by Simulation: Application of a Mathematical Model and Comparison with Clinical Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 498-503, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Rainer Schnitzler, Reinhold Gebhardt, Walter Ameling, Walter Oberschelp |
Error-Analysis of Heuristic Algorithms by Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 63-69, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Otto Lange |
A Parallel Computer Architecture Oriented towards the Eigenvalue-Eigenvector Representation of Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 140-146, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | David James Murray-Smith, J. R. Rosenberg |
Models of the Muscle Spindle: A Case Study in Physiological System Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 519-523, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Erik Esmeijer |
The Interdisciplinary Ship's Design: Simulation Methods and Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 213-218, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Heinz Bültges, S. Faulhaber, Heinrich Rake |
Hybrid Simulation of an Electrohydraulic Servo Drive for a Manipulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 446-453, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | D. Danziger, Günter Schulz-Ekloff |
Reduction of Temperature Peaks in a Tubular Fixed-Bed Reactor for Exothermic Catalytic Reactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 562-567, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Friedemann Awiszus |
Development and Improvement of a Cross-Bridge-Model for Muscular Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 524-529, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Björn A. Gottwald |
Modelling Biological Processes with Block-Oriented Simulation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 574-579, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Alfred Schmidt, Lutz Mauer |
Hybrid Simulation of the Nonlinear Dynamics of High Speed Railway Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 351-356, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | H. Renders, G. Vilain, A. Barel |
Modelling a Measurement System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 376-382, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Raymond Gorez, D. Paillet |
Simulation of the Thermal State of an Underground Gasification Well. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 460-465, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Hubert Bischoff |
Simulation of Daily Household Activity Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 620-624, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | N. J. C. Baker, P. J. Smart |
The Sysmod Simulation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 281-286, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | András Jávor |
Modeling of Conflict Situations in Discrete Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 118-122, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Frank J. Pasveer, R. van Steenwijk |
Coupled Models of Excitable Byocardial Tissue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 530-537, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | H. Hanselmann, R. Kasper, M. Lewe |
Dimulation of Fast Digital Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 406-411, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Robert K. Bell, Pervez-Walter Ernest |
Station Types in GPSS, GPSS-F, SLAM and SPIRO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 295-300, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | M. R. Southworth |
IMPACS: Integrated Multi-Processor Aircraft Simulation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 175-180, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | David James Murray-Smith |
Use of an Aircraft Lateral Beam Guidance System Simulation in the Teaching of Control Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 337-342, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Franco Maceri, Domenico Bruno |
Non Linear Models for Cable Stayed Bridges Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 631-644, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Dietmar P. F. Möller |
Modelling and Simulation of the Longterm Behaviour of Arterial Pressure Regulation with the Aid of a Block - Diagrammed Interactive Simulation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 486-491, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
50 | Meir Barel |
A High Speed List Processor for Discrete Event Multiprocessor-Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 147-154, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
46 | Boqing Gong, Yueming Wang, Jianzhuang Liu, Xiaoou Tang |
Automatic facial expression recognition on a single 3D face by exploring shape deformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 569-572, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
3D facial expression recognition, basic facial shape component, expressional shape component, shape deformation |
46 | Yu-Ling Hsueh, Roger Zimmermann, Wei-Shinn Ku |
Efficient Updates for Continuous Skyline Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings, pp. 419-433, 2008, Springer, 978-3-540-85653-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|