Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar |
Composing Web Services through Automatic Reformulation of Service Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC (1) ![In: 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 361-369, 2008, IEEE Computer Society, 978-0-7695-3283-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Web Services, Composition, Labeled Transition Systems, Reformulation |
122 | Peter J. Rousseeuw, Katrien van Driessen |
Computing LTS Regression for Large Data Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 12(1), pp. 29-45, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
breakdown value, regression, outlier detection, robust estimation, linear model |
97 | Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde |
Generating Annotated Behavior Models from End-User Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(12), pp. 1056-1073, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation |
83 | Henri Hansen, Antti Valmari |
Operational Determinism and Fast Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 188-202, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
82 | Byeongchang Kim 0001, Gary Geunbae Lee, Jong-Hyeok Lee |
Morpheme-based grapheme to phoneme conversion using phonetic patterns and morphophonemic connectivity information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 1(1), pp. 65-82, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
CCV LTS rule, grapheme-to-phoneme conversion, morphophonemic modeling, phonetic pattern dictionary, text-to-speech system |
80 | Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae |
Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers, pp. 114-124, 2007, Springer, 978-3-540-75663-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
safety property analysis, LTS, slice model, embedded system |
69 | Ugo A. Buy, Gaurav Singal |
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 717-722, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Petri net generation, Petri nets, concurrency, automatic verification, transition systems, reachability graph |
56 | Zhong-sheng Qian, Huaikou Miao, Tao He 0004 |
An Approach to Modeling Hypermedia Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings, pp. 847-854, 2007, IEEE Computer Society, 0-7695-2871-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Jianxiong Pang, Lynne Blair |
An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings, pp. 445-450, 2002, IEEE Computer Society, 0-7695-1588-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
auto adaptive systems, feature/aspect interaction detection and resolution, run time manager, LTS (Labelled Transition Systems), model checking, aspect-oriented programming, reflection |
53 | Gerald Lüttgen, Walter Vogler |
Safe Reasoning with Logic LTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 376-387, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Andrzej Rusiecki |
Robust LTS Backpropagation Learning Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Computational and Ambient Intelligence, 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings, pp. 102-109, 2007, Springer, 978-3-540-73006-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Michael Furman, Yossi Matias, Ely Porat |
LTS: The List-Traversal Synopses System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGITS ![In: Next Generation Information Technologies and Systems, 6th International Workshop, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006, Proceedings, pp. 353-354, 2006, Springer, 3-540-35472-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
program rollback, list traversal, pebbling, hash chain, synopsis |
50 | Antti Valmari |
On constructibility and unconstructibility of LTS operators from other LTS operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 52(2-3), pp. 207-234, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Jia-Li You 0001, Yining Chen, Frank K. Soong, Jin-Lin Wang 0001 |
Improving letter-to-sound conversion performance with automatically generated new words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 4653-4656, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Julian Rathke, Pawel Sobocinski 0001 |
Deriving Structural Labelled Transitions for Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 462-476, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Filippo Bonchi, Barbara König 0001, Ugo Montanari |
Saturated Semantics for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 69-80, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Antti Puhakka |
Using Fairness Constraints in Process-Algebraic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 546-561, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Hansjoerg von Brevern, Kateryna Synytsya |
Systemic-Structural Theory of Activity: A Model for Holistic Learning Technology Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 5-8, 2005, pp. 745-749, 2005, IEEE Computer Society, 0-7695-2338-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 135-149, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Adrian Kosowski |
An Efficient Algorithm for the Longest Tandem Scattered Subsequence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: String Processing and Information Retrieval, 11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004, Proceedings, pp. 93-100, 2004, Springer, 3-540-23210-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Jan Zelinka, Ludek Müller |
Automatic General Letter-to-Sound Rules Generation for German Text-to-Speech System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings, pp. 537-544, 2004, Springer, 3-540-23049-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai |
Incremental Integration Testing of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(6), pp. 607-623, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
incremental testing, Software testing, concurrent programs, structural testing |
42 | Hanzi Wang, David Suter |
LTSD: a highly efficient symmetry-based robust estimator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Seventh International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, Singapore, 2-5 December 2002, Proceedings, pp. 332-337, 2002, IEEE, 981-04-8364-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Didier Bert, Francis Cave |
Construction of Finite Labelled Transistion Systems from B Abstract Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 235-254, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Jun Zhou, Kuo-Chung Tai |
Deadlock Analysis of Client/Server Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 484-491, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
client/server program, deadlock, labeled transition system, reachability graph |
42 | James J. Leifer, Robin Milner |
Deriving Bisimulation Congruences for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 243-258, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori |
Automatic modification of a protocol specification based on changes of a service specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 129-134, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
verification, formal specification, protocols, validation, Labelled Transition System, service specification, protocol specification |
41 | Hyuntae Cho, Yeonsu Jung, Hoon Choi, Hyunsung Jang, Sanghyun Son 0001, Yunju Baek |
Precise location tracking system based on time difference of arrival over LR-WPAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MELT ![In: Proceedings of the ACM International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments, MELT 2008, San Francisco, California, USA, September 19, 2008, pp. 67-72, 2008, ACM, 978-1-60558-189-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
LTS, time difference of arrival, ieee 802.15.4, location tracking |
40 | A. V. S. Rajan, S. Bavan, Geetha Abeysinghe |
Semantics for the Specification of Asynchronous Communicating Systems (SACS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS (1) ![In: Advances in Computer and Information Sciences and Engineering, Proceedings of the 2007 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007), Bridgeport, CT, USA, December 3-12, 2007, pp. 33-38, 2007, Springer, 978-1-4020-8740-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation |
40 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Behaviour model elaboration using partial labelled transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 19-27, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model elaboration, partial LTS, synthesis, scenarios |
39 | Emanuela Gadelha Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado |
LTS-BT: a tool to generate and select functional test cases for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1540-1544, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
generation, selection, model-based testing |
28 | Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel |
A Sound Observational Semantics for Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 215-230, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Yining Chen, Peng Liu 0001, Jia-Li You 0001, Frank K. Soong |
Discriminative training for improving letter-to-sound conversion performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 4649-4652, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Narjess Touzani-Chebaane, Maha Khemaja, Rafik Braham |
Pedagogical Scenarios Generation within LD Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 688-692, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Junwei Du, Zhongwei Xu, Meng Mei |
Verification of Scenario-Based Safety Requirement Specification on Components Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 686-689, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Amit Banerjee, Sushil J. Louis |
A Genetic Algorithm Implementation of the Fuzzy Least Trimmed Squares Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Sachoun Park, Gihwon Kwon |
SAT based Verification Tool for Labeled Transition System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 221-226, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Formal Verification, Labeled Transition System, Bounded Model checking, Linear Temporal Logic |
28 | Filippo Bonchi, Ugo Montanari |
Coalgebraic Models for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 364-379, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Yu David Liu, Scott F. Smith 0001 |
A formal framework for component deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 325-344, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
component, deployment, version |
28 | Xiuguo Zhang, Weishi Zhang |
A Cooperative Service Composition Language and Its Formal Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2006), 4-7 December 2006, Taipei, Taiwan, pp. 333-338, 2006, IEEE Computer Society, 0-7695-2736-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Levente Hajder, Dmitry Chetverikov, István Vajk |
Robust Structure from Motion under Weak Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DPVT ![In: 2nd International Symposium on 3D Data Processing, Visualization and Transmission (3DPVT 2004), 6-9 September 2004, Thessaloniki, Greece, pp. 828-835, 2004, IEEE Computer Society, 0-7695-2223-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Monica Besana, Michele Borgatti |
Application Mapping to a Hardware Platform through Automated Code Generation Targeting a RTOS: A Design Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 20041-20044, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Ole Høgh Jensen, Robin Milner |
Bigraphs and transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 38-49, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity |
28 | Antonia Bertolino, Paola Inverardi, Henry Muccini |
Formal Methods in Testing Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures, pp. 122-147, 2003, Springer, 3-540-20083-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |
µCRL: A Toolset for Analysing Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 250-254, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Ming Ye, Robert M. Haralick |
Optical Flow from a Least-Trimmed Squares Based Adaptive Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 7064-7067, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Pierre Krimm, Laurent Mounier |
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. ![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. 266-282, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer |
Graphical animation of behavior models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 499-508, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
behvior analysis, graphic animation, labeled transition system |
28 | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
Equivalences of Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 687-702, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Andrew C. Uselton, Scott A. Smolka |
A Compositional Semantics for Statecharts using Labeled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 2-17, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Antti Valmari, Matthew Clegg |
Reduced Labelled Transition Systems Save Verification Effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 526-540, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Søren B. Lassen, Paul Blain Levy |
Typed Normal Form Bisimulation for Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 341-352, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
LTS, bisimulation, parametric polymorphism, typed lambda calculus |
27 | Jun Zhou, Kuo-Chung Tai |
Deadlock Analysis of Synchronous Message-Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999, pp. 62-, 1999, IEEE Computer Society, 0-7695-0191-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
LTS, Deadlock, CCS, Observational Equivalence |
25 | Zhen Li, Zining Cao, Chao Xing |
Performance modeling and quantitative evaluation for cyber-physical systems based on LTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 80(4), pp. 5616-5653, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Zappatore, Gianluca De Marzi, Davide Uglietti |
Impact of Hysteresis Losses in Hybrid (HTS-LTS) Coils for Fusion Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 100465-100478, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Lukás Holík, Jirí Simácek |
Optimizing an LTS-Simulation Algorithm (Technical Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.04235, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | |
A Transient Electrical-Thermal Co-Simulation Method with LTS for Multiscale Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.00088, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Thi-Kim-Lien Nguyen, Huu Ngoan Nguyen, Van Dan Dinh, Quoc Ngu Nguyen, Van Hung Le |
An Application of the Super-SBM MAX and LTS(A, A, A) Models to Analyze the Business Performance of Hydropower Suppliers in Vietnam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(5), pp. 238, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Dodo Khan, Low Tang Jung, Manzoor Ahmed Hashmani, Moke Kwai Cheong |
Empirical Performance Analysis of Hyperledger LTS for Small and Medium Enterprises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(3), pp. 915, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Sharifah Hafizah Syed Ariffin, Jee Chun Hian, Nur Haliza Abdul Wahab |
Indoor Location Based Tracking using Euclidean Distance Estimation (LTS-ED). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: 13th International Conference on Information and Communication Technology Convergence, ICTC 2022, Jeju Island, Korea, Republic of, October 19-21, 2022, pp. 868-873, 2022, IEEE, 978-1-6654-9939-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Chia-Nan Wang, Quynh-Ngoc Hoang, Thi-Kim-Lien Nguyen |
Integrating the EBM Model and LTS(A, A, A) Model to Evaluate the Efficiency in the Supply Chain of Packaging Industry in Vietnam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 10(1), pp. 33, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ludovica Delpopolo Carciopolo, Matteo Cusini, Luca Formaggia, Hadi Hajibeygi |
Adaptive multilevel space-time-stepping scheme for transport in heterogeneous porous media (ADM-LTS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. X ![In: J. Comput. Phys. X 6, pp. 100052, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Uli Schlachter, Harro Wimmel |
Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.04841, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Shirin Sohrabi, Octavian Udrea, Anton Riabov, Oktie Hassanzadeh |
Interactive Planning-Based Hypothesis Generation with LTS+ +. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge Engineering Tools and Techniques for AI Planning ![In: Knowledge Engineering Tools and Techniques for AI Planning, pp. 189-207, 2020, Springer, 978-3-030-38560-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Gema Zamora Fernández, Vera Ferreira, Pedro Manha |
Poio Text Prediction: Lessons on the Development and Sustainability of LTs for Endangered Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLTU-CCURL@LREC ![In: Proceedings of the 1st Joint Workshop on Spoken Language Technologies for Under-resourced languages and Collaboration and Computing for Under-Resourced Languages, SLTU-CCURL@LREC 2020, Marseille, France, May 2020, pp. 106-110, 2020, European Language Resources association, 979-10-95546-35-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Saurabh Mishra, Debanjan Sadhya |
LiARX: A Lightweight Cipher Based on the LTS Design Strategy of ARX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security - 16th International Conference, ICISS 2020, Jammu, India, December 16-20, 2020, Proceedings, pp. 185-197, 2020, Springer, 978-3-030-65609-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Abdesselem Dakhli, Maher Jbeli, Chokri Ben Amar |
Functions Approximation using Multi Library Wavelets and Least Trimmed Square (LTS) Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (1) ![In: Proceedings of the 22nd International Conference on Enterprise Information Systems, ICEIS 2020, Prague, Czech Republic, May 5-7, 2020, Volume 1., pp. 468-477, 2020, SCITEPRESS, 978-989-758-423-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Uli Schlachter, Harro Wimmel |
Relabelling LTS for Petri Net Synthesis via Solving Separation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency XIV, pp. 222-254, 2019, Springer, 978-3-662-60650-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Han Peng, Chenglie Du, Lei Rao, Zhouzhou Liu |
LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Syst. ![In: J. Inf. Process. Syst. 15(3), pp. 570-592, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
25 | Ahmed Momen, Brian K. Johnson, Yacine Chakhchoukh |
Parameters Estimation for Short Line Using the Least Trimmed Squares (LTS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2019, Washington, DC, USA, February 18-21, 2019, pp. 1-4, 2019, IEEE, 978-1-5386-8232-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Pietro M. Ferreira, Nathan De Carvalho, Geoffroy Klisnick, Aziz Benlarbi-Delaï |
Energy efficient fJ/spike LTS e-Neuron using 55-nm node. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 32nd Symposium on Integrated Circuits and Systems Design, SBCCI 2019, Sao Paulo, Brazil, August 26-30, 2019., pp. 26, 2019, ACM, 978-1-4503-6844-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Fatma Zehra Dogru, Olçay Arslan |
Robust mixture regression modeling using the least trimmed squares (LTS)-estimation method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 47(7), pp. 2184-2196, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Han Peng, Chenglie Du, Lei Rao, Fu Chen |
A LTS Approach to Control in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Program. ![In: Sci. Program. 2018, pp. 8765186:1-8765186:11, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Gleb Beliakov, Marek Gagolewski, Simon James |
Least Median of Squares (LMS) and Least Trimmed Squares (LTS) Fitting for the Weighted Arithmetic Mean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (2) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II, pp. 367-378, 2018, Springer, 978-3-319-91475-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Mahdi Roozbeh, Nor Aishah Hamzah |
Feasible robust estimator in restricted semiparametric regression models based on the LTS approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 46(9), pp. 7332-7350, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Fernando López Pelayo, Fernando Cuartero Gómez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo |
Heuristics for ROSA's LTS Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Advances in Computational Intelligence - 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II, pp. 427-437, 2017, Springer, 978-3-319-59146-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Tathagata Chakraborti, Kartik Talamadupula, Kshitij P. Fadnis, Murray Campbell, Subbarao Kambhampati |
UbuntuWorld 1.0 LTS - A Platform for Automated Problem Solving & Troubleshooting in the Ubuntu OS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pp. 4657-4663, 2017, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Jin Wang, Ronghai Qu, Yuejin Tang, Yingzhen Liu, Bin Zhang, Jie He, Zhe Zhu, Haiyang Fang, Lushun Su |
Design of a Superconducting Synchronous Generator With LTS Field Windings for 12 MW Offshore Direct-Drive Wind Turbines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 63(3), pp. 1618-1628, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | David M. Mount, Nathan S. Netanyahu, Christine D. Piatko, Angela Y. Wu, Ruth Silverman |
A practical approximation algorithm for the LTS estimator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 99, pp. 148-170, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Tathagata Chakraborti, Kartik Talamadupula, Kshitij P. Fadnis, Murray Campbell, Subbarao Kambhampati |
UbuntuWorld 1.0 LTS - A Platform for Automated Problem Solving & Troubleshooting in the Ubuntu OS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.08524, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Abdesselem Dakhli, Wajdi Bellil, Chokri Ben Amar |
Wavelet Neural Network Initialization Using LTS for DNA Sequence Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems - 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016, Proceedings, pp. 661-673, 2016, 978-3-319-48679-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Shirin Sohrabi, Octavian Udrea, Anton V. Riabov, Oktie Hassanzadeh |
Interactive Planning-Based Hypothesis Generation with LTS++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 4268-4269, 2016, IJCAI/AAAI Press, 978-1-57735-770-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Sander de Putter, Anton Wijs |
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 383-400, 2016, Springer, 978-3-662-49664-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Yan Zhang 0012, Zhaohui Zhu, Jinjin Zhang |
On recursive operations over logic LTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(6), pp. 1382-1431, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Alceste Scalas, Massimo Bartoletti |
The LTS WorkBench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015., pp. 86-98, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Chen-Chia Chuang, Guan-Yi Hu, Jin-Tsong Jeng, Heng Wei Lee |
LTS-SVM learning mechanism with wavelet for modeling of nonlinear systems with noise and outliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 11th IEEE International Conference on Control & Automation, ICCA 2014, Taichung, Taiwan, June 18-20, 2014, pp. 1449-1453, 2014, IEEE, 978-1-4799-2837-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Yan Zhang 0012, Zhaohui Zhu, Jinjin Zhang |
On Recursive Operations Over Logic LTS ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.3350, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
25 | Francesca Torti, Domenico Perrotta, Anthony C. Atkinson, Marco Riani |
Benchmark testing of algorithms for very robust regression: FS, LMS and LTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 56(8), pp. 2501-2512, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | M. Hakan Satman |
A Genetic Algorithm Based Modification on the LTS Algorithm for Large Data Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 41(5), pp. 644-652, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Jasurbek Khodjaev, Soojung Hur, Yongwan Park |
Low complexity LTS-based NLOS error mitigation for localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 67(9-10), pp. 471-476, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Roberto Bruni, Anne Kersten Kauer |
LTS Semantics for Compensation-Based Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers, pp. 112-128, 2012, Springer, 978-3-642-41156-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Teng Wang, Xingyu Chen, Xiaodong Zhao, Zheng Wang |
A fault detection method for wireless sensor networks based on improved LTS regression algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2012, Ottawa, ON, Canada, June 10-15, 2012, pp. 7126-7130, 2012, IEEE, 978-1-4577-2052-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari |
A Modular LTS for Open Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings, pp. 134-148, 2012, Springer, 978-3-642-33474-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Chunhua Yang 0002, Hai-Yang Wang |
An Approach to Weaving Stateful Aspects using LTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 27(4), pp. 1395-1411, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
25 | Gerald Lüttgen, Walter Vogler |
Safe reasoning with Logic LTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(28), pp. 3337-3357, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Itai Hayut, Erika E. Fanselow, Barry W. Connors, David Golomb |
LTS and FS Inhibitory Interneurons, Short-Term Synaptic Plasticity, and Cortical Circuit Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 7(10), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Ning Jin, Wei Wang 0010 |
LTS: Discriminative subgraph mining by learning from search history. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany, pp. 207-218, 2011, IEEE Computer Society, 978-1-4244-8958-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Xi-Hui Yan, Jian Wang 0022, Bai-gen Cai, Wei ShangGuan |
A novel automatic track identification algorithm based on LTS-Hausdorff distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 14th International IEEE Conference on Intelligent Transportation Systems, ITSC 2011, Washington, DC, USA, October 5-7, 2011, pp. 1984-1988, 2011, IEEE, 978-1-4577-2198-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Jennifer Lantair, Pawel Sobocinski 0001 |
WiCcA : LTS Generation Tool for Wire Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 407-412, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Giacoma Valentina Monreale |
LTS Semantics for Process Calculi from Their Graphical Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 403-406, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|