Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

leonardo's tags

All tags in leonardo's library

- 1769 1967 1969 1971 1972 1973 1975 1976 1978 1979 1981 1982 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 aadl abstract abstraction accidental_complexity acme action_semantics action_systems ada adaptive_logics adl agents agg agile aircraft algebra algebraic algebraic_specification alloy alloy_analyzer analysis animation annotated_bibliography annotations appendix applicability application_conditions asm aspects assertion association atl automata_based_programming automated_deduction automation automotive_systems avionics axiomatic b behavior behavioral_modeling behavior_inheritance behaviour_preservation best_practice bg bibliography bibtex-import biderectional biology bisimulation block_diagrams _book bounded_verification bpel business_rules by_example calculus casestudy casl ccs challenges checker checking chinese circus citation citeulike class classic classroom clustering code_generation codesign coding cognition col communication compaison comparison compatibility completeness component composition computability concrete_syntax concurrency concurrent concurrent_systems _conference confluence conformance connectors consistency constraint constraints constraint_satisfaction constraint_satisfaction_problem constraint_solver constructionist continuous contracts control_conditions coordination corba correctness cre cryptography csp cspz current_topics data_abstraction database data_independence data_refinement datatypes deadlock debugging decidable decompositions denotational denotational_semantics dependable_software dependable_systems derivation_of_precondition design_decisions design_patterns diagram diagram_interchange diagrams distributed distributed_systems domain_modeling dpo dynalloy early eclipse editor efsm eha eiffel embedded_system emf empirical end-user epsilion equational_calculus equivalence essays esterel euler_diagram event-b _event_mise event_processor events evolution evoting exception execution experiment fdr feature feature_models file-import-08-11-22 file-import-09-09-11 finite_model finite_state_machines first-order _folder_1 _folder_2 _folder_3 folksonomy formal formal_derivation formal_methods formal_specification formal_verification for:marcia frame_assertion frame_conditions framework free fsm fujaba functional fundamental_technique fuzzy gals games gap goals google grammars grand_challenge graph graph_grammar graphical graph_transformation grouping hardcopy health_care heuristics hierarchy history history_of hoare hol hypertext idioms impact-factor imsos inconsistencies inconsistency incremental industry inheritance inspection instance_model internet_applications interview istar istate java java5 jcsp jdi jml kaos kleene kleene_algebras language large_scale laws layout lessons_learned library lightweight_formal_method literate_programming logics lotos lsc lts lyee_calculus macthing manifesto mapping maraton _marcia mathematics maude mda mdd mde mechanical_verification mechanized mechatronic_uml merging metamodel metamodelling methods metrics _mise2009 _missing mobile model model-based model_based_design model-based_testing model_checking modelcheking model_comparison model_composition model_extension model_inconsistencies modeling_languages modeling_paradigm model_integration modelling model_matching model_merging model_quality model_refinement model_tranformation model_transformation model_typing model_verification modularization mof mondex motivations msc _msc msos mu-charts multi-formalism mutations nac negotiation network _no_doi nopdf _no_pdf no-tag novel_approach object objects objectz object-z occam ocl _off omt _on ontology oo ood oop open_questions open-source operational operational_semantics origins orthogonal_regions overview owl packaging_knowhow _paper_2 paradigms pascal pattern pattern_matching patterns _pdf performance petrinets physics pi-calculus pim pose practice pragmatics precise presentation pre-uml priority problems process_algebra processes process_modelling product_lines programming programming_language_design program_transformation program_visualization promises proof proof_assistant proof_obligations protocol provers psm ptifalls publishing pullback_grammar pvs qos quality quantifier_elimination qvt reactive_process reactive_systems realtime reasoning recursion reduction re-engineering reentrant refactoring reference_model refinement refinement_calculus refinement_relations relational reo requirement requirements research resources rest retractions retrospective reuse reverse reverse_engineering review _review rewriting rhapsody rll rml roadmap rules rule_transformation safe_message_passing safety sat scale-free scenarios scratch second-order semantic_cocomposition semantic_preservation semantics semantic_variation semi_formal seminal separation_logic shared simulation slicing small_model soc socialnetwork software software_architecture software_engineering software_evolution sos sottware_architecture specification spin state-based_testing statecharts stateflow statemate state_of_the_art static_semantics statistical stepwise stepwise_refinement structural subtyping survey symbolic symbolic_execution symbolic_model_checking synchronization synergy syntax systemc system_evolution system_testing _talk taxonomy teaching temporal_logic test_case_generation testing tests test_specification_generation tgg theorem_prover theory thesis tips _to_appear _to_download _to_download_acm _to_download_elsevier _to_download_ieee _to_download_springer _to_download_taylor _to_download_wiley tool tool_integration tools _to_print _to_review traceability traces transformation transformation_chain transformation_design transformation_language transformation_rules transformations transition_coverage translation translator triple_graph_grammars tutorial typed_attributed type_systems typing uml uml20 umlb umlformal_methods umlrt understandability unification unifying_theories use_cases utp validation variability vdm verification verified_software verilog video viewcharts viewpoint visual_cues visual_formalism visualization visual_languages weaving web web_applications web_services what_is wiki wireless workflows writing xmi xml years_later z

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.