Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Justinus Pieper |
How to Manage Any Transition: History as a Teacher of Leadership Principles, and as a Booster to Student Engineers' Careers, Education and Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICL (1) ![In: Learning in the Age of Digital and Green Transition - Proceedings of the 25th International Conference on Interactive Collaborative Learning (ICL 2022), Volume 1, Vienna, Austria, 27-30 September 2022., pp. 1018-1029, 2022, Springer, 978-3-031-26875-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Kyeong-Min Ko, Dohyeon Kwon, Jin-Ku Kang |
Design of 20Gb/s PAM4 Transmitter with Maximum Transition Elimination and Transition Compensation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISOCC ![In: 18th International SoC Design Conference, ISOCC 2021, Jeju Island, South Korea, Republic of, October 6-9, 2021, pp. 405-406, 2021, IEEE, 978-1-6654-0174-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Alice Berthier |
Transition vers une usine 4.0 grâce à l'utilisation d'outils d'aide à la décision dans le secteur textile. (Transition to a 4.0 Industry through the use of decision support tools in textile in the textile field). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
16 | Ginevra Rubino |
Laminar-to-Turbulence Transition Modeling of Incompressible Flows ina RANS Framework for 2D and 3D Configurations. (Modélisation de la transition laminaire-turbulent de fluides incompressibles dans un contexte RANS pour des configuraions 2D et 3D). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
16 | Isadora Cardoso-Pereira, João B. Borges Neto, Pedro H. Barros, Antonio A. F. Loureiro, Osvaldo Anibal Rosso, Heitor S. Ramos |
Leveraging the Self-Transition Probability of Ordinal Pattern Transition Graph for Transportation Mode Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.08687, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Rahul Thakurta, Nils Urbach, Anamitra Basu |
Understanding technology transition: a cross-cultural study on the transition from PCs to tablet computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Technol. Manag. ![In: Int. J. Technol. Manag. 82(3/4), pp. 276-321, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Chia-Kai Yang, Tanja Blascheck, Chat Wacharamanotham |
A Comparison of a Transition-based and a Sequence-based Analysis of AOI Transition Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA Short Papers ![In: ETRA '20: 2020 Symposium on Eye Tracking Research and Applications, Short Papers, Stuttgart, Germany, June 2-5, 2020, pp. 7:1-7:5, 2020, ACM, 978-1-4503-7134-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Masahiro Kohjima, Takeshi Kurashima, Hiroyuki Toda |
Learning with Labeled and Unlabeled Multi-Step Transition Data for Recovering Markov Chain from Incomplete Transition Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 2412-2419, 2020, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Asmaa Achtaich |
Graphes "State Constraint Transition" : un langage pour la spécification formelle des systèmes de systèmes dynamiques. ("State Constraint Transition" graph : a language for the formal specification of dynamic systems of systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
16 | Xin Gong |
Gestion de patrimoine immobilier et transition numérique : modélisation des flux de données et mesure des impacts du BIM. (Real estate management and digital transition : modeling of data flows and measurement of BIM impacts). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
16 | Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi 0001 |
Modal transition system encoding of featured transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 106, pp. 1-28, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Nicolas Bacaër, Hisashi Inaba, Ali Moussaoui |
Un modèle mathématique pour une transition démographique partielle [A mathematical model for a partial demographic transition]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARIMA J. ![In: ARIMA J. 32, pp. 3, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama |
State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 24th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2019, Kyoto, Japan, December 1-3, 2019, pp. 29-30, 2019, IEEE, 978-1-7281-4961-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Emmanouil Giannisakis |
Promoting and characterizing the menu to keyboard shortcuts transition. (Favoriser et caractériser la transition des menus vers les raccourcis claviers). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
16 | Satoshi Ishii, Satish L. Shinde, Tadaaki Nagao |
Photocurrent Generation with Transition Metal Nitrides and Transition Metal Carbides. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTON ![In: 2018 20th International Conference on Transparent Optical Networks (ICTON), Bucharest, Romania, July 1-5, 2018, pp. 1-2, 2018, IEEE, 978-1-5386-6605-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Irith Pomeranz |
Covering undetected transition fault sites with optimistic unspecified transition faults under multicycle tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: 23rd IEEE European Test Symposium, ETS 2018, Bremen, Germany, May 28 - June 1, 2018, pp. 1-2, 2018, IEEE, 978-1-5386-3728-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Guillaume Bégou |
Prévision de la transition laminaire-turbulent dans le code elsA par la méthode des paraboles. (Database approach for laminar-turbulent transition prediction in the RANS solver elsA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
16 | José Luis Horta |
Innovative paradigms and architecture for future distribution electricity networks supporting the energy transition. (Paradigmes et architectures innovantes pour l'avenir des réseaux électriques de distribution soutenant la transition énergétique). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
16 | Jing Wang, Bouna M. Cisse, Derek Brown |
Design of a microgrid transition controller I: For smooth transition operation under normal conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT Europe ![In: 2017 IEEE PES Innovative Smart Grid Technologies Conference Europe, ISGT-Europe 2017, Torino, Italy, September 26-29, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-1953-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Abdelaziz Benantar |
Optimisation pour des problèmes industriels de tournées de véhicules: vers une transition énergétique. (Optimization for industrial vehicle routinge problems: towards an energy transition). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
16 | Lai-Xiang Shan, Zheng Qin |
A fast transition of linear temporal logic formulae to transition-based Büchi automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Appl. Technol. ![In: Int. J. Comput. Appl. Technol. 53(1), pp. 62-70, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Dante Chavarría-Barrientos, Jhonattan Miranda, Arturo Molina 0001 |
Business Model Transition using the Integrated Product, Process and Manufacturing System Development Reference Model Transition from Product Centric to Product-Service System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE/ITMC ![In: 2016 International Conference on Engineering, Technology and Innovation / IEEE lnternational Technology Management Conference, ICE/ITMC 2016, Trondheim, Norway, June 13-15, 2016, pp. 1-7, 2016, IEEE, 978-1-5090-2935-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Lauriane Aufrant, Guillaume Wisniewski, François Yvon |
Ne nous arrêtons pas en si bon chemin : améliorations de l'apprentissage global d'analyseurs en dépendances par transition (Don't Stop Me Now ! Improved Update Strategies for Global Training of Transition-Based). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JEP-TALN-RECITAL (2) ![In: Actes de la conférence conjointe JEP-TALN-RECITAL 2016. Volume 2 : TALN (Articles longs), Paris, France, July 4-8, 2016, pp. 248-261, 2016, AFCP - ATALA. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Arthur Givois, Didier Demolin, Lise Crevier-Buchman, Angélique Amelot |
Investigation glottographique et laryngoscopique de la transition entre les deux principaux mécanismes laryngés (Glottographic and laryngoscopic investigation of the transition between the two main laryngeal mechanisms). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JEP-TALN-RECITAL (1) ![In: Actes de la conférence conjointe JEP-TALN-RECITAL 2016. Volume 1 : JEP, Paris, France, July 4-8, 2016, pp. 410-418, 2016, AFCP - ATALA. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Tetsuya Matsui, Seiji Yamada |
Building Trust in PRVAs by User Inner State Transition through Agent State Transition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAI ![In: Proceedings of the Fourth International Conference on Human Agent Interaction, HAI 2016, Biopolis, Singapore, October 4-7, 2016, pp. 111-114, 2016, ACM, 978-1-4503-4508-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Natacha Szulga |
Etude expérimentale et numérique du contrôle de transition de couche limite par actionneurs à plasma froid surfacique. (Experimental and numerical study of boundary layer transition control by means of cold surface plasma actuators). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
16 | Alexandre Minot |
Modélisation de la transition laminaire-turbulent par rugosité et bulbe de décollement laminaire sur les aubes de turbomachines. (Modeling of roughness-indused and separation-indused laminar-turbulent transition of boundary layer on turbomachinery blades). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
16 | Prasenjit Mondal, Sagnik Sinha |
Ordered Field Property for Semi-Markov Games when One Player Controls Transition Probabilities and Transition Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGTR ![In: IGTR 17(2), pp. 1540022:1-1540022:26, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Raija Järvinen, Uolevi Lehtinen |
Service Characteristics in Transition: Influence of Transition from Traditional Health Services to e-Health Services in Service Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. E Serv. Mob. Appl. ![In: Int. J. E Serv. Mob. Appl. 7(4), pp. 1-16, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ashwin Srinivasan 0001, Michael Bain 0001, Deepika Vatsa, Sumeet Agarwal |
Identification of Transition Models of Biological Systems in the Presence of Transition Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming - 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers, pp. 200-214, 2015, Springer, 978-3-319-40565-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, pp. 344-359, 2015, Springer, 978-3-319-22968-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Raphaël Gross |
Prise en compte de la transition laminaire/turbulent dans un code Navier-Stokes éléments finis non structurés. (Automatic prediction of laminar/turbulent transition in an unstructured finite element Navier-Stokes solver). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
16 | Hany Fahmy |
Modelling nonlinearities in commodity prices using smooth transition regression models with exogenous transition variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Methods Appl. ![In: Stat. Methods Appl. 23(4), pp. 577-600, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Takahiro J. Yamaguchi, James S. Tandon, Satoshi Komatsu, Kunihiro Asada |
A Novel Circuit for Transition-Edge Detection: Using a Stochastic Comparator Group to Test Transition-Edge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 23rd IEEE Asian Test Symposium, ATS 2014, Hangzhou, China, November 16-19, 2014, pp. 168-173, 2014, IEEE Computer Society, 978-1-4799-6030-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ophélie Lacroix |
De l'étiquetage syntaxique pour les grammaires catégorielles de dépendances à l'analyse par transition dans le domaine de l'analyse en dépendances non-projective. (From syntactic tagging for categorial dependency grammars to transition-based parsing in the domain of non-projective dependency parsing). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
16 | Adrien Champion |
Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition. (Collaboration of formal techniques for the verification of safety properties over transition systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
16 | Bertrand Gazanion |
Transition laminaire-turbulent dans un conduit à paroi débitante. (Laminar-turbulent transition in injection-driven flows). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
16 | Josephine McMurray, Elisabeth Hicks, Helen Johnson 0003, Jacobi Elliott, Kerry Byrne, Paul Stolee |
'Trying to find information is like hating yourself every day': The collision of electronic information systems in transition with patients in transition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Health Informatics J. ![In: Health Informatics J. 19(3), pp. 218-232, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Keith W. Brawner |
GIFT Research Transition: An Outline of Options: How transition in GIFT moves through phases of idea, project, paper, and to real-world use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED Workshops ![In: Proceedings of the Workshops at the 16th International Conference on Artificial Intelligence in Education AIED 2013, Memphis, USA, July 9-13, 2013, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Andrzej Zbrzezny |
On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, pp. 478-489, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Boris Karlov, Ophélie Lacroix |
Prémices d'une analyse syntaxique par transition pour des structures de dépendances non-projectives (Beginnings of a Transition-Based Parsing for Non-Projectives Dependency Structures) [in French]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JEP-TALN-RECITAL ![In: Proceedings of the Joint Conference JEP-TALN-RECITAL 2012, volume 3: RECITAL, Grenoble, France, June 4-8, 2012, pp. 81-94, 2012, ATALA/AFCP. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Kun Ma |
Système énergétique territorial face à la montée en puissance des énergies renouvelables : modélisation de la transition appliquée à La Réunion. (Territorial energy system facing the rise of renewable energy: modeling the transition applied to Réunion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
16 | Malika Grim-Yefsah |
Gestion des connaissances et externalisation informatique. Apports managériaux et techniques pour l'amélioration du processus de transition : Cas de l'externalisation informatique dans un EPST. (Knowledge Management and IT Outsourcing. Managerial and technical inputs to improve the transition process). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
16 | James Miller 0001, James E. Prieger |
The Broadcasters' Transition Date Roulette: Strategic Aspects of the DTV Transition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Telecommun. High Technol. Law ![In: J. Telecommun. High Technol. Law 9(2), pp. 437-500, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Andreas Podelski, Andrey Rybalchenko |
Transition Invariants and Transition Predicate Abstraction for Program Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 3-10, 2011, Springer, 978-3-642-19834-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Marte A. Ramírez-Ortegón, Ernesto Tapia, Raúl Rojas 0001, Erik Cuevas |
Transition thresholds and transition operators for binarization and edge detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 43(10), pp. 3243-3254, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Juncheng Wei, Jun Yang 0036 |
Toda system and cluster phase transition layers in an inhomogeneous phase transition model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asymptot. Anal. ![In: Asymptot. Anal. 69(3-4), pp. 175-218, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dahud K. Shangodoyin, O. A. Adebile, R. Arnab |
Smooth transition modelling: Empirical investigation of logistic and exponential transition functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model. Assist. Stat. Appl. ![In: Model. Assist. Stat. Appl. 3(1), pp. 43-57, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Dan Lu |
Transition I, Transition III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Art Gallery ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2006, Boston, Massachusetts, USA, July 30 - August 3, 2006, Art Gallery, pp. 79, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Corneliu Buda, Abul B. Kazi, Adriana Dinescu, Thomas R. Cundari |
Stability Studies of Transition-Metal Linkage Isomers Using Quantum Mechanical Methods. Groups 11 and 12 Transition Metals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 45(4), pp. 965-970, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz |
Transition-by-transition FSM traversal for reachability analysis in bounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2005 International Conference on Computer-Aided Design, ICCAD 2005, San Jose, CA, USA, November 6-10, 2005, pp. 1068-1075, 2005, IEEE Computer Society, 0-7803-9254-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz |
Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (1) ![In: 35. Jahrestagung der Gesellschaft für Informatik, Informatik LIVE!, INFORMATIK 2005, Bonn, Germany, September 19-22, 2005, Band 1, pp. 303-307, 2005, GI, 3-88579-396-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Roy D. Cideciyan, Thomas Mittelholzer |
Average transition density constraints for mitigating transition noise in magnetic recording. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: Proceedings of the 2004 IEEE International Symposium on Information Theory, ISIT 2004, Chicago Downtown Marriott, Chicago, Illinois, USA, June 27 - July 2, 2004, pp. 265, 2004, IEEE, 0-7803-8280-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sangyoon Yoon, Byongki Kim, Hyoeun Kim, Jin-Wook Chung |
The Implementation of DHCPv6 Server for Transition to IPv6 Environment in DSTM (Dual Stack Transition Mechanism). ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Internet Computing ![In: Proceedings of the International Conference on Internet Computing, IC '03, Las Vegas, Nevada, USA, June 23-26, 2003, Volume 1, pp. 378-380, 2003, CSREA Press, 1-932415-00-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Christine Arangio, Tom Chen, Steve Neidhardt |
Security Products (Security Pro) Transition Analysis Facility (STAF): Pragmatic concepts for MLS technology transition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Eighth Annual Computer Security Applications Conference, ACSAC 1992, November 30 - December 4, 1992, San Antonio, Texas, USA, pp. 20-27, 1992, IEEE. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Sunil R. Das, Ping Chao, Zen Chen, Yow Lung Dai, Mrinal K. Das |
Transition submatrices in regular homing experiments and identification of sequential machines of known class using direct-sum transition matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 14(5), pp. 415-433, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Shinsaku Fujita |
Description of organic reactions based on imaginary transition structures. 8. Synthesis space attached by a charge space and three-dimensional imaginary transition structures with charges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 27(3), pp. 111-115, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Eike Best, Philippe Darondeau |
A decomposition theorem for finite persistent transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 46(3), pp. 237-254, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Bosio, Patrick Girard 0001, Serge Pravossoudovitch, Paolo Bernardi, Matteo Sonza Reorda |
An efficient fault simulation technique for transition faults in non-scan sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2009, April 15-17, 2009, Liberec, Czech Republic, pp. 50-55, 2009, IEEE Computer Society, 978-1-4244-3341-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
Rate-Based Transition Systems for Stochastic Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 435-446, 2009, Springer, 978-3-642-02929-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Amaia Aizpurua, Myriam Arrue, Markel Vigo, Julio Abascal |
Transition of accessibility evaluation tools to new standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, W4A 2009, Madrid, Spain, April 20-21, 2009, pp. 36-44, 2009, ACM, 978-1-60558-561-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
web accessibility, guidelines, automatic evaluation |
15 | Bartek Klin |
Structural Operational Semantics for Weighted Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 121-139, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hiroto Sakai, Yusuke Ogura, Jun Tanida |
Positional State Representation and Its Transition Control for Photonic DNA Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing and Molecular Programming, 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers, pp. 126-136, 2009, Springer, 978-3-642-10603-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Javier Miguel Sastre-Martínez |
Efficient Parsing Using Filtered-Popping Recursive Transition Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings, pp. 241-244, 2009, Springer, 978-3-642-02978-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Grace Mbipom, Simon Harper |
The transition from web content accessibility guidelines 1.0 to 2.0: what this means for evaluation and repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 27th Annual International Conference on Design of Communication, SIGDOC 2009, Bloomington, Indiana, USA, October 5-7, 2009, pp. 37-44, 2009, ACM, 978-1-60558-559-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
WCAG 1.0 and 2.0, automated testing, evaluation tools |
15 | Hayssam Soueidan, Grégoire Sutre, Macha Nikolski |
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings, pp. 313-327, 2009, Springer, 978-3-642-03844-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Mixed Transition Systems Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 349-365, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Soille, Jacopo Grazzini |
Constrained Connectivity and Transition Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Application to Signal and Image Processing, 9th International Symposium, ISMM 2009, Groningen, The Netherlands, August 24-27, 2009 Proceedings, pp. 59-69, 2009, Springer, 978-3-642-03612-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Gift Dumedah, Nadine Schuurman |
Minimizing the effects of inaccurate sediment description in borehole data using rough sets and transition probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 10(3), pp. 291-315, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
JEL Classification C00 |
15 | Irith Pomeranz, Sudhakar M. Reddy |
Improving the Transition Fault Coverage of Functional Broadside Tests by Observation Point Insertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(7), pp. 931-936, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Young Choon Lee, Albert Y. Zomaya |
A Novel State Transition Method for Metaheuristic-Based Scheduling in Heterogeneous Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(9), pp. 1215-1223, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hangkyu Lee, Irith Pomeranz, Sudhakar M. Reddy |
On Complete Functional Broadside Tests for Transition Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(3), pp. 583-587, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Efthymia Tsamoura, Vasileios Mezaris, Ioannis Kompatsiaris |
Gradual transition detection using color coherence and other criteria in a video shot meta-segmentation framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 45-48, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Leonard Jaillet, Juan Cortés, Thierry Siméon |
Transition-based RRT for path planning in continuous cost spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 2145-2150, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Zheng Wu, H. Neal Bertram, Paul H. Siegel, Jack K. Wolf |
Nonlinear Transition Shift and Write Precompensation in Perpendicular Magnetic Recording. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 1972-1976, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Xinguo Yu, Yiqun Li, Wei San Lee |
Robust time recognition of video clock based on digit transition detection and digit-sequence recognition. ![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 |
|
15 | Lixian Zhang, El Kébir Boukas, Luc Baron |
Fault detection for discrete-time Markov jump linear systems with partially known transition probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 1054-1059, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jan Tretmans |
Model Based Testing with Labelled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Testing ![In: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, pp. 1-38, 2008, Springer, 978-3-540-78916-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Iwan Tabakow |
Using Place and Transition Fault Net Models for Sequential Diagnosis Time Assessment in Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings, pp. 677-686, 2008, Springer, 978-3-540-69045-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Vassilis Cutsuridis, Stuart Cobb, Bruce P. Graham |
A CA2+ Dynamics Model of the STDP Symmetry-to-Asymmetry Transition in the CA1 Pyramidal Cell of the Hippocampus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2008, 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II, pp. 627-635, 2008, Springer, 978-3-540-87558-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CA1 pyramidal neuron, LTD, computer model, Hippocampus, STDP, LTP, GABA, calcium |
15 | Victor J. Martínez, Abraham Gutiérrez, Luis Fernando de Mingo López |
Circuit FPGA for Active Rules Selection in a Transition P System Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (2) ![In: Advances in Neuro-Information Processing, 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II, pp. 893-900, 2008, Springer, 978-3-642-03039-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Afshin Abdollahi, Farzan Fallah, Massoud Pedram |
A Robust Power Gating Structure and Power Mode Transition Strategy for MTCMOS Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(1), pp. 80-89, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ryan Farrell, David S. Doermann, Larry S. Davis |
Learning Higher-order Transition Models in Medium-scale Camera Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE 11th International Conference on Computer Vision, ICCV 2007, Rio de Janeiro, Brazil, October 14-20, 2007, pp. 1-8, 2007, IEEE Computer Society, 978-1-4244-1630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Toshihiko Yamakami |
Command Transition Probability Analysis on Mobile Internet Command Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: Network-Based Information Systems, First International Conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 317-324, 2007, Springer, 978-3-540-74572-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Edin Arnautovic, Hermann Kaindl, Jürgen Falb, Roman Popp, Alexander Szep |
Gradual transition towards autonomic software systems based on high-level communication specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 84-89, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
autonomic computing, interaction modeling, self-managing systems |
15 | Javier Miguel Sastre-Martínez, Mikel L. Forcada |
Efficient Parsing Using Recursive Transition Networks with Output. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LTC ![In: Human Language Technology. Challenges of the Information Society, Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers, pp. 192-204, 2007, Springer, 978-3-642-04234-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Giordano Fusco, Eric Bach 0001 |
Phase Transition of Multivariate Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings, pp. 632-645, 2007, Springer, 978-3-540-72503-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Li Pan, Weidong Zhao, Zhicheng Wang, Gang Wei, Shumei Wang |
On Computation Complexity of the Concurrently Enabled Transition Set Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings, pp. 222-233, 2007, Springer, 978-3-540-72503-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | TzuYen Wong, Peter Kovesi, Amitava Datta |
Projective Transformations for Image Transition Animations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: 14th International Conference on Image Analysis and Processing (ICIAP 2007), 10-14 September 2007, Modena, Italy, pp. 493-500, 2007, IEEE Computer Society, 0-7695-2877-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Harald Fecher, Immo Grabe |
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 1-16, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yasuo Itoh, Mayumi Oyama |
Does the transition of the interval in perceptional alternation have a chaotic rhythm? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 3135-3139, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Michele Nasu Tomiyama, Stéphane Julia |
Modelling biological processes using differential predicate transition Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 1488-1493, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yanlin Guo, Ying Shan, Harpreet S. Sawhney, Rakesh Kumar 0001 |
PEET: Prototype Embedding and Embedding Transition for Matching Vehicles over Disparate Viewpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 18-23 June 2007, Minneapolis, Minnesota, USA, 2007, IEEE Computer Society, 1-4244-1179-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mariëlle den Hengst, Lis Weimar, Stephan O. den Hengst |
How to increase GSS transition? A case study at a Dutch Police Force. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 15, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Rohit Chadha, Mahesh Viswanathan 0001 |
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. ![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. 136-150, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Baohua Li, Jennie Si |
Approximate Robust Policy Iteration for Discounted Infinite-Horizon Markov Decision Processes with Uncertain Stationary Parametric Transition Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 2052-2057, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Nick Tredennick |
Computing in transition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPRCTA ![In: Proceedings of the 1st international workshop on High-performance reconfigurable computing technology and applications, HPRCTA 2007,held in conjunction with SC07, Reno, Nevada, USA, November 11, 2007, 2007, ACM Press, 978-1-59593-894-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Lixin Ding, Sanyou Zeng |
About the Limit Behaviors of the Transition Operators Associated with EAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings, pp. 110-119, 2007, Springer, 978-3-540-74580-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
Comparing the Expressive Power of Well-Structured Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 99-114, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
well-structured systems, language theory, Expressiveness |