|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 260 occurrences of 185 keywords
|
|
|
Results
Found 684 publication records. Showing 677 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
139 | Jaewon Sung, Takeo Kanade, Daijin Kim 0001 |
A Unified Gradient-Based Approach for Combining ASM into AAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 75(2), pp. 297-309, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
combining AAM into ASM, gradient-based optimization, AAM, facial expression recognition, ASM |
118 | Joëlle Cohen, Anatol Slissenko |
Stability of Real-Time Abstract State Machines under Desynchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 341, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
116 | Lianghua He, Stan Z. Li, Jianzhong Zhou, Li Zhao 0003, Cairong Zou |
Optimal Shape Space and Searching in ASM Based Face Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SINOBIOMETRICS ![In: Advances in Biometric Person Authentication, 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004, Proceedings, pp. 100-109, 2004, Springer, 3-540-24029-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
113 | Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter |
Interfacing ASM with the MDG Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 278-292, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
94 | Jaewon Sung, Daijin Kim 0001 |
A Unified Approach for Combining ASM into AAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSIVT ![In: Advances in Image and Video Technology, First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006, Proceedings, pp. 353-362, 2006, Springer, 3-540-68297-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
94 | Kevin C. Almeroth, Supratik Bhattacharyya, Christophe Diot |
Challenges of Integrating ASM and SSM IP Multicast Protocol Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Evolutionary Trends of the Internet, Thyrrhenian International Workshop on Digital Communications, IWDC 2001, Taormina, Italy, September 17-20, 2001, Proceedings, pp. 343-360, 2001, Springer, 3-540-42592-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
92 | Matthias Anlauff |
XASM - An Extensible, Component-Based ASM Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 69-90, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
83 | Yanong Zhu, Mark Fisher 0001, Reyer Zwiggelaar |
Improving ASM Search Using Mixture Models for Grey-Level Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (1) ![In: Pattern Recognition and Image Analysis, Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part I, pp. 292-299, 2005, Springer, 3-540-26153-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
81 | Hans Langmaack |
An ALGOL-View on Turbo ASM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, pp. 20-37, 2004, Springer, 3-540-22094-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
81 | Kirsten Winter |
Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 341-360, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
76 | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Generating finite state machines from abstract state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 112-122, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM |
75 | Hans Langmaack |
On Revival of Algol-Concepts in Modern Programming and Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 414-434, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class |
75 | Damien Imbs, Michel Raynal |
The multiplicative power of consensus numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 26-35, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bg simulation, synchronization power, t-resilience, simulation, fault-tolerance, distributed computability, shared memory system, system model, wait-freedom, asynchronous processes, k-set agreement, consensus number, reduction algorithm, process crash failure |
75 | Jingcai Fan, Hongxun Yao, Wen Gao 0001, Yazhou Liu, Xin Liu 0047 |
The Bunch-Active Shape Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACII ![In: Affective Computing and Intelligent Interaction, First International Conference, ACII 2005, Beijing, China, October 22-24, 2005, Proceedings, pp. 16-23, 2005, Springer, 3-540-29621-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
73 | Wanghu Chen, Yanbo Han, Chen Liu, Jing Wang 0002, Shuying Yan |
ASM-TL: an Abstract Service Model Enabling Adaptive Matchmaking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: Proceedings of ICEBE 2007, IEEE International Conference on e-Business Engineering and the Workshops SOAIC 2007, SOSE 2007, SOKM 2007, 24-26 October, 2007, Hong Kong, China, pp. 559-562, 2007, IEEE Computer Society, 0-7695-3003-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
73 | Ying Li, Jian-Huang Lai, Pong Chi Yuen |
Multi-template ASM Method for Feature Points Detection of Facial Image with Diverse Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGR ![In: Seventh IEEE International Conference on Automatic Face and Gesture Recognition (FGR 2006), 10-12 April 2006, Southampton, UK, pp. 435-440, 2006, IEEE Computer Society, 0-7695-2503-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
73 | Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter |
Formal Verification of ASM Designs Using the MDG Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 210-219, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
73 | Giuseppe Del Castillo |
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 578-581, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
70 | Steven C. Cater, James K. Huggins |
An ASM Dynamic Semantics for Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 203-222, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Andreas Blass, Yuri Gurevich |
Abstract state machines capture parallel algorithms: Correction and extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(3), pp. 19:1-19:32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine |
65 | David Michel 0001, Frédéric Gervais, Pierre Valarcher |
B-ASM: Specification of ASM à la B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 391, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
64 | Quoc Dinh Nguyen, Maurice Milgram |
Robust Lip Contours Localization and Tracking Using Multi Features - Statistical Shape Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings, pp. 1038-1049, 2008, Springer, 978-3-540-88457-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
64 | Yuanzhong Li, Wataru Ito |
Shape Parameter Optimization for AdaBoosted Active Shape Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 10th IEEE International Conference on Computer Vision (ICCV 2005), 17-20 October 2005, Beijing, China, pp. 251-258, 2005, IEEE Computer Society, 0-7695-2334-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Egon Börger, Bernhard Thalheim |
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 24-38, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Matthias Wimmer, Shinya Fujie, Freek Stulp, Tetsunori Kobayashi, Bernd Radig |
An ASM fitting method based on machine learning that provides a robust parameter initialization for AAM fitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 8th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2008), Amsterdam, The Netherlands, 17-19 September 2008, pp. 1-6, 2008, IEEE Computer Society, 978-1-4244-2153-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Sicong Zhang, Lifang Wu, Ying Wang |
Cascade MR-ASM for Locating Facial Feature Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, International Conference, ICB 2007, Seoul, Korea, August 27-29, 2007, Proceedings, pp. 683-691, 2007, Springer, 978-3-540-74548-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Egon Börger |
The ASM Method for System Design and Analysis. A Tutorial Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings, pp. 264-283, 2005, Springer, 3-540-29051-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Elvinia Riccobene, Patrizia Scandurra |
Towards an Interchange Language for ASMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, pp. 111-126, 2004, Springer, 3-540-22094-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
62 | Angelo Gargantini, Elvinia Riccobene |
Encoding Abstract State Machines in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 303-322, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
60 | Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo |
Using Spin to Generate Testsfrom ASM Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 263-277, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Anatol Slissenko, Joëlle Cohen |
On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 387-396, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
54 | Egon Börger |
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(2), pp. 225-241, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine |
54 | Ileana Ober |
More Meaningful UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 146-157, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics |
54 | Andrzej J. Kasinski, Maciej Król |
Application of Active Shapes to the Structural Face Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORES ![In: Computer Recognition Systems, Proceedings of the 4th International Conference on Computer Recognition Systems, CORES'05, May 22-25, 2005, Rydzyna Castle, Poland, pp. 783-790, 2005, Springer, 978-3-540-25054-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Jiankun Wu, Linpeng Huang, Dejun Wang |
ASM-based model of dynamic service update in OSGi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(2), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
verification, component, OSGi, dynamic updating, ASM |
51 | Yanchao Su, Haizhou Ai, Shihong Lao |
Robust real-time face alignment based on ASM with boosting regression for displacement prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
Verifying Smart Card Applications: An ASM Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 313-332, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Nicu G. Fruja |
Specification and Implementation Problems for C#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, pp. 127-143, 2004, Springer, 3-540-22094-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Erich Grädel, Antje Nowack |
Quantum Computing and Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 309-323, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Kirsten Winter, Roger Duke |
Model Checking Object-Z Using ASM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 165-184, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
language transformation, automated tool support, model checking, Abstract State Machines, Object-Z |
51 | Giuseppe Del Castillo, Kirsten Winter |
Model Checking Support for the ASM High-Level Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 331-346, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
49 | Robert F. Stärk, Egon Börger |
An ASM Specification of C# Threads and the .NET Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, pp. 38-60, 2004, Springer, 3-540-22094-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Sabine Glesner |
An ASM Semantics for SSA Intermediate Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, pp. 144-160, 2004, Springer, 3-540-22094-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Dean Rosenzweig, Davor Runje, Neva Slani |
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 372-390, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Andreas Prinz 0001, Bernhard Thalheim |
ASM Specification of Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 418, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Wolfgang Reisig |
Towards an ASM Thesis for Unconventional Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 112-130, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 61-74, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
45 | Mohammad Soleymani 0001, Yi-Hsuan Yang, Yu-Gang Jiang, Shih-Fu Chang (eds.) |
Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![ACM, 978-1-4503-3750-2 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Joachim Folz, Christian Schulze 0001, Damian Borth, Andreas Dengel 0001 |
Aesthetic Photo Enhancement using Machine Learning and Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 27-32, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Jens Madsen, Bjørn Sand Jensen, Jan Larsen |
Learning Combinations of Multiple Feature Representations for Music Emotion Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 3-8, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Saemi Choi, Toshihiko Yamasaki, Kiyoharu Aizawa |
An Interactive System based on Yes-No Questions for Affective Image Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 45-50, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Christopher Hines, Vidhyasaharan Sethu, Julien Epps |
Twitter: A New Online Source of Automatically Tagged Data for Conversational Speech Emotion Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 9-14, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Toshihiko Yamasaki, Yusuke Fukushima, Ryosuke Furuta, Litian Sun, Kiyoharu Aizawa, Danushka Bollegala |
Prediction of User Ratings of Oral Presentations using Label Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 33-38, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Ting Li, Yoann Baveye, Christel Chamaret, Emmanuel Dellandréa, Liming Chen 0002 |
Continuous Arousal Self-assessments Validation Using Real-time Physiological Responses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 39-44, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Joël Dumoulin, Diana Affi, Elena Mugellini, Omar Abou Khaled, Marco Bertini 0001, Alberto Del Bimbo |
Affect Recognition in a Realistic Movie Dataset Using a Hierarchical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 15-20, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Sharath Chandra Guntuku, Lin Qiu, Sujoy Roy, Weisi Lin, Vinit Jakhetiya |
Do Others Perceive You As You Want Them To?: Modeling Personality based on Selfies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 21-26, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Mohammad Al-Naser, Seyyed Saleh Mozafari Chanijani, Syed Saqib Bukhari, Damian Borth, Andreas Dengel 0001 |
What Makes a Beautiful Landscape Beautiful: Adjective Noun Pairs Attention by Eye-Tracking and Gaze Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 51-56, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Shlomo Berkovsky |
Blending Users, Content, and Emotions for Movie Recommendations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 1, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Victor Campos 0001, Amaia Salvador, Xavier Giró-i-Nieto, Brendan Jou |
Diving Deep into Sentiment: Understanding Fine-tuned CNNs for Visual Sentiment Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM@ACM Multimedia ![In: Proceedings of the 1st International Workshop on Affect & Sentiment in Multimedia, ASM 2015, Brisbane, Australia, October 30, 2015, pp. 57-62, 2015, ACM, 978-1-4503-3750-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
43 | Jiann-Shu Lee, Hsing-Hsien Wu, Ming-Zheng Yuan |
Lung Segmentation for Chest Radiograph by Using Adaptive Active Shape Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi'An, China, 18-20 August 2009, pp. 383-386, 2009, IEEE Computer Society, 978-0-7695-3744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Jeff McDermott |
Facial feature extraction for face characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 750-751, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Mohammad H. Mahoor, Mohamed Abdel-Mottaleb |
Facial Features Extraction in Color Images Using Enhanced Active Shape Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGR ![In: Seventh IEEE International Conference on Automatic Face and Gesture Recognition (FGR 2006), 10-12 April 2006, Southampton, UK, pp. 144-148, 2006, IEEE Computer Society, 0-7695-2503-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lips detection, face recognition, color image, Active shape model, facial feature extraction |
43 | Federico Sukno, Sebastián Ordas, Constantine Butakoff, Santiago Cruz, Alejandro F. Frangi |
Active Shape Models with Invariant Optimal Features (IOF-ASMs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVBPA ![In: Audio- and Video-Based Biometric Person Authentication, 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005, Proceedings, pp. 365-375, 2005, Springer, 3-540-27887-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Wolfgang Reisig |
On Gurevich's theorem on sequential algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 39(4), pp. 273-305, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Janakiramanan Ramachandran, Marios S. Pattichis, Peter Soliz |
Pre-Classification of Chest Radiographs for Improved Active Shape Model Segmentation of Ribs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIAI ![In: 5th IEEE Southwest Symposium on Image Analysis and Interpretation, SSIAI 2002, Santa Fe, New Mexico, USA, April 7-9, 2002, pp. 188-192, 2002, IEEE Computer Society, 0-7695-1537-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ribs, parenchyma, segmentation, active shape model, chest radiographs |
43 | Mike Rogers, Jim Graham |
Robust Active Shape Model Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (4) ![In: Computer Vision - ECCV 2002, 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part IV, pp. 517-530, 2002, Springer, 3-540-43748-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Medical Image Understanding, Robust Parameter Estimation, Shape, RANSAC, Active Shape Models, M-estimators, Weighted Least Squares |
43 | Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin |
Hardware Composition with Hardware Flowcharts and Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 352-, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
41 | Jason R. Gilder, Michael R. Peterson, Jason Wright, Travis E. Doom |
A versatile tool for student projects: an ASM programming language for the Lego mindstorm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Educ. Resour. Comput. ![In: ACM J. Educ. Resour. Comput. 3(1), pp. 2, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ASM charts, design projects, robotics, Lego mindstorm |
41 | Ileana Ober, Ali Abou Dib |
Using ASM to Achieve Executability within a Family of DSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 354, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Hocine El-Habib Daho, Djilali Benhamamouch |
Formal Verification of ASM Models Using TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 356, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Eun-Jung Ko, Sang-Young Lee, Hye-Min Noh, Cheol-Jung Yoo, Ok-Bae Chang |
Workflow Modeling Based on Extended Activity Diagram Using ASM Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part III, pp. 945-953, 2005, Springer, 3-540-25862-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Xiangsheng Huang, Stan Z. Li, Yangsheng Wang |
Statistical Learning of Evaluation Function for ASM/AAM Image Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV Workshop BioAW ![In: Biometric Authentication, ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15, 2004, Proceedings, pp. 45-56, 2004, Springer, 3-540-22499-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Yuri Gurevich |
Intra-step Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, pp. 1-5, 2004, Springer, 3-540-22094-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Egon Börger |
The ASM Refinement Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(2-3), pp. 237-257, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Specifying and Verifying and Reasoning about Programs, Models of computation |
41 | Egon Börger |
The ASM Ground Model Method as a Foundation for Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification: Theory and Practice ![In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 145-160, 2003, Springer, 3-540-21002-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Georg Langs, Philipp Peloschek, Horst Bischof |
ASM Driven Snakes in Rheumatoid Arthritis Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 13th Scandinavian Conference, SCIA 2003, Halmstad, Sweden, June 29 - July 2, 2003, Proceedings, pp. 454-461, 2003, Springer, 3-540-40601-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Marianna Nicolosi Asmundo, Elvinia Riccobene |
Consistent Integration for Sequential Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 324-340, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 229-243, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Nicu G. Fruja, Robert F. Stärk |
The Hidden Computation Stepsof Turbo Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 244-262, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Christoph Beierle, Gabriele Kern-Isberner |
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 186-203, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Tommaso Bolognesi, Egon Börger |
Abstract State Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 22-32, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Jürgen Teich, Philipp W. Kutter, Ralph Weper |
Description and Simulation of Microprocessor Instruction Sets Using ASMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 266-286, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Egon Börger |
Abstract State Machines at the Cusp of the Millenium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 1-8, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Giuseppe Del Castillo |
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Trends ![In: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, pp. 311-325, 1998, Springer, 3-540-66462-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Klaus-Dieter Schewe, Jane Zhao |
ASM Ground Model and Refinement for Data Warehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 369-376, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Alexander Bienemann, Zalan Kramer, Peggy Schmidt, Bernhard Thalheim |
ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 417-, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
Verifying Security Protocols: An ASM Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 247-262, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Dirk Fahland, Wolfgang Reisig |
ASM-based Semantics for BPEL: The Negative Control Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 131-152, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer |
CoreASM: An Extensible ASM Execution Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 153-166, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Horatiu Jula |
ASM Semantics for C++ 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 263-274, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Egon Börger |
The ASM Method: a Cornerstone in Computer Science Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 49-56, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Ileana Ober |
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 356-371, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov |
Using ASM Specifications for Compiler Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 415, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Aleksander Binemann-Zdanowicz, Bernhard Thalheim |
Modeling Information Services on the Basis of ASM Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 408-410, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Wolfgang Reisig |
The Computable Kernel of ASM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 421-422, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Giuseppe Del Castillo |
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Abstract State Machines ![In: Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings, pp. 139-154, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
38 | Andreas Heberle, Welf Löwe |
On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Abstract State Machines ![In: Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings, pp. 68-90, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
38 | Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann |
ASM-based Mechanized Verification of Compiler Back-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Abstract State Machines ![In: Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings, pp. 50-67, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
38 | Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen |
Developing New ASM-tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Abstract State Machines ![In: Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings, pp. 155-158, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
38 | Hal Berghel, David Roach, George Balogh, Carroll Hyatt |
"Tuning" an ASM metric: a case study in metric ASM optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992, pp. 131-136, 1992, ACM, 0-89791-502-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 677 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|